Workshop on Membrane Computing 2007: Thessaloniki, Greece

Invited Lectures

• Luca Bianco, Alberto Castellini:
  Psim: A Computational Platform for Metabolic P Systems. 1-20
  
• Pierluigi Frisco, David W. Corne:
  Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata. 21-31
  
• Alberto Leporati:
  (UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power. 32-53
  
• Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
  The Calculus of Looping Sequences for Modeling Biological Membranes. 54-76
  
• Mihaela Malita, Gheorghe Stefan:
  Membrane Computing in Connex Environment. 77-96
  

Regular Papers

• Artiom Alhazov, Yurii Rogozhin:
  Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes. 97-112
  
• Bogdan Aman, Gabriel Ciobanu:
  On the Reachability Problem in P Systems with Mobile Membranes. 113-123
  
• Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello:
  Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets. 124-137
  
• Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw:
  A Hybrid Approach to Modeling Biological Systems. 138-159
  
• Nadia Busi:
  Causality in Membrane Systems. 160-171
  
• Rodica Ceterchi, Mario J. Pérez-Jiménez, Alexandru Ioan Tomescu:
  Simulating the Bitonic Sort Using P Systems. 172-192
  
• Ludek Cienciala, Lucie Ciencialová, Alica Kelemenová:
  On the Number of Agents in P Colonies. 193-208
  
• Gabriel Ciobanu, Dorel Lucanu:
  Events, Causality, and Concurrency in Membrane Systems. 209-227
  
• Erzsébet Csuhaj-Varjú, György Vaszil:
  P Systems with String Objects and with Communication by Request. 228-239
  
• Giorgio Delzanno, Laurent Van Begin:
  On the Dynamics of PB Systems with Volatile Membranes. 240-256
  
• Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez:
  A Logarithmic Bound for Solving Subset Sum with P Systems. 257-270
  
• Rudolf Freund, Sergey Verlan:
  A Formal Framework for Static (Tissue) P Systems. 271-284
  
• Pierluigi Frisco:
  Conformon-P Systems with Negative Values. 285-297
  
• Jorge A. Tejedor, Abraham Gutierrez, Luis Fernández, Fernando Arroyo, Ginés Bravo, Sandra Gómez:
  Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation. 298-319
  
• Thomas Hinze, Sikander Hayat, Thorsten Lenser, Naoki Matsumaru, Peter Dittrich:
  Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo. 320-335
  
• Alberto Leporati, Claudio Zandron, Claudio Ferretti, Giancarlo Mauri:
  Solving Numerical NP-Complete Problems with Spiking Neural P Systems. 336-352
  
• Tommaso Mazza:
  Towards a Complete Covering of SBML Functionalities. 353-366
  
• Niall Murphy, Damien Woods:
  Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P. 367-384
  
• Van Nguyen, David Kearney, Gianpaolo Gioiosa:
  Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications. 385-413
  
• Andrei Paun, Alfonso Rodríguez-Patón:
  On Flip-Flop Membrane Systems with Proteins. 414-427
  
• José M. Sempere, Damián López:
  Characterizing Membrane Structures Through Multiset Tree Automata. 428-437
  
• Ioanna Stamatopoulou, Petros Kefalas, Marian Gheorghe:
  OPERAS_CC: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems. 438-452
  

Last update Fri May 24 19:36:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page