Formal languages
A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
Selected papers of the Second Workshop on Concurrency and compositionality
Studying artificial life using a simple, general cellular model
Artificial Life
Membrane computing with external output
Fundamenta Informaticae
P systems with active membranes: attacking NP-complete problems
Journal of Automata, Languages and Combinatorics
On membrane computing based on splicing
Where mathematics, computer science, linguistics and biology meet
Handbook of Formal Languages
Membrane systems with carriers
Theoretical Computer Science
P systems with communication based on concentration
Acta Cybernetica
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Mathematical Theory of L Systems
Mathematical Theory of L Systems
Membrane systems with coupled transport: universality and normal forms
Fundamenta Informaticae - Membrane computing
Recursive calculus with membranes
Fundamenta Informaticae - Membrane computing
A direct construction of a universal P System
Fundamenta Informaticae - Membrane computing
A formalization of transition P Systems
Fundamenta Informaticae - Membrane computing
The power of communication: P systems with symport/antiport
New Generation Computing
On P Systems with Active Membranes
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
Solving NP-Complete Problems Using P Systems with Active Membranes
UMC '00 Proceedings of the Second International Conference on Unconventional Models of Computation
On P Systems with Active Membranes Solving the Integer Factorization Problem in a Polynomial Time
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Computing with Membranes: Variants with an Enhanced Membrane Handling
DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
Rewriting P systems with conditional communication
Formal and natural computing
Computing with Membranes: P Systems with Worm-Objects
SPIRE '00 Proceedings of the Seventh International Symposium on String Processing Information Retrieval (SPIRE'00)
Computing with Membranes
On Synchronization in P Systems
Fundamenta Informaticae
Gene assembly in ciliates: computing by folding and recombination
A half-century of automata theory
Topics in the theory of DNA computing
Theoretical Computer Science - Natural computing
Membrane systems with coupled transport: universality and normal forms
Fundamenta Informaticae - Membrane computing
A formalization of transition P Systems
Fundamenta Informaticae - Membrane computing
Simulating turing machines by P Systems with external output
Fundamenta Informaticae - Membrane computing
Generation of Diophantine Sets by Computing P Systems with External Output
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Authentication of Messages Using P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
A MzScheme Implementation of Transition P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Decision P Systems and the P!=NP Conjecture
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
P Automata or Purely Communicating Accepting P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Simulating Counter Automata by P Systems with Symport/Antiport
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Forbidding and enforcing in membrane computing
Natural Computing: an international journal
From Watson-Crick L systems to Darwinian P systems
Natural Computing: an international journal
Catalytic P systems, semilinear sets, and vector addition systems
Theoretical Computer Science
Tree operations in P systems and λ-calculus
Fundamenta Informaticae
On the computational complexity of membrane systems
Theoretical Computer Science
A prolog simulator for deterministic P systems with active membranes
New Generation Computing - Membrane computing
On membrane hierarchy in P systems
Theoretical Computer Science
On determinism versus nondeterminism in P systems
Theoretical Computer Science
Theoretical Computer Science
Deterministic catalytic systems are not universal
Theoretical Computer Science - Implementation and application of automata
Three "quantum" algorithms to solve 3-SAT
Theoretical Computer Science
Membrane Systems with Peripheral Proteins: Transport and Evolution
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Decision problems in membrane systems with peripheral proteins, transport and evolution
Theoretical Computer Science
Processes of membrane systems with promoters and inhibitors
Theoretical Computer Science
A Language for Biochemical Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources
Natural Computing: an international journal
Computation with finite stochastic chemical reaction networks
Natural Computing: an international journal
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources
Fundamenta Informaticae
A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem
Fundamenta Informaticae
Letters: A variant of P systems for optimization
Neurocomputing
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Using membrane computers to find optimal solutions to cost-based abduction
PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
A Petri net model for membrane systems with dynamic structure
Natural Computing: an international journal
(tissue) p systems with cell polarity
Mathematical Structures in Computer Science
Synthesis of elementary net systems with context arcs and localities
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
(UREM) P systems with a quantum-like behavior: background, definition, and computational power
WMC'07 Proceedings of the 8th international conference on Membrane computing
Optimizing evolution rules application and communication times in membrane systems implementation
WMC'07 Proceedings of the 8th international conference on Membrane computing
Spiking neural p systems with weights
Neural Computation
On a powerful class of non-universal P systems with active membranes
DLT'10 Proceedings of the 14th international conference on Developments in language theory
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A graph-based developmental swarm representation and algorithm
ANTS'10 Proceedings of the 7th international conference on Swarm intelligence
Testing based on P systems - an overview
CMC'10 Proceedings of the 11th international conference on Membrane computing
On aggregation in multiset-based self-assembly of graphs
Natural Computing: an international journal
An empirical evaluation of P system testing techniques
Natural Computing: an international journal
On the decidability of model-checking for P systems
Journal of Automata, Languages and Combinatorics
Process semantics for membrane systems
Journal of Automata, Languages and Combinatorics
Synchrony and asynchrony in membrane systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Modeling signal transduction using p systems
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a hybrid metabolic algorithm
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Membrane systems with external control
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Classifying states of a finite markov chain with membrane computing
WMC'06 Proceedings of the 7th international conference on Membrane Computing
A membrane algorithm for the min storage problem
WMC'06 Proceedings of the 7th international conference on Membrane Computing
On bounded symport/antiport P systems
DNA'05 Proceedings of the 11th international conference on DNA Computing
On model-checking of p systems
UC'05 Proceedings of the 4th international conference on Unconventional Computation
Signaling p systems and verification problems
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Development of membrane controllers for mobile robots
Information Sciences: an International Journal
Modelling cellular processes using membrane systems with peripheral and integral proteins
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Towards a petri net semantics for membrane systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Spiking Neural P Systems with Weighted Synapses
Neural Processing Letters
P systems: some recent results and research problems
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Outlining an unconventional, adaptive, and particle-based reconfigurable computer architecture
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Some computational issues in membrane computing
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
λP systems and typed λ-calculus
WMC'04 Proceedings of the 5th international conference on Membrane Computing
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Evolution and oscillation in p systems: applications to biological phenomena
WMC'04 Proceedings of the 5th international conference on Membrane Computing
An approach to computational complexity in membrane computing
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Inhibiting/de-inhibiting rules in p systems
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Conservative computations in energy–based p systems
WMC'04 Proceedings of the 5th international conference on Membrane Computing
Spiking neural p systems with astrocytes
Neural Computation
The power of maximal parallelism in p systems
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
Petri nets with localities and testing
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
Formal verification and testing based on p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Tuning p systems for solving the broadcasting problem
WMC'09 Proceedings of the 10th international conference on Membrane Computing
An improved membrane algorithm for solving time-frequency atom decomposition
WMC'09 Proceedings of the 10th international conference on Membrane Computing
On deterministic catalytic systems
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Evolutionary design of a simple membrane system
CMC'11 Proceedings of the 12th international conference on Membrane Computing
Membrane quantum particle swarm optimisation for cognitive radio spectrum allocation
International Journal of Computer Applications in Technology
An interaction-oriented model for multi-scale simulation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Evolution of resistance to quorum quenching in digital organisms
Artificial Life
Membrane Systems with Qualitative Evolution Rules
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources
Fundamenta Informaticae
A Quantum-Inspired Evolutionary Algorithm Based on P systems for Knapsack Problem
Fundamenta Informaticae
Synthesis of Elementary Net Systems with Context Arcs and Localities
Fundamenta Informaticae - PETRI NETS 2007
Processes of Petri Nets with Range Testing
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Tree Operations in P Systems and λ-Calculus
Fundamenta Informaticae
Membrane Systems with Coupled Transport: Universality and Normal Forms
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
A Formalization of Transition P Systems
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Simulating Turing Machines by P Systems with External Output
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
A case-study on the influence of noise to log-gain principles for flux dynamic discovery
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Dynamic evolutionary membrane algorithm in dynamic environments
EvoCOP'13 Proceedings of the 13th European conference on Evolutionary Computation in Combinatorial Optimization
Hi-index | 0.01 |
Membrane systems are models of computation which are inspired by some basic features of biological membranes. In a membrane system multisets of objects are placed in the compartments defined by the membrane structure, and the objects evolve by means of "reaction rules" also associated with the compartments, and applied in a maximally parallel, nondeterministic manner. The objects can pass through membranes, the membranes can change their permeability, they can dissolve, and they can divide. These features are used in defining transitions between configurations of the system, and sequences of transitions are used to define computations. In the case of symbol-objects, we compute a set of numbers, and in the case of string-objects we compute a set of strings, hence a language. Many different classes of such computing devices (now called P systems) have already been investigated. Most of them are computationally universal, i.e., equal in power to Turing machines. Systems with an enhanced parallelism are able to trade space for time and solve in this way (at least in principle), by making use of an exponential space, intractable problems in a feasible time.The present paper presents the basic ideas of computing with membranes and some fundamental properties (mostly concerning the computational power and efficiency) of P systems of various types.