Int. Conf. on Membrane Computing 2011: Fontainebleau, France
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. Springer 2012 Lecture Notes in Computer Science 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203403 by the dblp team