| Publication | Date of Publication | Type |
|---|
| A process calculus for spiking neural P systems | 2024-03-07 | 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 |
| Variants of spiking neural P systems and their operational semantics in Haskell | 2023-09-14 | Paper |
| Spiking neural P systems and their semantics in Haskell | 2023-08-31 | Paper |
| Relating randomized right-hand sides to communicating rewriting rules | 2023-08-18 | Paper |
| Interval probability for sessions types | 2023-06-02 | Paper |
| Stochastic sharing calculus for reasoning about social networks | 2022-09-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5078317 | 2022-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5071027 | 2022-04-19 | Paper |
| Various forms of infinity for finitely supported structures | 2022-03-22 | Paper |
| Dynamics of reputation in mobile agents systems and weighted timed automata | 2022-01-06 | Paper |
| Uniformly supported sets and fixed points properties | 2021-12-15 | 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 |
| Memory associated with membranes systems | 2021-09-14 | Paper |
| Synchronization of rules in membrane computing | 2021-09-14 | Paper |
| Fixed point results for finitely supported algebraic structures | 2021-06-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986732 | 2021-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4965810 | 2021-03-10 | Paper |
| Foundations of Finitely Supported Structures | 2020-09-15 | Paper |
| A note on similarity relations between fuzzy attribute-oriented concept lattices | 2020-09-09 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5212299 | 2020-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5211988 | 2020-01-23 | Paper |
| Properties of the atoms in finitely supported structures | 2020-01-17 | 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 |
| A semantic investigation of spiking neural P systems | 2019-10-10 | Paper |
| Finitely Supported Sets Containing Infinite Uniformly Supported Subsets | 2019-09-04 | Paper |
| Simulating P systems with membrane dissolution in a chemical calculus | 2019-07-10 | Paper |
| Infinities within Finitely Supported Structures | 2019-02-25 | Paper |
| A Grand Master of Discrete Mathematics | 2019-02-08 | Paper |
| Solving the \(N\)-Queens puzzle by using few membranes | 2019-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4558016 | 2018-11-27 | Paper |
| Fuzzy sets within finitely supported mathematics | 2018-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4583861 | 2018-09-03 | Paper |
| An efficient method to factorize fuzzy attribute-oriented concept lattices | 2018-07-30 | 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 |
| Denotational semantics of membrane systems by using complete metric spaces | 2017-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4594025 | 2017-11-16 | Paper |
| Similarity relations in fuzzy attribute-oriented concept lattices | 2017-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4978171 | 2017-08-17 | Paper |
| Efficiently solving the bin packing problem through bio-inspired mobility | 2017-06-09 | Paper |
| A universality theorem for the sequential behaviour of minimal $F$-automata | 2017-04-25 | Paper |
| Computational Power of Protein Networks | 2017-04-12 | Paper |
| Continuation Passing Semantics for Membrane Systems | 2017-04-12 | Paper |
| Abstract Interpretations in the Framework of Invariant Sets | 2017-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2969102 | 2017-03-14 | Paper |
| Behavioural Analysis of Sessions Using the Calculus of Structures | 2016-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507057 | 2016-12-16 | Paper |
| Permutative Renamings in the Extended Fraenkel-Mostowski Set Theory | 2016-10-05 | Paper |
| A descriptive type foundation for RDF Schema | 2016-08-18 | Paper |
| Finitely Supported Mathematics | 2016-08-10 | Paper |
| Essential and density topologies of continuous domains | 2016-06-03 | Paper |
| A Topological Approach in the Extended Fraenkel-Mostowski Model of Set Theory | 2016-05-18 | Paper |
| General patterns of interaction in stochastic fusion | 2016-04-21 | 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 |
| Descriptive Types for Linked Data Resources | 2015-12-03 | Paper |
| Strategy based semantics for mobility with time and access permissions | 2015-11-10 | Paper |
| Verification of membrane systems with delays via Petri nets with delays | 2015-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2941242 | 2015-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2941319 | 2015-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2941320 | 2015-08-27 | Paper |
| Monitoring Changes in Dynamic Multiset Systems | 2015-06-26 | Paper |
| Minimal type inference for linked data consumers | 2015-06-15 | Paper |
| Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors | 2015-03-19 | Paper |
| Catalytic and communicating Petri nets are Turing complete | 2014-11-28 | Paper |
| Nominal Groups and Their Homomorphism Theorems | 2014-05-12 | Paper |
| Continuation Semantics for Asynchronous Concurrency | 2014-05-12 | Paper |
| Behavioural Equivalences in Real-Time P Systems | 2014-03-28 | Paper |
| Describing the Immune System Using Enhanced Mobile Membranes | 2014-01-17 | Paper |
| Translating Mobile Ambients into P Systems | 2013-12-06 | Paper |
| Interaction in Time and Space | 2013-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2852095 | 2013-10-07 | Paper |
| Mobile Membranes: Computability and Complexity | 2013-10-04 | Paper |
| A Probabilistic Logic for pTiMo | 2013-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849870 | 2013-09-20 | Paper |
| Supermetrics over Apartness Lattice-Ordered Semigroup | 2013-05-03 | Paper |
| Mobile Membranes with Objects on Surface as Colored Petri Nets | 2013-04-16 | Paper |
| An Analysis of Correlative and Static Causality in P Systems | 2013-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4905132 | 2013-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4902257 | 2013-01-14 | Paper |
| A Timed Mobility Semantics Based on Rewriting Strategies | 2013-01-08 | Paper |
| Computing by Endocytosis and Exocytosis | 2012-10-04 | Paper |
| An Extension of a Permutative Model of Set Theory | 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 |
| Catalytic Petri Nets Are Turing Complete | 2012-06-08 | Paper |
| Quantitative Causality in Membrane Systems | 2012-06-08 | 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 |
| Timed mobility in process algebra and Petri nets | 2011-09-12 | Paper |
| Computability Power of Mobility in Enhanced Mobile Membranes | 2011-09-09 | Paper |
| A $\Sigma_2^P \cup \Pi_2^P$ Lower Bound Using Mobile Membranes | 2011-07-29 | 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 |
| Enhanced mobile membranes: computability results | 2011-05-23 | Paper |
| Mobility in Computer Science and in Membrane Systems | 2011-01-21 | Paper |
| Flattening the Transition P Systems with Dissolution | 2011-01-21 | Paper |
| Mobile Agents with Timers, and Their Implementation | 2010-10-26 | Paper |
| Finding Network Resources by Using Mobile Agents | 2010-10-26 | Paper |
| UTP and Temporal Logic Model Checking | 2010-08-31 | Paper |
| Rule-based and object-based event structures for membrane systems | 2010-08-24 | Paper |
| Reversing computation in membrane systems | 2010-05-27 | Paper |
| Encoding Mobile Ambients into the π-Calculus | 2010-02-02 | Paper |
| Evolving by Maximizing the Number of Rules: Complexity Study | 2010-01-26 | Paper |
| Typed Membrane Systems | 2010-01-26 | Paper |
| Complexity of evolution in maximum cooperative P systems | 2010-01-25 | Paper |
| Simple, Enhanced and Mutual Mobile Membranes | 2009-11-10 | Paper |
| Turing Completeness Using Three Mobile Membranes | 2009-10-22 | Paper |
| Final and sequential behaviours of M-automata | 2009-10-02 | Paper |
| Dual P Systems | 2009-07-28 | Paper |
| ENCODINGS OF MULTISETS | 2009-06-30 | Paper |
| Verification, Model Checking, and Abstract Interpretation | 2009-05-15 | Paper |
| Integrated Formal Methods | 2009-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624198 | 2009-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601855 | 2009-02-12 | Paper |
| Non-interleaving Semantics with Causality for Nondeterministic Dataflow | 2009-01-27 | Paper |
| From Gene Regulation to Stochastic Fusion | 2008-12-02 | Paper |
| Cellular modelling using P systems and process algebra | 2008-11-10 | Paper |
| Compositional asynchronous membrane systems | 2008-11-10 | Paper |
| Probabilistic transitions for P systems | 2008-11-10 | Paper |
| Mobile Ambients with Timers and Types | 2008-09-17 | Paper |
| A Topological Approach of the Web Classification | 2008-09-11 | Paper |
| On the Computational Power of Enhanced Mobile Membranes | 2008-06-19 | Paper |
| Timers and Proximities for Mobile Ambients | 2008-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457648 | 2008-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5457698 | 2008-04-14 | Paper |
| On the Reachability Problem in P Systems with Mobile Membranes | 2008-03-28 | Paper |
| Events, Causality, and Concurrency in Membrane Systems | 2008-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439767 | 2008-02-11 | Paper |
| P Machines: An Automata Approach to Membrane Computing | 2007-09-03 | Paper |
| Distributed Evolutionary Algorithms Inspired by Membranes in Solving Continuous Optimization Problems | 2007-09-03 | Paper |
| Expressing Control Mechanisms of Membranes by Rewriting Strategies | 2007-09-03 | Paper |
| P systems with minimal parallelism | 2007-06-06 | Paper |
| Theory and Applications of Models of Computation | 2007-04-30 | Paper |
| A rewriting logic framework for operational semantics of membrane systems | 2007-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416409 | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409975 | 2006-11-21 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| Applying Formal Methods: Testing, Performance, and M/E-Commerce | 2006-10-24 | Paper |
| Unconventional Computation | 2006-07-07 | Paper |
| P transducers | 2006-06-12 | Paper |
| MEALY MULTISET AUTOMATA | 2006-04-06 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| Communication equivalence classes in networks | 2005-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3022288 | 2005-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421579 | 2003-10-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413826 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413827 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413246 | 2003-07-17 | Paper |
| Molecular interaction. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782117 | 2002-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329020 | 2002-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4529999 | 2002-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329040 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2770669 | 2002-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520812 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511270 | 2000-10-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370836 | 1998-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4889401 | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4889406 | 1997-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4841278 | 1996-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4870897 | 1996-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4854628 | 1995-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826108 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805884 | 1987-01-01 | Paper |
| On certain lattice-ordered semigroups | 1985-01-01 | Paper |
