Journal of Computer and System Sciences
Handbook of Formal Languages
Membrane systems with carriers
Theoretical Computer Science
Regulated Rewriting in Formal Language Theory
Regulated Rewriting in Formal Language Theory
Molecular computing paradigm – toward freedom from Turing's charm
Natural Computing: an international journal
Theoretical Computer Science - Natural computing
Membrane systems with coupled transport: universality and normal forms
Fundamenta Informaticae - Membrane computing
Membrane Computing: When Communication Is Enough
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Implementing Bead-Sort with P Systems
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
P Systems with Activated/Prohibited Membrane Channels
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Membrane Systems with Symport/Antiport Rules: Universality Results
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Molecular Biology of Bacteria and Its Relevance for P Systems
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
Client-Server P Systems in Modeling Molecular Interaction
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
Unexpected Universality Results for Three Classes of P Systems with Symport/Antiport
DNA8 Revised Papers from the 8th International Workshop on DNA Based Computers: DNA Computing
Mathematical models of uncertainty with a regard to membrane systems
Natural Computing: an international journal
Unexpected universality results for three classes of P systems with symport/antiport
Natural Computing: an international journal
The conformon-P system: a molecular and cell biology-inspired computability model
Theoretical Computer Science
On the computational complexity of membrane systems
Theoretical Computer Science
On membrane hierarchy in P systems
Theoretical Computer Science
On determinism versus nondeterminism in P systems
Theoretical Computer Science
P systems with conditional communication rules assigned to membranes
Journal of Automata, Languages and Combinatorics
Theoretical Computer Science
New Generation Computing
Deterministic catalytic systems are not universal
Theoretical Computer Science - Implementation and application of automata
A uniform solution to SAT using membrane creation
Theoretical Computer Science
Time and Synchronization in Membrane Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Symport/Antiport P Systems with Three Objects Are Universal
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
On small universal antiport P systems
Theoretical Computer Science
Discrete solutions to differential equations by metabolic P systems
Theoretical Computer Science
P Systems with Proteins on Membranes
Fundamenta Informaticae
On the Branching Complexity of P Systems
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
On the Computational Power of 1-Deterministic and Sequential P Systems
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
P systems with minimal parallelism
Theoretical Computer Science
A Linear--time Tissue P System Based Solution for the 3--coloring Problem
Electronic Notes in Theoretical Computer Science (ENTCS)
A uniform family of tissue P systems with cell division solving 3-COL in a linear time
Theoretical Computer Science
The metabolic algorithm for P systems: Principles and applications
Theoretical Computer Science
Generalized communicating P systems
Theoretical Computer Science
Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division
IWINAC '07 Proceedings of the 2nd international work-conference on The Interplay Between Natural and Artificial Computation, Part I: Bio-inspired Modeling of Cognitive Tasks
Computing with cells: membrane systems-some complexity issues
International Journal of Parallel, Emergent and Distributed Systems
Multi-dimensional descriptional complexity of P systems
Journal of Automata, Languages and Combinatorics
A Framework for Complexity Classes in Membrane Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Defining and Executing P Systems with Structured Data in K
Membrane Computing
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions
Fundamenta Informaticae - Machines, Computations and Universality, Part I
Solving the Independent Set Problem by Using Tissue-Like P Systems with Cell Division
IWINAC '09 Proceedings of the 3rd International Work-Conference on The Interplay Between Natural and Artificial Computation: Part I: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
P Systems with Transport and Diffusion Membrane Channels
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Efficient simulation of tissue-like P systems by transition cell-like P systems
Natural Computing: an international journal
Segmentation in 2D and 3D Image Using Tissue-Like P System
CIARP '09 Proceedings of the 14th Iberoamerican Conference on Pattern Recognition: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications
Using Membrane Computing for Obtaining Homology Groups of Binary 2D Digital Images
IWCIA '09 Proceedings of the 13th International Workshop on Combinatorial Image Analysis
(tissue) p systems with cell polarity
Mathematical Structures in Computer Science
On three classes of automata-like P systems
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Partial halting in P systems using membrane rules with permitting contexts
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Psim: a computational platform for metabolic P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Skin output in P systems with minimal symport/antiport and two membranes
WMC'07 Proceedings of the 8th international conference on Membrane computing
Modeling symport/antiport P systems with a class of hierarchical Petri nets
WMC'07 Proceedings of the 8th international conference on Membrane computing
A formal framework for static (tissue) P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
On flip-flop membrane systems with proteins
WMC'07 Proceedings of the 8th international conference on Membrane computing
Computational complexity of tissue-like P systems
Journal of Complexity
On generalized communicating P systems with minimal interaction rules
Theoretical Computer Science
On generalized communicating P systems with one symbol
CMC'10 Proceedings of the 11th international conference on Membrane computing
CMC'10 Proceedings of the 11th international conference on Membrane computing
Minimization strategies for maximally parallel multiset rewriting systems
Theoretical Computer Science
Information Sciences: an International Journal
An overview of membrane computing
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Communication membrane systems with active symports
Journal of Automata, Languages and Combinatorics
Event-related outputs of computations in P systems
Journal of Automata, Languages and Combinatorics
A parallel implementation of the thresholding problem by using tissue-like P systems
CAIP'11 Proceedings of the 14th international conference on Computer analysis of images and patterns - Volume Part II
A linear solution of subset sum problem by using membrane creation
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
A study of the robustness of the EGFR signalling cascade using continuous membrane systems
IWINAC'05 Proceedings of the First international conference on Mechanisms, Symbols, and Models Underlying Cognition: interplay between natural and artificial computation - Volume Part I
MP systems approaches to biochemical dynamics: biological rhythms and oscillations
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a characterization of p systems with minimal symport/antiport and two membranes
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P finite automata and regular languages over countably infinite alphabets
WMC'06 Proceedings of the 7th international conference on Membrane Computing
P systems with symport/antiport and time
WMC'06 Proceedings of the 7th international conference on Membrane Computing
Computational completeness of tissue p systems with conditional uniport
WMC'06 Proceedings of the 7th international conference on Membrane Computing
On the power of bio-turing machines
UC'06 Proceedings of the 5th international conference on Unconventional Computation
Counting time in computing with cells
DNA'05 Proceedings of the 11th international conference on DNA Computing
On bounded symport/antiport P systems
DNA'05 Proceedings of the 11th international conference on DNA Computing
UC'05 Proceedings of the 4th international conference on Unconventional Computation
On sequential and 1-deterministic p systems
COCOON'05 Proceedings of the 11th annual international conference on Computing and Combinatorics
Computational power of symport/antiport: history, advances, and open problems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Some recent results concerning deterministic p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Symbol/Membrane complexity of p systems with symport/antiport rules
WMC'05 Proceedings of the 6th international conference on Membrane Computing
P systems, petri nets, and program machines
WMC'05 Proceedings of the 6th international conference on Membrane Computing
On symport/antiport p systems and semilinear sets
WMC'05 Proceedings of the 6th international conference on Membrane Computing
P systems, a new computational modelling tool for systems biology
Transactions on Computational Systems Biology VI
Tissue p systems with antiport rules and small numbers of symbols and cells
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
P systems: some recent results and research problems
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
Communicative p systems with minimal cooperation
WMC'04 Proceedings of the 5th international conference on Membrane Computing
On two-dimensional mesh networks and their simulation with p systems
WMC'04 Proceedings of the 5th international conference on Membrane Computing
P systems with symport/antiport: the traces of RBCs
WMC'04 Proceedings of the 5th international conference on Membrane Computing
On the size of p systems with minimal symport/antiport
WMC'04 Proceedings of the 5th international conference on Membrane Computing
On the computational complexity of P automata
DNA'04 Proceedings of the 10th international conference on DNA computing
Tissue p systems with minimal symport/antiport
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
P systems with proteins on membranes and membrane division
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
P automata: concepts, results, and new aspects
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Transition and halting modes in (tissue) p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Conformon p systems and topology of information flow
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A look back at some early results in membrane computing
WMC'09 Proceedings of the 10th international conference on Membrane Computing
WMC'09 Proceedings of the 10th international conference on Membrane Computing
Characterizing tractability by tissue-like p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
A region-oriented hardware implementation for membrane computing applications
WMC'09 Proceedings of the 10th international conference on Membrane Computing
On the power of computing with proteins on membranes
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
Properties of membrane systems
CMC'11 Proceedings of the 12th international conference on Membrane Computing
On Restricted Bio-Turing Machines
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions
Fundamenta Informaticae - Machines, Computations and Universality, Part I
P and dp automata: unconventional versus classical automata
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
P Systems with Transport and Diffusion Membrane Channels
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
P Systems with Proteins on Membranes
Fundamenta Informaticae
On the Branching Complexity of P Systems
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
On the Computational Power of 1-Deterministic and Sequential P Systems
Fundamenta Informaticae - SPECIAL ISSUE ON TRAJECTORIES OF LANGUAGE THEORY Dedicated to the memory of Alexandru Mateescu
Time and Synchronization in Membrane Systems
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Symport/Antiport P Systems with Three Objects Are Universal
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Membrane Systems with Coupled Transport: Universality and Normal Forms
Fundamenta Informaticae - Membrane Computing (WMC-CdeA2001)
Tissue p systems with cell separation: upper bound by PSPACE
TPNC'12 Proceedings of the First international conference on Theory and Practice of Natural Computing
P systems for traffic flow simulation
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
The efficiency of tissue p systems with cell separation relies on the environment
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Limits of the power of tissue p systems with cell division
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Bridging Membrane and Reaction Systems --Further Results and Research Topics
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Hi-index | 0.01 |
In the attempt to have a framework where the computation is done by communication only, we consider the biological phenomenon of trans-membrane transport of couples of chemicals (one say symport when two chemicals pass together through a membrane, in the same direction, and antiport when two chemicals pass simultaneously through a membrane, in opposite directions). Surprisingly enough, membrane systems without changing (evolving) the used objects and with the communication based on rules of this type are computationally complete, and this result is achieved even for pairs of communicated objects (as encountered in biology). Five membranes are used; the number of membranes is reduced to two if more than two chemicals may collaborate when passing through membranes.