| Publication | Date of Publication | Type |
|---|
| Introducing variables in the evolution rules of P systems | 2024-12-03 | Paper |
| New editorial team for SACS after 16 years | 2024-08-15 | Paper |
| The power of synchronizing rules in membrane computing | 2024-02-28 | Paper |
| Type inference for hierarchical multiset structures in rule-based systems | 2024-01-10 | Paper |
| Bonding calculus | 2023-11-30 | Paper |
| Solving SAT with P systems with anti-membranes | 2023-09-14 | Paper |
| Solving subset sum by spiking neural P systems with astrocytes producing calcium | 2023-08-31 | Paper |
| On the efficiency of synchronized P systems | 2023-08-26 | Paper |
| Relating randomized right-hand sides to communicating rewriting rules | 2023-08-18 | Paper |
| Interval probability for sessions types | 2023-06-02 | Paper |
| From networks of reaction systems to communicating reaction systems and back | 2022-12-09 | Paper |
| Stochastic sharing calculus for reasoning about social networks | 2022-09-08 | Paper |
| Dynamics of reputation in mobile agents systems and weighted timed automata | 2022-01-06 | Paper |
| Mutual exclusion and reversibility in reaction systems | 2021-09-14 | Paper |
| Reversible computation in nature inspired rule-based systems | 2021-09-14 | Paper |
| Travelling salesman problem in tissue P systems with costs | 2021-09-14 | Paper |
| Synchronization of rules in membrane computing | 2021-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965810 | 2021-03-10 | Paper |
| Employing Costs in Multiagent Systems with Timed Migration and Timed Communication | 2020-07-20 | Paper |
| Imprecise Probability for Multiparty Session Types in Process Algebra | 2020-02-19 | Paper |
| Local time membrane systems and time Petri nets | 2020-01-08 | Paper |
| Verification of multi-agent systems with timeouts for migration and communication | 2019-12-12 | Paper |
| De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic | 2019-11-22 | Paper |
| Adaptive P systems | 2019-10-10 | Paper |
| Simulating P systems with membrane dissolution in a chemical calculus | 2019-07-10 | Paper |
| Solving the \(N\)-Queens puzzle by using few membranes | 2019-01-15 | Paper |
| BioMaxP: a formal approach for cellular ion pumps | 2018-07-03 | Paper |
| Controlled reversibility in reaction systems | 2018-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4608683 | 2018-03-21 | Paper |
| Efficiently solving the bin packing problem through bio-inspired mobility | 2017-06-09 | Paper |
| Simulating R Systems by P Systems | 2017-04-12 | Paper |
| Computational Power of Protein Networks | 2017-04-12 | Paper |
| Modelling and verification of weighted spiking neural systems | 2016-03-31 | Paper |
| Automated Verification of Stochastic Spiking Neural P Systems | 2016-02-26 | Paper |
| P Systems with Anti-Matter | 2015-12-02 | Paper |
| Red–Green P Automata | 2015-12-02 | Paper |
| Verification of membrane systems with delays via Petri nets with delays | 2015-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2941320 | 2015-08-27 | Paper |
| Type Disciplines for Analysing Biologically Relevant Properties | 2015-03-19 | Paper |
| Matter and Anti-Matter in Membrane Systems | 2014-08-07 | Paper |
| Behavioural Equivalences in Real-Time P Systems | 2014-03-28 | Paper |
| Describing the immune system using enhanced mobile membranes | 2014-01-17 | Paper |
| Mobile Membranes: Computability and Complexity | 2013-10-04 | Paper |
| Mobile Membranes with Objects on Surface as Colored Petri Nets | 2013-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4905132 | 2013-02-15 | Paper |
| Computing by endocytosis and exocytosis | 2012-10-04 | Paper |
| On the Computability Power of Membrane Systems with Controlled Mobility | 2012-08-14 | Paper |
| Properties of enhanced mobile membranes via coloured Petri nets | 2012-07-18 | Paper |
| Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems | 2012-03-23 | Paper |
| Mobility in process calculi and natural computing. | 2011-12-20 | Paper |
| Mutual mobile membranes with objects on surface | 2011-07-28 | Paper |
| A Temporal Logic for Mutual Mobile Membranes with Objects on Surface | 2011-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005244 | 2011-06-07 | Paper |
| Typed Membrane Systems | 2010-01-26 | Paper |
| Simple, Enhanced and Mutual Mobile Membranes | 2009-11-10 | Paper |
| Turing Completeness Using Three Mobile Membranes | 2009-10-22 | Paper |
| Mobile Ambients with Timers and Types | 2008-09-17 | Paper |
| Timers and Proximities for Mobile Ambients | 2008-06-03 | Paper |
| On the Reachability Problem in P Systems with Mobile Membranes | 2008-03-28 | Paper |
