| Publication | Date of Publication | Type |
|---|
| Towards a general methodology for formal verification on spiking neural P systems | 2024-08-21 | Paper |
| Spiking neural P systems with mute rules | 2024-06-21 | Paper |
| On certain expressions of the rank function, independent of the theory of ordinals | 2024-04-22 | Paper |
| Generating, computing and recognizing with virus machines | 2023-09-07 | Paper |
| Tissue P systems with evolutional communication rules with two objects in the left-hand side | 2023-08-31 | Paper |
| Membrane creation and symport/antiport rules solving QSAT | 2023-08-29 | Paper |
| The environment as a frontier of efficiency in tissue P systems with communication rules | 2023-04-26 | Paper |
| P systems with evolutional communication and separation rules | 2022-12-09 | Paper |
| P systems with evolutional symport and membrane creation rules solving QSAT | 2022-02-21 | Paper |
| Dendrite P systems | 2021-09-08 | Paper |
| Proof techniques in membrane computing | 2021-03-09 | Paper |
| Cell-like P systems with evolutional symport/antiport rules and membrane creation | 2020-12-15 | Paper |
| From NP-completeness to DP-completeness: a membrane computing perspective | 2020-10-21 | Paper |
| Membrane Creation in Polarizationless P Systems with Active Membranes | 2020-06-21 | Paper |
| Cell-like P systems with polarizations and minimal rules | 2020-03-20 | Paper |
| P systems with proteins: a new frontier when membrane division disappears | 2020-02-24 | Paper |
| Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems | 2020-02-24 | Paper |
| P systems with symport/antiport rules: when do the surroundings matter? | 2020-01-08 | Paper |
| When object production tunes the efficiency of membrane systems | 2020-01-08 | Paper |
| Small universal simple spiking neural P systems with weights | 2019-11-18 | Paper |
| Design of specific P systems simulators on GPUs | 2019-10-10 | Paper |
| Parallel simulation of population dynamics P systems: updates and roadmap | 2019-07-10 | Paper |
| P systems based computing polynomials: design and formal verification | 2019-07-10 | Paper |
| Notes on spiking neural P systems and finite automata | 2019-07-10 | Paper |
| A path to computational efficiency through membrane computing | 2019-06-18 | Paper |
| The computational complexity of tissue P systems with evolutional symport/antiport rules | 2019-02-18 | Paper |
| From distribution to replication in cooperative systems with active membranes: a frontier of the efficiency | 2018-06-18 | Paper |
| Real-life applications with membrane computing | 2018-05-30 | Paper |
| Counting membrane systems | 2018-05-16 | Paper |
| Cooperation in transport of chemical substances: a complexity approach within membrane computing | 2018-01-19 | Paper |
| Computational efficiency of minimal cooperation and distribution in polarizationless P systems with active membranes | 2018-01-05 | Paper |
| Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation | 2017-12-06 | Paper |
| Fuzzy reasoning spiking neural P systems revisited: a formalization | 2017-12-06 | Paper |
| An efficient time-free solution to QSAT problem using P systems with proteins on membranes | 2017-09-28 | Paper |
| An unsupervised learning algorithm for membrane computing | 2017-05-16 | Paper |
| Computational efficiency and universality of timed P systems with membrane creation | 2017-04-12 | Paper |
| Tissue P systems with protein on cells | 2017-03-22 | Paper |
| Hierarchical clustering with membrane computing | 2017-03-14 | Paper |
| Polarizationless P systems with active membranes: computational complexity aspects | 2016-12-20 | Paper |
| The role of the direction in tissue P systems with cell separation | 2016-12-16 | Paper |
| An efficient time-free solution to SAT problem by P systems with proteins on membranes | 2016-06-13 | Paper |
| Simulating P systems on GPU devices: a survey | 2016-05-13 | Paper |
| Extending simulation of asynchronous spiking neural P systems in P-Lingua | 2016-05-13 | Paper |
| An optimal frontier of the efficiency of tissue P systems with cell separation | 2016-05-11 | Paper |
| A P-Lingua based simulator for P systems with symport/antiport rules | 2016-05-11 | Paper |
| Computing with viruses | 2016-03-31 | Paper |
| Computing partial recursive functions by virus machines | 2016-02-26 | Paper |
| Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms | 2016-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3462738 | 2016-01-15 | Paper |
| Membrane fission versus cell division: when membrane proliferation is not enough | 2015-12-10 | Paper |
| Probabilistic Guarded P Systems, A New Formal Modelling Framework | 2015-12-02 | Paper |
| A bioinspired computing approach to model complex systems | 2015-12-02 | Paper |
| Asynchronous spiking neural P systems with structural plasticity | 2015-09-14 | Paper |
| Languages and P systems: recent developments | 2015-08-06 | Paper |
| Fuzzy reasoning spiking neural P system for fault diagnosis | 2014-04-16 | Paper |
| The relevance of the environment on the efficiency of tissue P systems | 2014-03-28 | Paper |
| RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS | 2014-03-24 | Paper |
| Time-free solution to SAT problem using P systems with active membranes | 2014-03-19 | Paper |
| A linear-time tissue P system based solution for the 3-coloring problem | 2013-12-06 | Paper |
| Bridging membrane and reaction systems -- further results and research topics | 2013-11-28 | Paper |
| 3-Col problem modelling using simple kernel P systems | 2013-10-08 | Paper |
| A polynomial alternative to unbounded environment for tissue P systems with cell division | 2013-10-08 | Paper |
| Spiking neural P systems with neuron division and budding | 2013-07-03 | Paper |
| DCBA: simulating population dynamics P systems with proportional object distribution | 2013-04-16 | Paper |
| Spiking Neural P Systems with Functional Astrocytes | 2013-04-16 | Paper |
| The efficiency of tissue P systems with cell separation relies on the environment | 2013-04-16 | Paper |
| On the power of P and dP automata | 2013-01-14 | Paper |
| Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem | 2012-11-15 | Paper |
| Heterotic computing examples with optics, bacteria, and chemicals | 2012-11-08 | Paper |
| P automata revisited | 2012-10-11 | Paper |
| A tissue P systems based uniform solution to tripartite matching problem | 2012-07-04 | Paper |
| dP automata versus right-linear simple matrix grammars | 2012-06-15 | Paper |
| Formal verification of P systems with active membranes through model checking | 2012-06-08 | Paper |
| Towards bridging two cell-inspired models: P systems and R systems | 2012-05-30 | Paper |
| An infinite hierarchy of languages defined by dP systems | 2012-05-30 | Paper |
| Spiking neural dP systems | 2012-03-22 | Paper |
| Looking for small efficient P systems | 2011-11-22 | Paper |
| Membrane computing (tutorial) | 2011-06-17 | Paper |
| P and dP automata: a survey | 2011-05-27 | Paper |
| A computational modeling for real ecosystems based on P systems | 2011-05-23 | Paper |
| On a partial affirmative answer for a Păun's conjecture | 2011-02-23 | Paper |
| A simulation algorithm for multienvironment probabilistic P systems: a formal verification | 2011-02-23 | Paper |
| Computation of Ramsey numbers by P systems with active membranes | 2011-02-23 | Paper |
| Matrix representation of spiking neural P systems | 2011-01-21 | Paper |
| Depth-first search with P systems | 2011-01-21 | Paper |
| Spiking Neural P Systems with Weights | 2010-11-24 | Paper |
| On spiking neural P systems | 2010-09-16 | Paper |
| A P-Lingua based simulator for tissue P systems | 2010-08-24 | Paper |
| Simulating a P system based efficient solution to SAT by using GPUs | 2010-08-24 | Paper |
| Computational complexity of tissue-like P systems | 2010-08-03 | Paper |
| A new characterization of NP, P, and PSPACE with accepting hybrid networks of evolutionary processors | 2010-05-10 | Paper |
| Computing morphisms by spiking neural P systems | 2010-01-29 | Paper |
| An overview of P-Lingua 2.0 | 2010-01-26 | Paper |
| Characterizing tractability by tissue-like P systems | 2010-01-26 | Paper |
| A computational complexity theory in membrane computing | 2010-01-26 | Paper |
| A P system based model of an ecosystem of some scavenger birds | 2010-01-26 | Paper |
| Searching Previous Configurations in Membrane Computing | 2010-01-26 | Paper |
| Efficient simulation of tissue-like P systems by transition cell-like P systems | 2010-01-25 | Paper |
| Uniform solutions to SAT and subset sum by spiking neural P systems | 2010-01-25 | Paper |
| Complexity aspects of polarizationless membrane systems | 2010-01-25 | Paper |
| Efficient computation in rational-valued P systems | 2010-01-12 | Paper |
| A software tool for verification of spiking neural P systems | 2009-11-04 | Paper |
| Membrane Dissolution and Division in P | 2009-10-22 | Paper |
| Descriptional Complexity of Tissue-Like P Systems with Cell Division | 2009-10-22 | Paper |
| Hebbian Learning from Spiking Neural P Systems View | 2009-07-28 | Paper |
| Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study | 2009-07-28 | Paper |
| On the efficiency of cell-like and tissue-like recognizing membrane systems | 2009-07-27 | Paper |
| Membrane Computing | 2009-05-15 | Paper |
| Membrane Computing | 2009-05-15 | Paper |
| Membrane Computing | 2009-05-15 | Paper |
| Aspects of Molecular Computing | 2009-05-14 | Paper |
| Uniform Solution of QSAT Using Polarizationless Active Membranes | 2009-03-05 | Paper |
| Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode | 2009-02-17 | Paper |
| On the computational efficiency of polarizationless recognizer P systems with strong division and dissolution | 2009-02-12 | Paper |
| Cellular modelling using P systems and process algebra | 2008-11-10 | Paper |
| Simulating FAS-induced apoptosis by using P systems | 2008-11-10 | Paper |
| How to express tumours using membrane systems | 2008-11-10 | Paper |
| A uniform family of tissue P systems with cell division solving 3-COL in a linear time | 2008-11-06 | Paper |
| REPRESENTATIONS AND CHARACTERIZATIONS OF LANGUAGES IN CHOMSKY HIERARCHY BY MEANS OF INSERTION-DELETION SYSTEMS | 2008-09-25 | Paper |
| Multi-dimensional descriptional complexity of P systems | 2008-08-12 | Paper |
| Spiking neural P systems with extended rules: universality and languages | 2008-07-31 | Paper |
| A polynomial complexity class in P systems using membrane division | 2008-07-29 | Paper |
| Computing with Spiking Neural P Systems: Traces and Small Universal Systems | 2008-04-04 | Paper |
| Simulating the Bitonic Sort Using P Systems | 2008-03-28 | Paper |
| A Logarithmic Bound for Solving Subset Sum with P Systems | 2008-03-28 | Paper |
| Editing configurations of P systems | 2008-03-19 | Paper |
| Handling Markov Chains with Membrane Computing | 2007-11-29 | Paper |
| Classifying States of a Finite Markov Chain with Membrane Computing | 2007-09-03 | Paper |
| A Modeling Approach Based on P Systems with Bounded Parallelism | 2007-09-03 | Paper |
| P systems with minimal parallelism | 2007-06-06 | Paper |
| SPIKING NEURAL P SYSTEMS: AN EARLY SURVEY | 2007-06-05 | Paper |
| On the degree of parallelism in membrane systems | 2007-03-27 | Paper |
| Computational efficiency of dissolution rules in membrane systems | 2007-03-23 | Paper |
| A uniform solution to SAT using membrane creation | 2007-03-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425575 | 2007-02-26 | Paper |
| On the branching complexity of \(P\) systems | 2006-11-21 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| Membrane Computing | 2006-11-13 | Paper |
| DNA Computing | 2006-10-19 | Paper |
| DNA Computing | 2006-10-19 | Paper |
| SPIKE TRAINS IN SPIKING NEURAL P SYSTEMS | 2006-08-21 | Paper |
| Unconventional Computation | 2006-07-07 | Paper |
| Solving the subset-problem by P systems with active membrans | 2006-06-12 | Paper |
| ON SIMULATING A CLASS OF PARALLEL ARCHITECTURES | 2006-04-06 | Paper |
| A fast \(P\) system for finding a balanced 2-partition | 2005-12-13 | Paper |
| Machines, Computations, and Universality | 2005-12-08 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| Membrane Computing | 2005-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681311 | 2005-06-23 | Paper |
| Tissue P systems with channel states | 2005-02-22 | Paper |
| A Prolog simulator for deterministic P systems with active membranes | 2005-02-11 | Paper |
| Theory Is Forever | 2005-01-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737646 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434357 | 2004-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437095 | 2003-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437091 | 2003-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436832 | 2003-12-04 | Paper |
| Complexity classes in models of cellular computing with membranes | 2003-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413818 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413842 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329038 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329037 | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4485573 | 2000-06-14 | Paper |
| On Overspill Principles and Axiom Schemes for Bounded Formulas | 1997-02-24 | Paper |
| Maximum Schemes in Arithmetic | 1994-10-05 | Paper |
