Membrane Computing

1. Front Matter

   Pages I-XVI

   PDF

2. Invited Papers

   1. Front Matter

      Pages 1-1

      PDF

   2. Impacts of Membrane Computing on Theoretical Computer Science (Extended Abstract)

      • Erzsébet Csuhaj-Varjú

      Pages 3-9

   3. Time and Space Complexity of P Systems — And Why They Matter

      • Alberto Leporati

      Pages 10-22

   4. A Brute-Force Solution to the 27-Queens Puzzle Using a Distributed Computation

      • Thomas Preußer

      Pages 23-29

3. Regular Papers

   1. Front Matter

      Pages 31-31

      PDF

   2. Tissue P Systems with Point Mutation Rules

      • Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan

      Pages 33-56

   3. Adaptive P Systems

      • Bogdan Aman, Gabriel Ciobanu

      Pages 57-72

   4. Chain Code P System Generating a Variant of the Peano Space-Filling Curve

      • Rodica Ceterchi, Atulya K. Nagar, K. G. Subramanian

      Pages 73-83

   5. APCol Systems with Agent Creation

      • Lucie Ciencialová

      Pages 84-94

   6. APCol Systems with Verifier Agents

      • Lucie Ciencialová, Erzsébet Csuhaj-Varjú, György Vaszil, Ludek Cienciala

      Pages 95-107

   7. A Semantic Investigation of Spiking Neural P Systems

      • Gabriel Ciobanu, Eneia Nicolae Todoran

      Pages 108-130

   8. Towards Automated Analysis of Belousov-Zhabotinsky Reactions in a Petri Dish by Membrane Computing Using Optic Flow

      • Benjamin Förster, Thomas Hinze

      Pages 131-141

   9. Testing Identifiable Kernel P Systems Using an X-Machine Approach

      • Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea

      Pages 142-159

   10. Actor-Like cP Systems

       • Alec Henderson, Radu Nicolescu

       Pages 160-187

   11. Solving QSAT in Sublinear Depth

       • Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron

       Pages 188-201

   12. Design of Specific P Systems Simulators on GPUs

       • Miguel Á. Martínez-del-Amor, David Orellana-Martín, Ignacio Pérez-Hurtado, Luis Valencia-Cabrera, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez

       Pages 202-207

   13. Construction of Stable and Lightweight Technical Structures Inspired by Ossification of Bones Using Osteogenetic P Systems

       • Alexander Melcher, Ilija Vukorep, Thomas Hinze

       Pages 208-228

   14. On Small Universality of Spiking Neural P Systems with Multiple Channels

       • Xiaoxiao Song, Hong Peng, Jun Wang, Guimin Ning, Tao Wang, Zhang Sun et al.

       Pages 229-245

   15. Modeling Plant Development with M Systems

       • Petr Sosík, Vladimír Smolka, Jaroslav Bradík, Max Garzon

       Pages 246-257

This book constitutes revised selected papers from the 19th International Conference on Membrane Computing (CMC19), CMC 2018, which was held in Dresden, Germany, in September 2018. The 15 papers presented in this volume were carefully reviewed and selected from 20 submissions. The contributions aim to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures.

• artificial intelligence
• automata and languages
• complexity
• computability
• computer programming
• distributed computer systems
• membrane computing
• model checking
• NP-completeness
• parallel algorithms
• parallel architectures
• parallel processing systems
• problem solving
• semantics
• simulation
• software engineering
• specifications
• systems biology
• Turing completeness

• Friedrich Schiller University Jena, Jena, Germany

  Thomas Hinze

• Leiden Centre of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

  Grzegorz Rozenberg

• Turku Center for Computer Science (TUCS), Turku, Finland

  Arto Salomaa

• Informatics, Systems and Communication, University of Milano-Bicocca, Milan, Italy

  Claudio Zandron

Policies and ethics