Publication | Date of Publication | Type |
---|
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 |