| Publication | Date of Publication | Type |
|---|
| Complexity of qualitative timeline-based planning | 2023-11-02 | Paper |
| Reachability in Concurrent Uninterpreted Programs. | 2023-02-03 | Paper |
| Synchronization of 1-way connected processors | 2022-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4995374 | 2021-06-24 | Paper |
| Reachability of scope-bounded multistack pushdown systems | 2020-12-15 | Paper |
| Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable | 2017-09-12 | Paper |
| Deterministic generators and games for Ltl fragments | 2017-07-12 | Paper |
| Visibly pushdown modular games | 2017-03-16 | Paper |
| Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width | 2017-01-26 | Paper |
| Scope-bounded pushdown languages | 2016-06-23 | Paper |
| A General Modular Synthesis Problem for Pushdown Systems | 2016-03-23 | Paper |
| Parametric metric interval temporal logic | 2014-12-16 | Paper |
| A Unifying Approach for Multistack Pushdown Automata | 2014-10-14 | Paper |
| Scope-Bounded Pushdown Languages | 2014-10-14 | Paper |
| Modular Synthesis with Open Components | 2014-07-07 | Paper |
| Automata-theoretic decision of timed games | 2013-12-10 | Paper |
| A Temporal Logic for Multi-threaded Programs | 2012-09-21 | Paper |
| Reachability of multistack pushdown systems with scope-bounded matching relations | 2011-09-02 | Paper |
| Parametric Metric Interval Temporal Logic | 2010-05-26 | Paper |
| The language theory of bounded context-switching | 2010-04-27 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| Playing games with boxes and diamonds. | 2010-03-30 | Paper |
| Decision problems for lower/upper bound parametric timed automata | 2009-12-02 | Paper |
| Reducing Context-Bounded Concurrent Reachability to Sequential Reachability | 2009-06-30 | Paper |
| Deterministic finite automata with recursive calls and DPDAs | 2009-04-28 | Paper |
| Parametric temporal logic for “model measuring” | 2008-12-21 | Paper |
| An Infinite Automaton Characterization of Double Exponential Time | 2008-11-20 | Paper |
| Verification of scope-dependent hierarchical state machines | 2008-10-08 | Paper |
| Verification of well-formed communicating recursive state machines | 2008-09-16 | Paper |
| On the Membership Problem for Visibly Pushdown Languages | 2008-09-04 | Paper |
| Context-Bounded Analysis of Concurrent Queue Systems | 2008-04-11 | Paper |
| On the Complexity of Ltl Model-Checking of Recursive State Machines | 2007-11-28 | Paper |
| The word problem for visibly pushdown languages described by grammars | 2007-11-28 | Paper |
| Decision Problems for Lower/Upper Bound Parametric Timed Automata | 2007-11-28 | Paper |
| THE FIRING SQUAD SYNCHRONIZATION PROBLEM ON SQUARES, TORUSES AND RINGS | 2007-06-05 | Paper |
| Different time solutions for the firing squad synchronization problem on basic grid networks | 2007-04-10 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2007-02-12 | Paper |
| Modular strategies for recursive game graphs | 2006-04-28 | Paper |
| Developments in Language Theory | 2005-12-22 | Paper |
| Theoretical Aspects of Computing - ICTAC 2004 | 2005-11-30 | Paper |
| Hybrid Systems: Computation and Control | 2005-11-11 | Paper |
| Weak Muller acceptance conditions for tree automata | 2005-04-06 | Paper |
| Polyhedral flows in hybrid automata | 2004-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736990 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737000 | 2004-08-11 | Paper |
| Optimal paths in weighted timed automata | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472440 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449219 | 2004-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417938 | 2003-07-30 | Paper |
| Finite automata on timed \(\omega\)-trees | 2003-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4794305 | 2003-03-24 | Paper |
| Automata-based Representations for Infinite Graphs | 2002-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552456 | 2002-09-03 | Paper |
| Timed tree automata with an application to temporal logic. | 2002-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530005 | 2002-05-07 | Paper |
| A compositional approach to synchronize two-dimensional networks of processors | 2002-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938622 | 2000-04-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249560 | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218131 | 1999-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842794 | 1998-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890704 | 1997-01-05 | Paper |
