Skip to main content
SpringerLink
Log in
Book cover

Membrane Computing

17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Alberto Leporati

    1. University of Milano-Bicocca , Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grzegorz Rozenberg

    1. Leiden University , Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Arto Salomaa

    1. Turku Center for Computer Science , Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Claudio Zandron

    1. University of Milan-Bicocca , Milan, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CMC 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Evolutionary Resilience of Distributed Cellular Computing

      • Matteo Cavaliere, Alvaro Sanchez
      Pages 3-15

    3. Coping with Dynamical Structures for Interdisciplinary Applications of Membrane Computing

      • Thomas Hinze
      Pages 16-27

    4. Applications of P Systems in Population Biology and Ecology: The Cases of MPP and APP Systems

      • Roberto Barbuti, Pasquale Bove, Paolo Milazzo, Giovanni Pardini
      Pages 28-48

  3. Regular Papers

    1. Front Matter

      Pages 49-49
      Download chapter PDF

    2. Simulating R Systems by P Systems

      • Artiom Alhazov, Bogdan Aman, Rudolf Freund, Sergiu Ivanov
      Pages 51-66

    3. Purely Catalytic P Systems over Integers and Their Generative Power

      • Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca, Claudio Zandron
      Pages 67-82

    4. P Systems Working in Maximal Variants of the Set Derivation Mode

      • Artiom Alhazov, Rudolf Freund, Sergey Verlan
      Pages 83-102

    5. Computational Power of Protein Networks

      • Bogdan Aman, Gabriel Ciobanu
      Pages 103-118

    6. Comparative Analysis of Statistical Model Checking Tools

      • Mehmet Emin Bakir, Marian Gheorghe, Savas Konur, Mike Stannett
      Pages 119-135

    7. Chemical Term Reduction with Active P Systems

      • Péter Battyányi, György Vaszil
      Pages 136-150

    8. P Colonies with Evolving Environment

      • Lucie Ciencialová, LudÄ›k Cienciala, Petr Sosík
      Pages 151-164

    9. Continuation Passing Semantics for Membrane Systems

      • Gabriel Ciobanu, Eneia Nicolae Todoran
      Pages 165-176

    10. Minimal Multiset Grammars for Recurrent Dynamics

      • Alessandro Farinelli, Giuditta Franco, Romeo Rizzi
      Pages 177-189

    11. Solution to Motif Finding Problem in Membranes

      • Katrina B. Gapuz, Ephraim D. Mendoza, Richelle Ann B. Juayong, Nestine Hope S. Hernandez, Francis George C. Cabarle, Henry N. Adorna
      Pages 190-208

    12. Remarks on the Computational Power of Some Restricted Variants of P Systems with Active Membranes

      • Zsolt Gazdag, Gábor Kolonits
      Pages 209-232

    13. Kernel P Systems Modelling, Testing and Verification - Sorting Case Study

      • Marian Gheorghe, Rodica Ceterchi, Florentin Ipate, Savas Konur
      Pages 233-250

    14. Walking Membranes: Grid-Exploring P Systems with Artificial Evolution for Multi-purpose Topological Optimisation of Cascaded Processes

      • Thomas Hinze, Lea Louise Weber, Uwe Hatnik
      Pages 251-271

    15. Array-Rewriting P Systems with Basic Puzzle Grammar Rules and Permitting Features

      • Pradeep Isawasan, Ravie Chandren Muniyandi, Ibrahim Venkat, K. G. Subramanian
      Pages 272-285
Back to top

Other volumes

  1. Membrane Computing

Keywords

About this book

This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017, held in Milan, Italy, in July 2016.

The 19 full papers presented in this volume were carefully reviewed and selected from 28 submissions. They deal with membrane computing (P systems theory), an area of copmputer science aiming 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. The volume also contains 3 invited talks in full-paper length. 

Editors and Affiliations

  • University of Milano-Bicocca , Milan, Italy

    Alberto Leporati

  • Leiden University , Leiden, The Netherlands

    Grzegorz Rozenberg

  • Turku Center for Computer Science , Turku, Finland

    Arto Salomaa

  • University of Milan-Bicocca , Milan, Italy

    Claudio Zandron

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation