Skip to main content
  • Conference proceedings
  • © 2015

Membrane Computing

16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

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

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

Conference series link(s): CMC: International Conference on Membrane Computing

Conference proceedings info: CMC 2015.

Buy it now

Buying options

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

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

Table of contents (25 papers)

  1. Front Matter

    Pages I-XI
  2. Invited Papers

    1. Front Matter

      Pages 1-1
    2. Information Theory in Genome Analysis

      • Vincenzo Manca
      Pages 3-18
    3. Towards a Theory of Life

      • Andrés Moya
      Pages 19-24
    4. An Excursion Through Quantitative Model Refinement

      • Sepinoud Azimi, Eugen Czeizler, Cristian Gratie, Diana Gratie, Bogdan Iancu, Nebiat Ibssa et al.
      Pages 25-47
  3. Regular Papers

    1. Front Matter

      Pages 49-49
    2. Polarizationless P Systems with One Active Membrane

      • Artiom Alhazov, Rudolf Freund
      Pages 51-62
    3. Bridging Deterministic P Systems and Conditional Grammars

      • Artiom Alhazov, Rudolf Freund, Sergey Verlan
      Pages 63-76
    4. Automated Verification of Stochastic Spiking Neural P Systems

      • Bogdan Aman, Gabriel Ciobanu
      Pages 77-91
    5. Dynamically Changing Environment for Generalized Communicating P Systems

      • Ákos Balaskó, Erzsébet Csuhaj-Varjú, György Vaszil
      Pages 92-105
    6. Spiking Neural P Systems with Structural Plasticity: Attacking the Subset Sum Problem

      • Francis George C. Cabarle, Nestine Hope S. Hernandez, Miguel Ángel Martínez-del-Amor
      Pages 106-116
    7. P Systems with Generalized Multisets Over Totally Ordered Abelian Groups

      • Rudolf Freund, Sergiu Ivanov, Sergey Verlan
      Pages 117-136
    8. On the Power of Catalytic P Systems with One Catalyst

      • Rudolf Freund, Petr Sosík
      Pages 137-152
    9. An Integrated Model Checking Toolset for Kernel P Systems

      • Marian Gheorghe, Savas Konur, Florentin Ipate, Laurentiu Mierla, Mehmet E. Bakir, Mike Stannett
      Pages 153-170
    10. A New Strategy to Improve the Performance of PDP-Systems Simulators

      • Carmen Graciani, Miguel A. Martínez-del-Amor, Agustín Riscos-Núñez
      Pages 171-184
    11. Automatic Translation of MP\(^{+}\)V Systems to Register Machines

      • Ricardo Henrique Gracini Guiraldelli, Vincenzo Manca
      Pages 185-199
    12. On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP Systems

      • Nestine Hope S. Hernandez, Richelle Ann B. Juayong, Sherlyne L. Francia, Denise Alyssa A. Francisco, Henry N. Adorna
      Pages 200-214
    13. Membrane Computing Meets Temperature: A Thermoreceptor Model as Molecular Slide Rule with Evolutionary Potential

      • Thomas Hinze, Korcan Kirkici, Patricia Sauer, Peter Sauer, Jörn Behre
      Pages 215-235
    14. Tissue P Systems Can be Simulated Efficiently with Counting Oracles

      • Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
      Pages 251-261

Other Volumes

  1. Membrane Computing

About this book

This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015.
The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The volume also contains 3 invited talks in full-paper length. 

Editors and Affiliations

  • LIACS, Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Turku Center for Computer Science, Turku, Finland

    Arto Salomaa

  • Universidad Politécnica de Valencia, Valencia, Spain

    José M. Sempere

  • University of Milan-Bicocca, Milano, Italy

    Claudio Zandron

Bibliographic Information

Buy it now

Buying options

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