| Publication | Date of Publication | Type |
|---|
| Synthesis of nets with inhibitor arcs | 2023-05-17 | Paper |
| A Distributed Implementation of Mobile Nets as Mobile Agents | 2021-05-20 | Paper |
| Non sequential semantics for contextual P/T nets | 2019-05-02 | Paper |
| Expressiveness Issues in Brane Calculi: A Survey | 2014-01-17 | Paper |
| Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes | 2014-01-17 | Paper |
| Comparative analysis of the expressiveness of shared dataspace coordination | 2013-07-24 | Paper |
| Structural non-interference in elementary and trace nets | 2010-01-12 | Paper |
| Process discovery and Petri nets | 2010-01-12 | Paper |
| Efficient computation in rational-valued P systems | 2010-01-12 | Paper |
| (Tissue) P systems with cell polarity | 2010-01-12 | Paper |
| An expressiveness study of priority in process calculi | 2010-01-12 | Paper |
| On the expressive power of recursion, replication and iteration in process calculi | 2010-01-12 | Paper |
| Deciding reachability problems in Turing-complete fragments of Mobile Ambients | 2010-01-12 | Paper |
| Genetic Systems without Inhibition Rules | 2009-11-12 | Paper |
| Stochastic biological modelling in the presence of multiple compartments | 2009-08-07 | Paper |
| Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS | 2009-03-20 | Paper |
| Computational expressiveness of genetic systems | 2009-03-02 | Paper |
| On the Expressive Power of Global and Local Priority in Process Calculi | 2008-09-18 | Paper |
| Causality in Membrane Systems | 2008-03-28 | Paper |
| A process algebraic view of shared dataspace coordination | 2008-03-05 | Paper |
| On the Computational Power of Genetic Gates with Interleaving Semantics: The Power of Inhibition and Degradation | 2008-02-26 | Paper |
| Computing with Genetic Gates | 2007-11-13 | Paper |
| A Case Study in (Mem)Brane Computation: Generating Squares of Natural Numbers | 2007-09-03 | Paper |
| Computing with Genetic Gates, Proteins, and Membranes | 2007-09-03 | Paper |
| Using well-structured transition systems to decide divergence for catalytic P systems | 2007-03-27 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| Theoretical Computer Science | 2006-11-01 | Paper |
| Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
| Applications and Theory of Petri Nets 2004 | 2005-12-23 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| On the expressive power of movement and restriction in pure mobile ambients | 2004-10-04 | Paper |
| Domain and event structure semantics for Petri nets with read and inhibitor arcs | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046682 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738178 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4449170 | 2004-02-08 | Paper |
| Expired data collection in shared dataspaces. | 2003-05-25 | Paper |
| Integrating TwoTowers and GreatSPN through a compact net semantics | 2003-01-21 | Paper |
| On the expressiveness of Linda coordination primitives. | 2003-01-14 | Paper |
| Analysis issues in Petri nets with inhibitor arcs | 2002-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536619 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2771054 | 2002-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767175 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729050 | 2001-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762643 | 2001-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4526681 | 2001-01-25 | Paper |
| Comparing three semantics for Linda-like languages | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948012 | 2000-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251099 | 2000-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222913 | 1998-12-21 | Paper |
| A process algebraic view of Linda coordination primitives | 1998-08-13 | Paper |
