Skip to main content
SpringerLink
Log in
Book cover

Membrane Computing

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

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Marian Gheorghe

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Thomas Hinze

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gheorghe Păun

    1. Institute of Mathematics of the Romanian Academy, Bucureşti, Romania

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Grzegorz Rozenberg

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

  • 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)

Included in the following conference series:

Conference proceedings info: CMC 2010.

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 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 (29 papers)

  1. Front Matter

    Download chapter PDF

  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

  4. 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. Computationally Complete Spiking Neural P Systems without Delay: Two Types of Neurons Are Enough

      • Rudolf Freund, Marian Kogler
      Pages 198-207

    11. P Systems and Unique-Sum Sets

      • Pierluigi Frisco
      Pages 208-225

    12. An Integrated Approach to P Systems Formal Verification

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

    13. Using the SRSim Software for Spatial and Rule-Based Modeling of Combinatorially Complex Biochemical Reaction Systems

      • Gerd Grünert, Peter Dittrich
      Pages 240-256
Back to top

Other volumes

  1. Membrane Computing

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation