© 2019

Membrane Computing

19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers

  • Thomas Hinze
  • Grzegorz Rozenberg
  • Arto Salomaa
  • Claudio Zandron
Conference proceedings CMC 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11399)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11399)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Invited Papers

  3. Regular Papers

    1. Front Matter
      Pages 31-31
    2. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov, Sergey Verlan
      Pages 33-56
    3. Bogdan Aman, Gabriel Ciobanu
      Pages 57-72
    4. Rodica Ceterchi, Atulya K. Nagar, K. G. Subramanian
      Pages 73-83
    5. Lucie Ciencialová
      Pages 84-94
    6. Lucie Ciencialová, Erzsébet Csuhaj-Varjú, György Vaszil, Ludek Cienciala
      Pages 95-107
    7. Gabriel Ciobanu, Eneia Nicolae Todoran
      Pages 108-130
    8. Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ana Turlea
      Pages 142-159
    9. Alec Henderson, Radu Nicolescu
      Pages 160-187
    10. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
      Pages 188-201
    11. 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
    12. Xiaoxiao Song, Hong Peng, Jun Wang, Guimin Ning, Tao Wang, Zhang Sun et al.
      Pages 229-245
    13. Petr Sosík, Vladimír Smolka, Jaroslav Bradík, Max Garzon
      Pages 246-257

About these proceedings


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

Editors and affiliations

  • Thomas Hinze
    • 1
  • Grzegorz Rozenberg
    • 2
  • Arto Salomaa
    • 3
  • Claudio Zandron
    • 4
  1. 1.Friedrich Schiller University JenaJenaGermany
  2. 2.Leiden Centre of Advanced Computer Science (LIACS)Leiden UniversityLeidenThe Netherlands
  3. 3.Turku Center for Computer Science (TUCS)TurkuFinland
  4. 4.Informatics, Systems and CommunicationUniversity of Milano-BicoccaMilanItaly

Bibliographic information