Skip to main content
SpringerLink
Log in
Book cover

Membrane Computing

6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Rudolf Freund

    1. Faculty of Informatics, Vienna University of Technology, Vienna, Austria

    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, Bucureşti, 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

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

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

Included in the following conference series:

Conference proceedings info: WMC 2005.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Lectures

    1. Computational Power of Symport/Antiport: History, Advances, and Open Problems

      • Artiom Alhazov, Rudolf Freund, Yurii Rogozhin
      Pages 1-30

    2. Structural Operational Semantics of P Systems

      • Oana Andrei, Gabriel Ciobanu, Dorel Lucanu
      Pages 31-48

    3. Some Recent Results Concerning Deterministic P Systems

      • Oscar H. Ibarra
      Pages 49-54

    4. Membrane Algorithms

      • Taishin Y. Nishida
      Pages 55-66

    5. On Evolutionary Lineages of Membrane Systems

      • Petr Sosík, Ondřej Valík
      Pages 67-78

  3. Regular Presentations

    1. Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness

      • Artiom Alhazov
      Pages 79-95

    2. Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules

      • Artiom Alhazov, Rudolf Freund, Marion Oswald
      Pages 96-113

    3. On P Systems as a Modelling Tool for Biological Systems

      • Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Ravie C. Muniyandi, Mario J. Pérez-Jímenez, Francisco José Romero-Campero
      Pages 114-133

    4. Encoding-Decoding Transitional Systems for Classes of P Systems

      • Luca Bianco, Vincenzo Manca
      Pages 134-143

    5. On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism

      • Nadia Busi
      Pages 144-158

    6. A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment

      • Guido Casiraghi, Claudio Ferretti, Alberto Gallini, Giancarlo Mauri
      Pages 159-164

    7. P Systems with Memory

      • Paolo Cazzaniga, Alberto Leporati, Giancarlo Mauri, Claudio Zandron
      Pages 165-180

    8. Algebraic and Coalgebraic Aspects of Membrane Computing

      • Gabriel Ciobanu, Viorel Mihai Gontineac
      Pages 181-198

    9. P Systems and the Modeling of Biochemical Oscillations

      • Federico Fontana, Luca Bianco, Vincenzo Manca
      Pages 199-208

    10. P Systems, Petri Nets, and Program Machines

      • Pierluigi Frisco
      Pages 209-223

    11. On the Power of Dissolution in P Systems with Active Membranes

      • Miguel A. Gutiérrez–Naranjo, Mario J. Pérez–Jiménez, Agustín Riscos–Núñez, Francisco J. Romero–Campero
      Pages 224-240

    12. A Linear Solution for QSAT with Membrane Creation

      • Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Francisco J. Romero-Campero
      Pages 241-252

    13. On Symport/Antiport P Systems and Semilinear Sets

      • Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang
      Pages 253-271

    14. Boolean Circuits and a DNA Algorithm in Membrane Computing

      • Mihai Ionescu, Tseren-Onolt Ishdorj
      Pages 272-291
Back to top

Other volumes

  1. Membrane Computing

Keywords

Editors and Affiliations

  • Faculty of Informatics, Vienna University of Technology, Vienna, Austria

    Rudolf Freund

  • Institute of Mathematics of the Romanian Academy, Bucureşti, 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation