| Publication | Date of Publication | Type |
|---|
| A strong combinatorial relaxation for the problem of min-time coverage in constricted environments | 2024-08-16 | Paper |
| Polynomial-time optimal liveness enforcement for guidepath-based transport systems | 2021-11-19 | Paper |
| Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation | 2021-09-09 | Paper |
| Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems | 2020-10-07 | Paper |
| Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling | 2020-05-06 | Paper |
| On the state liveness of some classes of guidepath-based transport systems and its computational complexity | 2020-04-17 | Paper |
| Efficient generation of performance bounds for a class of traffic scheduling problems | 2020-01-22 | Paper |
| Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case | 2017-09-08 | Paper |
| Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms | 2017-09-08 | Paper |
| Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software | 2017-09-08 | Paper |
| Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case | 2017-08-25 | Paper |
| On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems | 2017-08-25 | Paper |
| Optimal Node Visitation in Stochastic Digraphs | 2017-08-08 | Paper |
| On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems | 2017-08-08 | Paper |
| Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems | 2017-07-27 | Paper |
| Invariant-Based Supervisory Control of Switched Discrete Event Systems | 2017-06-08 | Paper |
| On the Complexity of Some State-Counting Problems for Bounded Petri Nets | 2017-05-16 | Paper |
| On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems | 2017-05-16 | Paper |
| On the ``counter-example in the article ``Max-controlled siphons for liveness of \(S^3PGR^2\) regarding the results in ``Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings | 2017-05-03 | Paper |
| A distributed protocol for motion coordination in free-range vehicular systems | 2017-04-19 | Paper |
| Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory | 2016-09-16 | Paper |
| Performance optimization for a class of generalized stochastic Petri nets | 2015-06-12 | Paper |
| Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks | 2015-06-12 | Paper |
| Concurrency bugs in multithreaded software: modeling and analysis using Petri nets | 2013-08-07 | Paper |
| Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights | 2013-07-17 | Paper |
| Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets | 2013-06-28 | Paper |
| Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints | 2012-03-09 | Paper |
| Optimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirements | 2010-06-16 | Paper |
| On the siphon-based characterization of liveness in sequential resource allocation systems | 2010-03-31 | Paper |
| Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions | 2009-04-02 | Paper |
| Efficient PAC learning for episodic tasks with acyclic state spaces | 2008-01-07 | Paper |
| Real-time management of resource allocation systems. A discrete event systems approach. | 2005-03-30 | Paper |
| On the optimality of randomized deadlock avoidance policies | 2003-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3152841 | 2003-03-12 | Paper |
| Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings | 2002-07-21 | Paper |
| Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems" | 2002-07-21 | Paper |
| The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks | 2000-10-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782037 | 2000-01-01 | Paper |
