Workshop on Membrane Computing 2005: Vienna, Austria

Invited Lectures

• Artiom Alhazov, Rudolf Freund, Yurii Rogozhin:
  Computational Power of Symport/Antiport: History, Advances, and Open Problems. 1-30
  
• Oana Andrei, Gabriel Ciobanu, Dorel Lucanu:
  Structural Operational Semantics of P Systems. 31-48
  
• Oscar H. Ibarra:
  Some Recent Results Concerning Deterministic P Systems. 49-54
  
• Taishin Y. Nishida:
  Membrane Algorithms. 55-66
  
• Petr Sosík, Ondrej Valík:
  On Evolutionary Lineages of Membrane Systems. 67-78
  

Regular Presentations

• Artiom Alhazov:
  Number of Protons/Bi-stable Catalysts and Membranes in P Systems. Time-Freeness. 79-95
  
• Artiom Alhazov, Rudolf Freund, Marion Oswald:
  Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules. 96-113
  
• Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Ravie C. Muniyandi, Mario J. Pérez-Jiménez, Francisco José Romero-Campero:
  On P Systems as a Modelling Tool for Biological Systems. 114-133
  
• Luca Bianco, Vincenzo Manca:
  Encoding-Decoding Transitional Systems for Classes of P Systems. 134-143
  
• Nadia Busi:
  On the Computational Power of the Mate/Bud/Drip Brane Calculus: Interleaving vs. Maximal Parallelism. 144-158
  
• Guido Casiraghi, Claudio Ferretti, Alberto Gallini, Giancarlo Mauri:
  A Membrane Computing System Mapped on an Asynchronous, Distributed Computational Environment. 159-164
  
• Paolo Cazzaniga, Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
  P Systems with Memory. 165-180
  
• Gabriel Ciobanu, Viorel Mihai Gontineac:
  Algebraic and Coalgebraic Aspects of Membrane Computing. 181-198
  
• Federico Fontana, Luca Bianco, Vincenzo Manca:
  P Systems and the Modeling of Biochemical Oscillations. 199-208
  
• Pierluigi Frisco:
  P Systems, Petri Nets, and Program Machines. 209-223
  
• Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero:
  On the Power of Dissolution in P Systems with Active Membranes. 224-240
  
• Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Francisco José Romero-Campero:
  A Linear Solution for QSAT with Membrane Creation. 241-252
  
• Oscar H. Ibarra, Sara Woodworth, Hsu-Chun Yen, Zhe Dang:
  On Symport/Antiport P Systems and Semilinear Sets. 253-271
  
• Mihai Ionescu, Tseren-Onolt Ishdorj:
  Boolean Circuits and a DNA Algorithm in Membrane Computing. 272-291
  
• Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg:
  Towards a Petri Net Semantics for Membrane Systems. 292-309
  
• Alberto Leporati, Giancarlo Mauri, Claudio Zandron:
  Quantum Sequential P Systems with Unit Rules and Energy Assigned to Membranes. 310-325
  
• Damián López, José M. Sempere:
  Editing Distances Between Membrane Structures. 326-341
  
• Adam Obtulowicz:
  Relational Membrane Systems. 342-355
  
• Yurii Rogozhin, Sergey Verlan:
  On the Rule Complexity of Universal Tissue P Systems. 356-362
  
• Dragos Sburlan:
  Non-cooperative P Systems with Priorities Characterize PsET0L. 363-370