Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan (Eds.):
Membrane Computing - 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers.
Lecture Notes in Computer Science 7184 Springer 2012, ISBN 978-3-642-28023-8 
Invited Presentations
- Artiom Alhazov:
Properties of Membrane Systems.
1-13
- Jacob Beal:
Bridging Biology and Engineering Together with Spatial Computing.
14-18
- Jean-Louis Giavitto:
The Modeling and the Simulation of the Fluid Machines of Synthetic Biology.
19-34
- Radu Nicolescu:
Parallel and Distributed Algorithms in P Systems.
35-50
- György Vaszil:
Variants of Distributed P Automata and the Efficient Parallelizability of Languages.
51-61
Regular Presentations
- Oana Agrigoroaiei, Gabriel Ciobanu:
Quantitative Causality in Membrane Systems.
62-72
- Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin:
Circular Post Machines and P Systems with Exo-insertion and Deletion.
73-86
- Francis George Cabarle, Henry Adorna, Miguel A. Martínez-del-Amor:
A Spiking Neural P System Simulator Based on CUDA.
87-103
- Ludek Cienciala, Lucie Ciencialová, Miroslav Langer:
Modularity in P Colonies with Checking Rules.
104-119
- Erzsébet Csuhaj-Varjú, György Vaszil:
Finite dP Automata versus Multi-head Finite Automata.
120-138
- Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu:
An Adaptive Algorithm for P System Synchronization.
139-164
- Pierluigi Frisco, Gordon Govan:
P Systems with Active Membranes Operating under Minimal Parallelism.
165-181
- Thomas Hinze, Christian Bodenstein, Benedict Schau, Ines Heiland, Stefan Schuster:
Chemical Analog Computers for Clock Frequency Control Based on P Modules.
182-202
- Xiaoli Huang, Gexiang Zhang, Haina Rong, Florentin Ipate:
Evolutionary Design of a Simple Membrane System.
203-214
- Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose:
Formal Verification of P Systems with Active Membranes through Model Checking.
215-225
- Sergiu Ivanov:
Basic Concurrency Resolution in Clock-Free P Systems.
226-242
- Linqiang Pan, Jun Wang, Hendrik Jan Hoogeboom:
Asynchronous Extended Spiking Neural P Systems with Astrocytes.
243-256
- Luis F. Macías-Ramos, Ignacio Pérez-Hurtado, Manuel García-Quismondo, Luis Valencia-Cabrera, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
A P-Lingua Based Simulator for Spiking Neural P Systems.
257-281
- Vincenzo Manca, Rosario Lombardo:
Computing with Multi-membranes.
282-299
- Luca Marchetti, Vincenzo Manca:
A Methodology Based on MP Theory for Gene Expression Analysis.
300-313
- Adam Obtulowicz:
Generalized Gandy-Păun-Rozenberg Machines for Tile Systems and Cellular Automata.
314-332
- Andrei Paun, Manuela Sidoroff:
Sequentiality Induced by Spike Number in SNP Systems: Small Universal Machines.
333-345
- Antonio E. Porreca, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
P Systems Simulating Oracle Computations.
346-358
- Dragos Sburlan:
P Systems with Chained Rules.
359-370
Last update Fri May 25 08:26:20 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
