| Publication | Date of Publication | Type |
|---|
| A model learning based testing approach for kernel P systems | 2023-06-15 | Paper |
| TESTING USING X-MACHINE TRANSLATIONS | 2022-12-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5038692 | 2022-10-07 | Paper |
| A model learning based testing approach for spiking neural P systems | 2022-06-13 | Paper |
| Spiking neural P systems: matrix representation and formal verification | 2021-09-14 | Paper |
| Search-based testing in membrane computing | 2021-09-14 | Paper |
| Fundamental results for learning deterministic extended finite state machines from queries | 2021-03-09 | Paper |
| Testing based on identifiable P systems using cover automata and X-machines | 2020-01-07 | Paper |
| Testing identifiable kernel P systems using an X-machine approach | 2019-10-10 | Paper |
| Identifiable kernel \(\mathrm{P}\) systems | 2019-01-15 | Paper |
| Real-life applications with membrane computing | 2018-05-30 | Paper |
| Kernel P systems: from modelling to verification and testing | 2018-04-10 | Paper |
| Further results on generalised communicating P systems | 2017-12-06 | Paper |
| Kernel P Systems Modelling, Testing and Verification - Sorting Case Study | 2017-04-12 | Paper |
| Comparative Analysis of Statistical Model Checking Tools | 2017-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507073 | 2016-12-16 | Paper |
| A novel membrane algorithm based on particle swarm optimization for solving broadcasting problems | 2016-07-08 | Paper |
| Membrane system models for super-Turing paradigms | 2016-07-08 | Paper |
| A variant of distributed P systems for real time cross layer optimization | 2016-07-08 | Paper |
| Spatially localised membrane systems | 2016-05-11 | Paper |
| A membrane algorithm with quantum-inspired subalgorithms and its application to image processing | 2016-03-09 | Paper |
| An Integrated Model Checking Toolset for Kernel P Systems | 2016-02-26 | Paper |
| Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example | 2015-06-26 | Paper |
| Testing Non-deterministic Stream X-machine Models and P systems | 2015-03-19 | Paper |
| A Kernel P Systems Survey | 2014-03-28 | Paper |
| RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS | 2014-03-24 | Paper |
| 3-Col problem modelling using simple kernel P systems | 2013-10-08 | Paper |
| Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems | 2013-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4902291 | 2013-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4900328 | 2013-01-14 | Paper |
| P Systems Controlled by General Topologies | 2012-11-08 | Paper |
| On Restricted Bio-Turing Machines | 2011-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005247 | 2011-06-07 | Paper |
| An empirical evaluation of P system testing techniques | 2011-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3070874 | 2011-01-28 | Paper |
| An Integrated Approach to P Systems Formal Verification | 2011-01-21 | Paper |
| Deterministic and stochastic P systems for modelling cellular processes | 2010-09-16 | Paper |
| Test generation from P systems using model checking | 2010-08-24 | Paper |
| Formal Verification and Testing Based on P Systems | 2010-01-26 | Paper |
| An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition | 2010-01-26 | Paper |
| Tuning P Systems for Solving the Broadcasting Problem | 2010-01-26 | Paper |
| Finite state based testing of P systems | 2010-01-25 | Paper |
| On Testing P Systems | 2009-07-28 | Paper |
| MODULAR ASSEMBLY OF CELL SYSTEMS BIOLOGY MODELS USINGPSYSTEMS | 2009-06-30 | Paper |
| Membrane Computing | 2009-05-15 | Paper |
| Aspects of Molecular Computing | 2009-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3601858 | 2009-02-12 | Paper |
| HOW TO SYNCHRONIZE THE ACTIVITY OF ALL COMPONENTS OF A P SYSTEM? | 2008-12-01 | Paper |
| Cellular modelling using P systems and process algebra | 2008-11-10 | Paper |
| Generalized communicating P systems | 2008-11-06 | Paper |
| A Hybrid Approach to Modeling Biological Systems | 2008-03-28 | Paper |
| Producer/Consumer in Membrane Systems and Petri Nets | 2007-11-13 | Paper |
| A Modeling Approach Based on P Systems with Bounded Parallelism | 2007-09-03 | Paper |
| Computational Completeness of Tissue P Systems with Conditional Uniport | 2007-09-03 | Paper |
| Quorum sensing P systems | 2007-03-12 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| Unconventional Computation | 2006-07-07 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| Cell communication in tissue \(P\) systems: universality results | 2005-12-13 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3022283 | 2005-06-23 | Paper |
| Languages generated by P systems with active membranes | 2005-02-11 | Paper |
| Testing (stream) X-machines | 2003-11-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430293 | 2003-10-20 | Paper |
| PX systems = P systems + X machines | 2003-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413816 | 2003-07-21 | Paper |
| Generalised stream X-machines and cooperating distributed grammar systems | 2003-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782092 | 2003-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4803449 | 2003-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329016 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4520784 | 2001-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939185 | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3982087 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3495660 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3350771 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3357552 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3470113 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820033 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826117 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3790609 | 1987-01-01 | Paper |
| Three variants of apical growth filamentous systems | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3766883 | 1986-01-01 | Paper |
