| Publication | Date of Publication | Type |
|---|
| On the complexity of verifying concurrent transition systems | 2023-05-17 | Paper |
| Computational Music Therapy | 2019-10-17 | Paper |
| Complexity results for multi-pebble automata and their logics | 2019-04-29 | Paper |
| Computation paths logic: An expressive, yet elementary, process logic | 2018-07-04 | Paper |
| On the Succinctness of Idioms for Concurrent Programming | 2017-09-12 | Paper |
| Estimating the size of the olfactory repertoire | 2015-10-27 | Paper |
| Modal Scenarios as Automata | 2015-02-10 | Paper |
| Relaxing Synchronization Constraints in Behavioral Programs | 2014-01-17 | Paper |
| Concurrency in Biological Modeling: Behavior, Execution and Visualization | 2014-01-17 | Paper |
| Standing on the Shoulders of a Giant | 2012-11-01 | Paper |
| Synthesis from scenario-based specifications | 2012-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2903775 | 2012-08-01 | Paper |
| Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance | 2012-07-16 | Paper |
| Multi-modal scenarios revisited: a net-based representation | 2012-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3114203 | 2012-02-01 | Paper |
| Amir Pnueli -- A gentle giant: Lord of the \(\varphi \)'s and the \(\psi \)'s | 2010-12-17 | Paper |
| On the Power of Play-Out for Scenario-Based Programs | 2010-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3642961 | 2009-11-10 | Paper |
| Graph Drawing | 2009-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190780 | 2009-07-27 | Paper |
| Some Results on the Expressive Power and Complexity of LSCs | 2008-03-25 | Paper |
| GemCell: A generic platform for modeling multi-cellular biological systems | 2008-03-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5440036 | 2008-01-30 | Paper |
| Algorithmik | 2007-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3445673 | 2007-06-12 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| Graph Drawing by High-Dimensional Embedding | 2006-04-03 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Computational Methods in Systems Biology | 2005-12-23 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2005-11-10 | Paper |
| One-dimensional layout optimization, with applications to graph drawing by axis separation | 2005-11-07 | Paper |
| SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS | 2005-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4668747 | 2005-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737548 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472306 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474204 | 2004-08-04 | Paper |
| Drawing Huge Graphs by Algebraic Multigrid Optimization | 2004-03-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4439555 | 2003-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438760 | 2003-12-10 | Paper |
| Towards an odor communication system. | 2003-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427918 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422276 | 2003-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4422277 | 2003-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417970 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414506 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413201 | 2003-07-17 | Paper |
| A Fast Multi-Scale Method for Drawing Large Graphs | 2003-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4789445 | 2003-01-29 | Paper |
| On the complexity of verifying concurrent transition systems | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4540954 | 2002-07-28 | Paper |
| An algorithm for blob hierarchy layout | 2002-07-25 | Paper |
| LSCs: Breathing life into message sequence charts | 2002-05-21 | Paper |
| A multi-scale algorithm for drawing graphs nicely | 2002-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756613 | 2001-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756511 | 2001-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218093 | 2001-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525781 | 2001-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4942633 | 2000-03-16 | Paper |
| Computation paths logic: An expressive, yet elementary, process logic | 1999-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4343990 | 1997-07-08 | Paper |
| Taking it to the limit: On infinite variants of NP-complete problems | 1997-03-13 | Paper |
| Complexity results for two-way and multi-pebble automata and their logics | 1997-02-27 | Paper |
| More on nonregular PDL: Finite models and Fibonacci-like programs | 1997-02-03 | Paper |
| Completeness results for recursive data bases | 1996-11-26 | Paper |
| On the solvability of domino snake problems | 1995-03-15 | Paper |
| On the power of bounded concurrency I | 1994-10-13 | Paper |
| On the power of bounded concurrency II | 1994-10-13 | Paper |
| Deciding emptiness for stack automata on infinite trees | 1994-09-13 | Paper |
| Deciding Properties of Nonregular Programs | 1993-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4692470 | 1993-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4027616 | 1993-02-21 | Paper |
| Hamiltonian paths in infinite graphs | 1992-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003357 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975134 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814813 | 1988-01-01 | Paper |
| Statecharts: a visual formalism for complex systems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3732949 | 1986-01-01 | Paper |
| Process logic with regular formulas | 1985-01-01 | Paper |
| More on looping vs. repeating in dynamic logic | 1985-01-01 | Paper |
| Recurring Dominoes: Making the Highly Undecidable Highly Understandable | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3703299 | 1985-01-01 | Paper |
| Horn clause queries and generalizations | 1985-01-01 | Paper |
| A probabilistic dynamic logic | 1984-01-01 | Paper |
| On static logics, dynamic logics, and complexity classes | 1984-01-01 | Paper |
| A programming language for the inductive sets, and applications | 1984-01-01 | Paper |
| Propositional dynamic logic of nonregular programs | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3313253 | 1983-01-01 | Paper |
| Process logic: Expressiveness, decidability, completeness | 1982-01-01 | Paper |
| Structure and complexity of relational queries | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953159 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968452 | 1982-01-01 | Paper |
| On the total correctness of nondeterministic programs | 1981-01-01 | Paper |
| Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic | 1980-01-01 | Paper |
| Computable queries for relational data bases | 1980-01-01 | Paper |
| On folk theorems | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893309 | 1980-01-01 | Paper |
| And/Or Programs: A New Approach to Structured Programming | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3942366 | 1980-01-01 | Paper |
| Two results on process logic | 1979-01-01 | Paper |
| First-order dynamic logic | 1979-01-01 | Paper |
| Characterizing Second Order Logic with First Order Quantifiers | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4160382 | 1978-01-01 | Paper |
