| Publication | Date of Publication | Type |
|---|
| Synchronization of 1-way connected processors | 2022-12-09 | Paper |
| State complexity of SBTA languages | 2022-08-16 | Paper |
| Model checking coalitional games in shortage resource scenarios | 2021-06-09 | Paper |
| Reachability of scope-bounded multistack pushdown systems | 2020-12-15 | Paper |
| On a logic for coalitional games with priced-resource agents | 2016-10-07 | Paper |
| Scope-bounded pushdown languages | 2016-06-23 | Paper |
| Minimum and non-minimum time solutions to the firing squad synchronization problem | 2015-09-08 | 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 |
| 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 |
| Graded alternating-time temporal logic | 2011-03-28 | Paper |
| Graded Alternating-Time Temporal Logic | 2011-01-07 | Paper |
| Parametric Metric Interval Temporal Logic | 2010-05-26 | Paper |
| Model checking for graded CTL | 2010-02-05 | Paper |
| Program Complexity in Hierarchical Module Checking | 2009-01-27 | Paper |
| CTL Model-Checking with Graded Quantifiers | 2008-11-20 | Paper |
| Verification of scope-dependent hierarchical state machines | 2008-10-08 | Paper |
| On the Membership Problem for Visibly Pushdown Languages | 2008-09-04 | Paper |
| The word problem for visibly pushdown languages described by grammars | 2007-11-28 | Paper |
| Different time solutions for the firing squad synchronization problem on basic grid networks | 2007-04-10 | Paper |
| Weak Muller acceptance conditions for tree automata | 2005-04-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737000 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472440 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449219 | 2004-02-08 | 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 |
| 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/Q4266540 | 1999-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218131 | 1999-07-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3842794 | 1998-11-09 | Paper |
| Succinctness of descriptions of SBTA-languages | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4348010 | 1997-11-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4890704 | 1997-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4864792 | 1996-06-27 | Paper |
| Power of interconnections and of nondeterminism in regularY-tree systolic automata | 1995-12-13 | Paper |
| Languages accepted by systolic \(Y\)-tree automata: Structural characterizations | 1994-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3832052 | 1989-01-01 | Paper |
| C-tree systolic automata | 1988-01-01 | Paper |
| Web structures: a tool for representing and manipulating programs | 1988-01-01 | Paper |
| A hierarchy of loop programs over binary trees | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3751039 | 1985-01-01 | Paper |
| Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems | 1984-01-01 | Paper |
