Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2012

Membrane Computing

12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

Editors:

  1. Marian Gheorghe

    1. Dept. of Computer Science, University of Sheffield, Sheffield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gheorghe Păun

    1. Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Arto Salomaa

    1. Turku Centre for Computer Science (TUCS), Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Sergey Verlan

    1. Faculté des Sciences et Technologie, Laboratoire d’Algorithmique, Complexité et Logique (LACL), Université Paris Est – Créteil Val de Marne, Créteil, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

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 2011.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as 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 (24 papers)

  1. Front Matter

    PDF

  3. Regular Presentations

    1. Quantitative Causality in Membrane Systems

      • Oana Agrigoroaiei, Gabriel Ciobanu
      Pages 62-72

    2. Circular Post Machines and P Systems with Exo-insertion and Deletion

      • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin
      Pages 73-86

    3. A Spiking Neural P System Simulator Based on CUDA

      • Francis George C. Cabarle, Henry Adorna, Miguel A. Martínez
      Pages 87-103

    4. Modularity in P Colonies with Checking Rules

      • Luděk Cienciala, Lucie Ciencialová, Miroslav Langer
      Pages 104-119

    5. Finite dP Automata versus Multi-head Finite Automata

      • Erzsébet Csuhaj-Varjú, György Vaszil
      Pages 120-138

    6. An Adaptive Algorithm for P System Synchronization

      • Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
      Pages 139-164

    7. P Systems with Active Membranes Operating under Minimal Parallelism

      • Pierluigi Frisco, Gordon Govan
      Pages 165-181

    8. Chemical Analog Computers for Clock Frequency Control Based on P Modules

      • Thomas Hinze, Christian Bodenstein, Benedict Schau, Ines Heiland, Stefan Schuster
      Pages 182-202

    9. Evolutionary Design of a Simple Membrane System

      • Xiaoli Huang, Gexiang Zhang, Haina Rong, Florentin Ipate
      Pages 203-214

    10. Formal Verification of P Systems with Active Membranes through Model Checking

      • Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose
      Pages 215-225

    12. Asynchronous Extended Spiking Neural P Systems with Astrocytes

      • Linqiang Pan, Jun Wang, Hendrik Jan Hoogeboom
      Pages 243-256

    13. A P–Lingua Based Simulator for Spiking Neural P Systems

      • Luis F. Macías–Ramos, Ignacio Pérez–Hurtado, Manuel García–Quismondo, Luis Valencia–Cabrera, Mario J. Pérez–Jiménez, Agustín Riscos–Núñez
      Pages 257-281

    14. Computing with Multi-membranes

      • Vincenzo Manca, Rosario Lombardo
      Pages 282-299
Back to top

Other Volumes

  1. Membrane Computing

Back to top

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters presented at the conference. The book also contains full papers or extended abstracts of the 5 invited presentations. The papers address all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Dept. of Computer Science, University of Sheffield, Sheffield, UK

    Marian Gheorghe

  • Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    Gheorghe Păun

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

    Grzegorz Rozenberg

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

    Arto Salomaa

  • Faculté des Sciences et Technologie, Laboratoire d’Algorithmique, Complexité et Logique (LACL), Université Paris Est – Créteil Val de Marne, Créteil, France

    Sergey Verlan

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as 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

Search

Navigation