Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInt. Conf. on Membrane Computing 2011: Fontainebleau, France
- Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan:
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 N. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 20:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
