Skip to main content
  • Conference proceedings
  • © 2011

Membrane Computing

11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

  • unique visibility, state-of-the-art survey,

  • fast-track conference proceedings

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

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

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-18123-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (29 papers)

  1. Front Matter

  2. Keynote Presentations

    1. Membrane Computing at Twelve Years

      • Gheorghe Păun
      Pages 1-2
    2. Testing Based on P Systems – An Overview

      • Marian Gheorghe, Florentin Ipate
      Pages 3-6
  3. Regular Presentations

    1. Flattening the Transition P Systems with Dissolution

      • Oana Agrigoroaiei, Gabriel Ciobanu
      Pages 53-64
    2. The Family of Languages Generated by Non-cooperative Membrane Systems

      • Artiom Alhazov, Constantin Ciubotaru, Sergiu Ivanov, Yurii Rogozhin
      Pages 65-80
    3. Polymorphic P Systems

      • Artiom Alhazov, Sergiu Ivanov, Yurii Rogozhin
      Pages 81-94
    4. A Small Universal Splicing P System

      • Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
      Pages 95-102
    5. Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings

      • Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
      Pages 103-118
    6. BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems

      • Daniela Besozzi, Paolo Cazzaniga, Giancarlo Mauri, Dario Pescini
      Pages 119-143
    7. Modeling Population Growth of Pyrenean Chamois (Rupicapra p. pyrenaica) by Using P-Systems

      • Maria Angels Colomer, Santiago Lavín, Ignasi Marco, Antoni Margalida, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez et al.
      Pages 144-159
    8. On Generalized Communicating P Systems with One Symbol

      • Erzsébet Csuhaj-Varjú, György Vaszil, Sergey Verlan
      Pages 160-174
    9. A Faster P Solution for the Byzantine Agreement Problem

      • Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
      Pages 175-197
    10. P Systems and Unique-Sum Sets

      • Pierluigi Frisco
      Pages 208-225
    11. An Integrated Approach to P Systems Formal Verification

      • Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir
      Pages 226-239

Other Volumes

  1. Membrane Computing

    11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Membrane Computing, CMC11, held in Jena, Germany, in August 2010 - continuing the fruitful tradition of 10 previous editions of the International Workshop on Membrane Computing (WMC).

The 23 revised full papers presented together with 4 invited papers and the abstracts of 2 keynote lectures were carefully reviewed and selected from numerous submissions. The papers address in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based and bioinspired implementations.

Keywords

  • Petri nets
  • alternating turing machine
  • bioinformatics
  • biological membrane systems
  • cellular automata
  • complexity theory
  • computational power
  • distributed systems
  • formal languages
  • membrane algorithms
  • membrane computing
  • membrane systems
  • modeling
  • molecular computing
  • natural computing
  • simulation
  • systems biology

Editors and Affiliations

  • Department of Computer Science, University of Sheffield, Sheffield, UK

    Marian Gheorghe

  • Department of Bioinformatics, School of Biology and Pharmacy, Friedrich Schiller University, Jena, Germany

    Thomas Hinze

  • Institute of Mathematics of the Romanian Academy, Bucureşti, Romania

    Gheorghe Păun

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

    Grzegorz Rozenberg

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

    Arto Salomaa

Bibliographic Information

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-18123-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 109.00
Price excludes VAT (USA)