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