| Publication | Date of Publication | Type |
|---|
| Functional equivalence and a cover relation for reaction systems | 2024-06-19 | Paper |
| A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems | 2024-03-14 | Paper |
| Identities and transductions | 2024-01-29 | Paper |
| Reaction Systems, Transition Systems, and Equivalences | 2023-06-30 | Paper |
| Distributed synthesis of asynchronously communicating distributed process models | 2022-08-11 | Paper |
| Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view | 2022-02-21 | Paper |
| Comparing reactions in reaction systems | 2021-08-11 | Paper |
| Compositionality of safe communication in systems of team automata | 2021-07-08 | Paper |
| Relational structures for concurrent behaviours | 2021-03-09 | Paper |
| Plug-in context providers for reaction systems | 2020-08-17 | Paper |
| Reaction Systems and Enabling Equivalence | 2020-06-21 | Paper |
| A trace semantics for Petri Nets | 2019-12-04 | Paper |
| Modeling biological gradient formation: combining partial differential equations and Petri nets | 2019-07-10 | Paper |
| Classifying invariant structures of step traces | 2019-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4621151 | 2019-02-08 | Paper |
| A Precise Characterisation of Step Traces and Their Concurrent Histories | 2019-02-08 | Paper |
| Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities | 2019-02-08 | Paper |
| Invariant Structures and Dependence Relations | 2018-01-19 | Paper |
| Alphabets of Acyclic Invariant Structures | 2018-01-19 | Paper |
| Signal set tissue systems and overlapping localities | 2017-12-06 | Paper |
| Evolving reaction systems | 2017-06-15 | Paper |
| Synthesis of Petri Nets with Whole-Place Operations and Localities | 2016-12-21 | Paper |
| Applying regions | 2016-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507055 | 2016-12-16 | Paper |
| Characterising concurrent histories | 2016-04-28 | Paper |
| Order Structures for Subclasses of Generalised Traces | 2016-04-08 | Paper |
| Step traces | 2016-02-19 | Paper |
| Tissue Systems and Petri Net Synthesis | 2015-11-12 | Paper |
| Compatibility in a multi-component environment | 2013-12-04 | Paper |
| Step semantics of Boolean nets | 2013-06-26 | Paper |
| Causality in Extensions of Petri Nets | 2013-05-31 | Paper |
| Mutex Causality in Processes and Traces of General Elementary Nets | 2013-04-18 | Paper |
| Minimal Reaction Systems | 2013-04-03 | Paper |
| Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells | 2013-02-26 | Paper |
| Modeling innate immune response to early Mycobacterium infection | 2013-01-09 | Paper |
| Relevance of Entities in Reaction Systems | 2012-11-01 | Paper |
| Regions of Petri nets with a/sync connections | 2012-10-11 | Paper |
| Step coverability algorithms for communicating systems | 2012-07-13 | Paper |
| Vector team automata | 2012-05-30 | Paper |
| Localities in systems with a/sync communication | 2012-05-30 | Paper |
| Membrane Systems with Qualitative Evolution Rules | 2011-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3018961 | 2011-07-27 | Paper |
| The Mutex Paradigm of Concurrency | 2011-06-29 | Paper |
| Team Automata for CSCW – A Survey – | 2011-04-08 | Paper |
| Petri Nets with Localities and Testing | 2010-06-22 | Paper |
| Applying Step Coverability Trees to Communicating Component-Based Systems | 2010-01-28 | Paper |
| A Petri net model for membrane systems with dynamic structure | 2010-01-25 | Paper |
| Modularity for teams of I/O automata | 2009-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190782 | 2009-07-27 | Paper |
| Associativity of Infinite Synchronized Shuffles and Team Automata | 2009-06-23 | Paper |
| Infinite Process Semantics of Inhibitor Nets | 2009-04-02 | Paper |
| Processes of membrane systems with promoters and inhibitors | 2008-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3527017 | 2008-09-25 | Paper |
| Process semantics for membrane systems | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3504345 | 2008-06-11 | Paper |
| Processes of Petri nets with range testing | 2008-01-02 | Paper |
| Synchrony and Asynchrony in Membrane Systems | 2007-09-03 | Paper |
| Infinite unfair shuffles and associativity | 2007-07-16 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738297 | 2004-08-11 | Paper |
| Process semantics of general inhibitor nets | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484509 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2766567 | 2002-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934342 | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4223009 | 1999-01-07 | Paper |
| Restrictions and representations of vector controlled concurrent system behaviours | 1998-07-22 | Paper |
| The intersection problem for alphabetic vector monoids | 1997-10-30 | Paper |
| An event structure semantics for general Petri nets | 1997-02-28 | Paper |
| Net-based control versus rational control: The relation between ITNC vector languages and rational relations | 1995-11-15 | Paper |
| A trace semantics for Petri nets | 1995-07-05 | Paper |
| Representation of rational functions with prefix and suffix codings | 1995-01-09 | Paper |
| Deterministic sequential functions | 1994-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142558 | 1993-12-20 | Paper |
| Compositional representation of rational functions | 1992-09-27 | Paper |
| Decidability problems for unary output sequential transducers | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5750400 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3198868 | 1990-01-01 | Paper |
| Cardinality problems of compositions of morphisms and inverse morphisms | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3773369 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777481 | 1987-01-01 | Paper |
| On morphic generation of regular languages | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3736916 | 1985-01-01 | Paper |
| Adding global forbidding context to context-free grammars | 1985-01-01 | Paper |
| Direction independent context-sensitive grammars | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3219110 | 1984-01-01 | Paper |
| On the generative power of regular pattern grammars | 1983-01-01 | Paper |
| Multi grammars | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3704897 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3704896 | 1983-01-01 | Paper |
| Corrigendum | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657455 | 1982-01-01 | Paper |
| Sequential, continuous and parallel grammars | 1981-01-01 | Paper |
| Context-free like restrictions on selective rewriting | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922192 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922193 | 1981-01-01 | Paper |
| A study in parallel rewriting systems | 1980-01-01 | Paper |
