| 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 |
| Notes on spiking neural P systems and finite automata | 2019-07-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 |
| 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 |
| Fuzzy reasoning spiking neural P systems revisited: a formalization | 2017-12-06 | Paper |
| Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation | 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 |
| https://portal.mardi4nfdi.de/entity/Q2969100 | 2017-03-14 | Paper |
| Polarizationless P Systems with Active Membranes: Computational Complexity Aspects | 2016-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5507069 | 2016-12-16 | Paper |
| An efficient time-free solution to SAT problem by P systems with proteins on membranes | 2016-06-13 | Paper |
| Extending Simulation of Asynchronous Spiking Neural P Systems in P–Lingua | 2016-05-13 | Paper |
| Simulating P Systems on GPU Devices: A Survey | 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 |
| Simulating FRSN P Systems with Real Numbers in P-Lingua on sequential and CUDA platforms | 2016-02-26 | Paper |
| Computing Partial Recursive Functions by Virus Machines | 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 |
| A Bioinspired Computing Approach to Model Complex Systems | 2015-12-02 | Paper |
| Probabilistic Guarded P Systems, A New Formal Modelling Framework | 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 |
| A polynomial alternative to unbounded environment for tissue P systems with cell division | 2013-10-08 | Paper |
| 3-Col problem modelling using simple kernel P systems | 2013-10-08 | Paper |
| Spiking neural P systems with neuron division and budding | 2013-07-03 | 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 |
| DCBA: Simulating Population Dynamics P Systems with Proportional Object Distribution | 2013-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4902289 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3225710 | 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 |
| COMPUTATION OF RAMSEY NUMBERS BY P SYSTEMS WITH ACTIVE MEMBRANES | 2011-02-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 |
| Depth-First Search with P Systems | 2011-01-21 | Paper |
| Matrix Representation of Spiking Neural 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 |
| Simulating a P system based efficient solution to SAT by using GPUs | 2010-08-24 | Paper |
| A P-Lingua based simulator for tissue P systems | 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 |
| 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 |
| An Overview of P-Lingua 2.0 | 2010-01-26 | Paper |
| Characterizing Tractability by Tissue-Like P Systems | 2010-01-26 | Paper |
| Searching Previous Configurations in Membrane Computing | 2010-01-26 | 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 simulation of tissue-like P systems by transition cell-like P 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 |
| Descriptional Complexity of Tissue-Like P Systems with Cell Division | 2009-10-22 | Paper |
| Membrane Dissolution and Division in P | 2009-10-22 | Paper |
| Modeling Ecosystems Using P Systems: The Bearded Vulture, a Case Study | 2009-07-28 | Paper |
| Hebbian Learning from Spiking Neural P Systems View | 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 |
| https://portal.mardi4nfdi.de/entity/Q3601857 | 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 |
| https://portal.mardi4nfdi.de/entity/Q3517102 | 2008-08-12 | Paper |
| Spiking neural P systems with extended rules: universality and languages | 2008-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3515202 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5450109 | 2008-03-19 | Paper |
| Handling Markov Chains with Membrane Computing | 2007-11-29 | Paper |
| A Modeling Approach Based on P Systems with Bounded Parallelism | 2007-09-03 | Paper |
| Classifying States of a Finite Markov Chain with Membrane Computing | 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 |
| https://portal.mardi4nfdi.de/entity/Q3409975 | 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/Q4437091 | 2003-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4437095 | 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 |
