%
% P Systems Bibliography - P-InProceedings
% Updated June 24, 2009 (10:01:24)
%
% http://ppage.psystems.eu
%
@inproceedings{Paun:2008c,
author = {Gheorghe P\u{a}un},
title = {An introduction to {MC}, after 10 years, by means of a
(partial) glossary},
booktitle = {Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi},
editor = {Gabriel Ciobanu},
pages = {1-9},
year = {2008},
venue = {Ia\c{s}i, Romania},
bibdate = {04/06/09},
}
@inproceedings{Pinna.etal:2008,
author = {G. Michele Pinna and Andrea Saba},
title = {An event based semantics of P systems},
booktitle = {Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi},
editor = {Gabriel Ciobanu},
pages = {174-187},
year = {2008},
venue = {Ia\c{s}i, Romania},
bibdate = {04/06/09},
}
@inproceedings{Mazza.etal:2008,
author = {Tommaso Mazza and Matteo Cavaliere},
title = {Cell cycle and tumor growth in membrane systems with
peripheral proteins},
booktitle = {Second International Meeting on Membrane Computing
and Biologically Inspired Process Calculi},
editor = {Gabriel Ciobanu},
pages = {145-158},
year = {2008},
venue = {Ia\c{s}i, Romania},
bibdate = {04/06/09},
}
@inproceedings{Barbuti.etal:2008e,
author = {Roberto Barbuti and Andrea Maggiolo-Schettini and Paolo
Milazzo and Luca Tesei},
title = {Timed {P}~automata},
booktitle = {Second International Meeting on Membrane Computing and
Biologically Inspired Process Calculi},
editor = {Gabriel Ciobanu},
pages = {53-67},
year = {2008},
venue = {Ia\c{s}i, Romania},
bibdate = {04/06/09},
}
@inproceedings{Ipate.etal:2008,
author = {Florentin Ipate and Marian Gheorghe},
title = {Testing non-deterministic stream {X}-machine models and
{P}~systems},
booktitle = {Second International Meeting on Membrane Computing and
Biologically Inspired Process Calculi},
editor = {Gabriel Ciobanu},
pages = {117-130},
year = {2008},
venue = {Ia\c{s}i, Romania},
bibdate = {04/06/09},
}
@inproceedings{Serbanuta.etal:2009,
author = {Traian Serbanuta and Gheorghe
Stefanescu and Grigore Rosu},
title = {Defining and Executing {P}~Systems with Structured
Data in~{K}},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {374-393},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
Series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Sempere:2009,
author = {Jos{\'e} M. Sempere},
title = {Translating Multiset Tree Automata into {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Pescini.etal:2009,
author = {Dario Pescini and Paolo Cazzaniga and Claudio Ferretti and
Giancarlo Mauri},
title = {First Steps Towards a Wet Implementation for $\tau$-{DPP}},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {355-373},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Nguyen.etal:2009,
author = {Van Nguyen and David Kearney and Gianpaolo Gioiosa},
title = {An Algorithm for Non-deterministic Object Distribution in
{P}~Systems and Its Implementation in Hardware},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {325-354},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Muskulus:2009,
author = {Michael Muskulus},
title = {Applications of Page Ranking in {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {311-324},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Manca.etal:2009,
author = {Vincenzo Manca and Roberto Pagliarini and Simone Zorzan},
title = {Toward an {MP} Model of Non-Photochemical Quenching},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {299-310},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Manca:2009,
author = {Vincenzo Manca},
title = {Enumerating Membrane Structures},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {292-298},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Leporati.etal:2009,
author = {Alberto Leporati and Claudio Zandron and Giancarlo Mauri},
title = {How Redundant Is Your Universal Computation Device?},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {274-291},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Kefalas.etal:2009,
author = {Petros Kefalas and Ioanna Stamatopoulou and George
Eleftherakis and Marian Gheorghe},
title = {Transforming State-Based Models to {P}~Systems Models in
Practice},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {260-273},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Jack.etal:2009,
author = {John Jack and Andrei P\u{a}un and Alfonso Rodr{\'i}guez-Pat{\'o}n},
title = {Effects of {HIV-1} Proteins on the {F}as-Mediated Apoptotic
Signaling Cascade: A Computational Study of Latent {CD4+},
{T}~Cell Activation},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {246-259},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Hinze.etal:2009,
author = {Thomas Hinze and Raffael Fassler and Thorsten Lenser and
Naoki Matsumaru and Peter Dittrich},
title = {Event-Driven Metamorphoses of {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {231-245},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Gutierrez-Naranjo.etal:2009,
author = {Miguel A. Guti{\'e}rrez-Naranjo and Mario
J. P{\'e}rez-Jim{\'e}nez},
title = {Hebbian Learning from Spiking Neural {P}~Systems View},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {217-230},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Gheorghe.etal:2009,
author = {Marian Gheorghe and Florentin Ipate},
title = {On Testing {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {204-216},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Diaz-Pernil.etal:2009,
author = {Daniel D{\'i}az-Pernil and Ignacio P{\'e}rez-Hurtado
and Mario J. P{\'e}rez-Jim{\'e}nez Agust{\'i}n
Riscos-N{\'u}{\~n}ez},
title = {A {P}-{L}ingua Programming Environment for Membrane
Computing},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {187-203},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Frutos.etal:2009,
author = {Juan Alberto Frutos and Fernando Arroyo and Alberto Arteta},
title = {Usefulness States in New {P}~System Communication
Architectures},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {169-186},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Castellini.etal:2009,
author = {Alberto Castellini and Vincenzo Manca},
title = {{M}eta{P}lab: A Computational Framework for Metabolic
{P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {157-168},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Colomer.etal:2009,
author = {M{\'o}nica Cardona M. Angels Colomer and Mario
J. P{\'e}rez-Jim{\'e}nez and Delf{\'i} Sanuy and
Antoni Margalida},
title = {Modeling Ecosystems Using {P}~Systems: The Bearded Vulture, a
Case Study},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {137-156},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Beyreder.etal:2009,
author = {Markus Beyreder and Rudolf Freund},
title = {Membrane Systems Using Noncooperative Rules with
Unconditional Halting},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {129-136},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Alhazov.etal:2009b,
author = {Artiom Alhazov and Maurice Margenstern and Sergey Verlan},
title = {Fast Synchronization in {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {118-128},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Alhazov.etal:2009,
author = {Artiom Alhazov and Liudmila Burtseva and Svetlana Cojocaru
and Yurii Rogozhin},
title = {Solving {PP}-Complete and \#{P}-Complete Problems by
{P}~Systems with Active Membranes},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {108-117},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Agrigoroaiei.etal:2009,
author = {Oana Agrigoroaiei and Gabriel Ciobanu},
title = {Dual {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {95-107},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Abdulla.etal:2009,
author = {Parosh Aziz Abdulla and Giorgio Delzanno and Laurent Begin},
title = {On the Qualitative Analysis of Conformon {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {78-94},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Romero-Campero.etal:2009b,
author = {Francisco J. Romero-Campero and Jamie Twycross and Hongqing
Cao, Jonathan Blakes, Natalio Krasnogor},
title = {A Multiscale Modeling Framework Based on {P}~Systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {63-77},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Kirkilionis.etal:2009b,
author = {Markus Kirkilionis and Mirela Domijan and Martin Eigel and
Erwin George and Mike Li and Luca Sbano},
title = {A Definition of Cellular Interface Problems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {36-62},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Hogeweg:2009,
author = {Paulien Hogeweg},
title = {Multilevel Modeling of Morphogenesis},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {29-35},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Gilbert.etal:2009,
author = {David Gilbert and Rainer Breitling and Monika Heiner and
Robin Donaldson},
title = {An Introduction to BioModel Engineering, Illustrated for
Signal Transduction Pathways},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {13-28},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Danos.etal:2009,
author = {Vincent Danos and Jérôme Féret and Walter Fontana and Russell
Harmer and Jean Krivine},
title = {Investigation of a Biological Repair Scheme},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {1-12},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Gershoni.etal:2008,
author = {Renana Gershoni and Ehud Keinan and Gheorghe P\u{a}un and Ron
Piran and Tamar Ratner and Sivan Shoshani},
title = {Research topics arising from the (planned) {P}~systems
implementation experiment in {T}echnion},
booktitle = {Sixth Brainstorming Week on Membrane Computing},
pages = {183-192},
year = {2008},
editor = {Daniel D{\'i}az-Pernil and Carmen Graciani and Miguel Angel
Guti{\'e}rrez-Naranjo and Gheorghe P\u{a}un and Ignacio
P{\'e}rez-Hurtado and Agust{\'i}n Riscos-N{\'u}{\~n}ez},
venue = {Sevilla, Spain},
bibdate = {04/06/09},
}
@inproceedings{Frisco.etal:2008,
author = {Pierluigi Frisco and Gheorghe P\u{a}un},
title = {No cycles in compartments. Starting from conformon-{P},
systems},
booktitle = {Sixth Brainstorming Week on Membrane Computing},
pages = {157-179},
year = {2008},
editor = {Daniel D{\'i}az-Pernil and Carmen Graciani and Miguel Angel
Guti{\'e}rrez-Naranjo and Gheorghe P\u{a}un and Ignacio
P{\'e}rez-Hurtado and Agust{\'i}n Riscos-N{\'u}{\~n}ez},
venue = {Sevilla, Spain},
bibdate = {04/06/09},
}
@inproceedings{Paun.etal:2008,
author = {Gheorghe P\u{a}un and Francisco J. Romero-Campero},
title = {Membrane computing as a modeling framework. Cellular systems
case studies},
booktitle = {Formal Methods for Computational Systems Biology},
pages = {168-214},
year = {2008},
editor = {Marco Bernardo and Pierpaolo Degano and Gianluigi Zavattaro},
volume = {5016},
series = {Lecture Notes in Computer Science},
venue = {Bertinoro, Italy},
bibdate = {04/06/09},
}
@inproceedings{Stamatopoulou.etal:2008,
author = {Ioanna Stamatopoulou and Petros Kefalas and Marian Gheorghe},
title = {{OPERAS}: A Framework for the Formal Modelling of Multi-Agent
Systems and Its Application to Swarm-Based Systems},
booktitle = {Engineering Societies in the Agents World VIII: 8th
International Workshop},
pages = {158-174},
year = {2008},
editor = {Alexander Artikis and Gregory M. O'Hare and Kostas Stathis
and George Vouros},
volume = {4995},
series = {Lecture Notes In Artificial Intelligence},
venue = {Athens, Greece},
bibdate = {04/06/09},
}
@inproceedings{Romero-Campero.etal:2008c,
author = {Francisco J. Romero-Campero and Hongqing Cao and Miguel
Camara and Natalio Krasnogor},
title = {Structure and parameter estimation for cell systems biology
models},
booktitle = {Proceedings of the 10th annual conference on Genetic and
evolutionary computation},
pages = {331-338},
year = {2008},
editor = {Maarten Keijzer},
venue = {Atlanta, USA},
bibdate = {04/06/09},
}
@inproceedings{Romero-Campero.etal:2009,
author = {Francisco J. Romero-Campero and Jamie Twycross and Hongqing
Cao and Jonathan Blakes and Natalio Krasnogor},
title = {A multiscale modeling framework based on {P}~systems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {64-78},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Kirkilionis.etal:2009,
author = {Markus Kirkilionis and Mirela Domijan and Martin Eigel and
Erwin George and Mike Li and Luca Sbano},
title = {A Definition of Cellular Interface Problems},
booktitle = {Membrane Computing: 9th International Workshop},
pages = {36-62},
year = {2009},
editor = {David Wolfe Corne and Pierluigi Frisco and Gheorghe P\u{a}un
and Grzegorz Rozenberg and Arto Salomaa},
volume = {5391},
series = {Lecture Notes in Computer Science},
venue = {Edinburgh, UK},
bibdate = {04/06/09},
}
@inproceedings{Rivero-Gil.etal:2008,
author = {Elena Rivero-Gil and Miguel A. Guti{\'e}rrez-Naranjo and
{\'A}lvaro Romero-Jim{\'e}nez and Agust{\'i}n
Riscos-N{\'u}{\~n}ez},
title = {A software tool for generating graphics by means of
{P}~systems},
booktitle = {International Workshop on Computing with Biomolecules},
pages = {87-100},
year = {2008},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Rudolf Freund and Marion
Oswald and Kai Salomaa},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Neary:2008,
author = {Turlough Neary},
title = {A small universal spiking neural {P}~system},
booktitle = {International Workshop on Computing with Biomolecules},
pages = {65-74},
year = {2008},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Rudolf Freund and Marion
Oswald and Kai Salomaa},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Aman.etal:2008b,
author = {Bogdan Aman and Gabriel Ciobanu},
title = {Membrane systems with surface objects},
booktitle = {International Workshop on Computing with Biomolecules},
pages = {17-28},
year = {2008},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Rudolf Freund and Marion
Oswald and Kai Salomaa},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Besozzi.etal:2008b,
author = {Daniela Besozzi and Giancarlo Mauri and Dario Pescini and
Claudio Zandron},
title = {Membrane systems in systems biology},
booktitle = {9th International Workshop on Discrete Event Systems},
pages = {275-280},
year = {2008},
venue = {G{\"o}teborg, Sweden},
bibdate = {04/06/09},
}
@inproceedings{Aman.etal:2008,
author = {Bogdan Aman and Gabriel Ciobanu},
title = {Resource competition and synchronization in membranes},
booktitle = {Proceedings of the 10th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing},
year = {2008},
editor = {Tudor Jebelean and Viorel Negru and Dana Petcu and Daniela
Zaharie},
venue = {Timi\c{s}oara, Romania},
bibdate = {04/06/09},
}
@inproceedings{Krassovitskiy.etal:2008,
author = {Alexander Krassovitskiy and Yurii Rogozhin and
Sergey Verlan},
title = {One-sided insertion and deletion: traditional and {P}~systems
case},
booktitle = {International Workshop on Computing with Biomolecules},
pages = {51-63},
year = {2008},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Rudolf Freund and Marion
Oswald and Kai Salomaa},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Twycross.etal:2008,
author = {Jamie Twycross and Francisco J. Romero-Campero and Malcolm
Bennett and Miguel C{\'a}mara and Natalio Krasnogor},
title = {Modular assembly of cell systems biology models using
{P}~systems},
booktitle = {Proceedings of Prague International Workshop on Membrane
Computing},
pages = {51-62},
year = {2008},
editor = {Oscar H. Ibarra and Petr Sos{\'i}k},
venue = {Prague, Czech Republic},
bibdate = {04/06/09},
}
@inproceedings{Muskulus:2008,
author = {Michael Muskulus},
title = {Identification of {P}~system models assisted by biochemical
databases},
booktitle = {Proceedings of Prague International Workshop on Membrane
Computing},
pages = {47-49},
year = {2008},
editor = {Oscar H. Ibarra and Petr Sos{\'i}k},
venue = {Prague, Czech Republic},
bibdate = {04/06/09},
}
@inproceedings{Lucanu:2008,
author = {Dorel Lucanu},
title = {Rewriting logic-based semantics of membrane systems and the
maximal concurrency},
booktitle = {Proceedings of Prague International Workshop on Membrane
Computing},
pages = {23-34},
year = {2008},
editor = {Oscar H. Ibarra and Petr Sos{\'i}k},
venue = {Prague, Czech Republic},
bibdate = {04/06/09},
}
@inproceedings{Fassler.etal:2008,
author = {Raffael Fassler and Thomas Hinze and Thorsten Lenser and
Peter Dittrich},
title = {Construction of oscillating chemical register machines on
binary numbers using mass-action kinetics},
booktitle = {Proceedings of Prague International Workshop on Membrane
Computing},
pages = {11-22},
year = {2008},
editor = {Oscar H. Ibarra and Petr Sos{\'i}k},
venue = {Prague, Czech Republic},
bibdate = {04/06/09},
}
@inproceedings{Ciobanu.etal:2008c,
author = {Gabriel Ciobanu and Mihai Gontineac},
title = {Multisets and their encodings},
booktitle = {Proceedings of Prague International Workshop on Membrane
Computing},
pages = {1-10},
year = {2008},
editor = {Oscar H. Ibarra and Petr Sos{\'i}k},
venue = {Prague, Czech Republic},
bibdate = {04/06/09},
}
@inproceedings{Ibarra.etal:2008,
author = {Oscar H. Ibarra and Andrei P\u{a}un and Alfonso
Rodr{\'i}guez-Pat{\'o}n},
title = {Sequentiality induced by spike numbers in {SNP} systems},
booktitle = {Proceedings of the 14th International Meeting on DNA
Computing},
pages = {36-46},
year = {2008},
venue = {Prague, Czech Republic},
bibdate = {04/06/09},
}
@inproceedings{Barbuti.etal:2008d,
author = {Roberto Barbuti and Giulio Caravagna and Andrea
Maggiolo-Schettini and Paolo Milazzo and Giovanni Pardini},
title = {The calculus of looping sequences},
booktitle = {Formal Methods for Computational Systems Biology},
pages = {387-423},
year = {2008},
editor = {Marco Bernardo and Pierpaolo Degano and Gianluigi Zavattaro},
volume = {5016},
series = {Lecture Notes in Computer Science},
venue = {Bertinoro, Italy},
bibdate = {04/06/09},
}
@inproceedings{Freund.etal:2008c,
author = {Rudolf Freund and Sergey Verlan},
title = {{P}~systems working in the $k$-restricted minimally parallel
derivation mode},
booktitle = {International Workshop on Computing with Biomolecules},
pages = {43-52},
year = {2008},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Rudolf Freund and Marion
Oswald and Kai Salomaa},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Zhang.etal:2008c,
author = {Xingyi Zhang and Yun Jiang and Linqiang Pan},
title = {Small universal spiking neural {P}~systems with exhaustive
use of rules},
booktitle = {Proceedings of the Third International Conference on
Bio-Inspired Computing: Theories and Applications},
pages = {117-127},
year = {2008},
venue = {Adelaide, Australia},
bibdate = {04/06/09},
}
@inproceedings{Calude.etal:2008,
title = {On the Computational Complexity of Spiking Neural
{P}~Systems},
booktitle = {Proceedings of the 7th international conference on
Unconventional Computing},
pages = {189-205},
year = {2008},
editor = {Cristian S. Calude and Jos{\'e} F{\'e}lix Costa and Rudolf
Freund and Marion Oswald and Grzegorz Rozenberg},
volume = {5204},
series = {Lecture Notes in Computer Science},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Delzanno.etal:2008,
author = {Giorgio Delzanno and Laurent Begin},
title = {A Biologically Inspired Model with Fusion and Clonation of
Membranes},
booktitle = {Proceedings of the 7th international conference on
Unconventional Computing},
pages = {64-82},
year = {2008},
editor = {Cristian S. Calude and Jos{\'e} F{\'e}lix Costa and Rudolf
Freund and Marion Oswald and Grzegorz Rozenberg},
volume = {5204},
series = {Lecture Notes in Computer Science},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Krishna:2008,
author = {Shankara Narayanan Krishna},
title = {The Expressiveness of Concentration Controlled {P}~Systems},
booktitle = {Proceedings of the 7th international conference on
Unconventional Computing},
pages = {96-110},
year = {2008},
editor = {Cristian S. Calude and Jos{\'e} F{\'e}lix Costa and Rudolf
Freund and Marion Oswald and Grzegorz Rozenberg},
volume = {5204},
series = {Lecture Notes in Computer Science},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Yang.etal:2008b,
author = {Linmin Yang and Yong Wang and Zhe Dang},
title = {Automata on Multisets of Communicating Objects},
booktitle = {Proceedings of the 7th international conference on
Unconventional Computing},
pages = {242-257},
year = {2008},
editor = {Cristian S. Calude and Jos{\'e} F{\'e}lix Costa and Rudolf
Freund and Marion Oswald and Grzegorz Rozenberg},
volume = {5204},
series = {Lecture Notes in Computer Science},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Stamatopoulou.etal:2005,
author = {Ioanna Stamatopoulou and Petros Kefalas and George
Eleftherakis and Marian Gheorghe},
title = {A modeling language and tool for population {P}~systems},
booktitle = {10th Panhellenic Conference on Informatics},
pages = {142-152},
year = {2005},
editor = {Panayiotis Bozanis and Elias N. Houstis},
venue = {Volos, Greece},
bibdate = {04/06/09},
}
@inproceedings{Ceterchi.etal:2008b,
author = {Rodica Ceterchi and Mario J. P{\'e}rez-Jim{\'e}nez and
Alexandru Ioan Tomescu},
title = {Sorting omega networks simulated with {P}~systems: Optimal
data layouts},
booktitle = {International Workshop on Computing with Biomolecules},
pages = {29-42},
year = {2008},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Rudolf Freund and Marion
Oswald and Kai Salomaa},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Diaz-Pernil.etal:2008b,
author = {Daniel D{\'i}az-Pernil and Miguel A. Guti{\'e}rrez-Naranjo
and Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'i}n
Riscos-N{\'u}{\~n}ez},
title = {Solving the partition problem by using tissue-like
{P}~systems with cell division},
booktitle = {Proceedings of the Third International Conference on
Bio-Inspired Computing: Theories and Applications},
pages = {43-47},
year = {2008},
venue = {Adelaide, Australia},
bibdate = {04/06/09},
}
@inproceedings{Diaz-Pernil.etal:2008,
author = {Daniel D{\'i}az-Pernil and Miguel A. Guti{\'e}rrez-Naranjo
and Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'i}n
Riscos-N{\'u}{\~n}ez},
title = {Solving the partition problem by using tissue-like
{P}~systems with cell division},
booktitle = {Sixth Brainstorming Week on Membrane Computing},
pages = {123-134},
year = {2008},
editor = {Daniel D{\'i}az-Pernil and Carmen Graciani and Miguel Angel
Guti{\'e}rrez-Naranjo and Gheorghe P\u{a}un and Ignacio
P{\'e}rez-Hurtado and Agust{\'i}n Riscos-N{\'u}{\~n}ez},
venue = {Sevilla, Spain},
bibdate = {04/06/09},
}
@inproceedings{Binder.etal:2008,
author = {Aneta Binder and Rudolf Freund and Marion Oswald},
title = {Extended Spiking Neural {P}~Systems with Astrocytes --
{V}ariants for modelling the Brain},
booktitle = {13th International Symposium on Artificial Life and Robotics},
pages = {520-524},
year = {2008},
editor = {Masanori Sugisaka and Hiroshi Tanaka},
venue = {Beppu, Japan},
bibdate = {04/06/09},
}
@inproceedings{Alonso.etal:2008,
author = {Santiago Alonso and Luis Fern{\'a}ndez, Fernando Arroyo and
Javier Gil},
title = {Main modules design for a {HW} implementation of massive
parallelism in transition {P}~systems},
booktitle = {13th International Symposium on Artificial Life and Robotics},
pages = {500-504},
year = {2008},
editor = {Masanori Sugisaka and Hiroshi Tanaka},
venue = {Beppu, Japan},
bibdate = {04/06/09},
}
@inproceedings{Gutierrez.etal:2008,
author = {Abraham Gutierrez and Luis Fern{\'a}ndez and Fernando Arroyo
and Santiago Alonso},
title = {Suitability of using microcontrollers in implementing new
{P}~system communication architectures},
booktitle = {13th International Symposium on Artificial Life and Robotics},
pages = {496-499},
year = {2008},
editor = {Masanori Sugisaka and Hiroshi Tanaka},
venue = {Beppu, Japan},
bibdate = {04/06/09},
}
@inproceedings{Gil.etal:2008,
author = {F. Javier Gil and Luis Fern{\'a}ndez and Fernando Arroyo and
Juan Alberto de Frutos},
title = {Parallel algorithm for {P}~systems implementation in
multiprocessors},
booktitle = {13th International Symposium on Artificial Life and Robotics},
pages = {491-495},
year = {2008},
editor = {Masanori Sugisaka and Hiroshi Tanaka},
venue = {Beppu, Japan},
bibdate = {04/06/09},
}
@inproceedings{Bravo.etal:2008,
author = {Gin{\'e}s Bravo and Luis Fern{\'a}ndez and M. A. Pena},
title = {Hierarchical master-slave architecture for membrane systems
implementation},
booktitle = {13th International Symposium on Artificial Life and Robotics},
pages = {485-490},
year = {2008},
editor = {Masanori Sugisaka and Hiroshi Tanaka},
venue = {Beppu, Japan},
bibdate = {04/06/09},
}
@inproceedings{Murphy.etal:2008,
author = {Niall Murphy and Damien Woods},
title = {A Characterisation of {NL} Using Membrane Systems without
Charges and Dissolution},
booktitle = {Proceedings of the 7th international conference on
Unconventional Computing},
pages = {164-176},
year = {2008},
editor = {Cristian S. Calude and Jos{\'e} F{\'e}lix Costa and Rudolf
Freund and Marion Oswald and Grzegorz Rozenberg},
volume = {5204},
series = {Lecture Notes in Computer Science},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Krishna.etal:2008,
author = {Shankara Narayanan Krishna and Gabriel Ciobanu},
title = {On the Computational Power of Enhanced Mobile Membranes},
booktitle = {Proceedings of the 4th conference on Computability in Europe:
Logic and Theory of Algorithms},
pages = {326-335},
year = {2008},
editor = {Arnold Beckmann and Costas Dimitracopoulos and Benedikt
L{\"o}we},
volume = {5028},
series = {Lecture Notes in Computer Science},
venue = {Athens, Greece},
bibdate = {04/06/09},
}
@inproceedings{Ibarra.etal:2007c,
author = {Oscar H. Ibarra and Sara Woodworth},
title = {Spiking Neural {P}~Systems: Some Characterizations},
booktitle = {Fundamentals of Computation Theory, 16th International
Symposium},
pages = {23-37},
year = {2007},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Zolt{\'a}n {\'E}sik},
volume = {4639},
series = {Lecture Notes in Computer Science},
venue = {Budapest, Hungary},
bibdate = {04/06/09},
}
@inproceedings{Freund.etal:2007c,
author = {Rudolf Freund and Mihai Ionescu and Marion Oswald},
title = {Extended Spiking Neural {P}~Systems with Decaying Spikes
and/or Total Spiking},
booktitle = {Proceedings of the International Workshop on Automata for
Cellular and Molecular Computing},
pages = {64-75},
year = {2007},
editor = {Gy{\"o}rgy Vaszil},
venue = {Budapest, Hungary},
bibdate = {04/06/09},
}
@inproceedings{Borrego-Ropero.etal:2007,
author = {Rafael Borrego-Ropero and Daniel D{\'i}az-Pernil and Mario
J. P{\'e}rez-Jim{\'e}nez},
title = {Tissue Simulator: A Graphical Tool for Tissue {P}~Systems},
booktitle = {Proceedings of the International Workshop on Automata for
Cellular and Molecular Computing},
pages = {23-34},
year = {2007},
editor = {Gy{\"o}rgy Vaszil},
venue = {Budapest, Hungary},
bibdate = {04/06/09},
}
@inproceedings{Bernardini.etal:2007,
author = {Francesco Bernardini and Marian Gheorghe and Maurice
Margenstern and Sergey Verlan},
title = {How to Synchronize the Activity of All Components of a
{P}~System?},
booktitle = {Proceedings of the International Workshop on Automata for
Cellular and Molecular Computing},
pages = {11-22},
year = {2007},
editor = {Gy{\"o}rgy Vaszil},
venue = {Budapest, Hungary},
bibdate = {04/06/09},
}
@inproceedings{Kefalas.etal:2007,
author = {Petros Kefalas and Ioanna Stamatopoulou and Marian Gheorghe},
title = {Principles of Transforming Communicating {X}-Machines to
Population {P}~Systems},
booktitle = {Proceedings of the International Workshop on Automata for
Cellular and Molecular Computing},
pages = {76-89},
year = {2007},
editor = {Gy\"orgy Vaszil},
venue = {Budapest, Hungary},
bibdate = {04/06/09},
}
@inproceedings{Ionescu.etal:2007b,
author = {Mihai Ionescu and Drago\c{s} Sburlan},
title = {Some applications of spiking neural {P}~systems},
booktitle = {Proceedings of the Eighth Workshop on Membrane Computing},
pages = {383-394},
year = {2007},
editor = {George Eleftherakis and Petros Kefalas and Gheorghe P\u{a}un},
venue = {Thessaloniki, Greece},
bibdate = {04/06/09},
}
@inproceedings{Ionescu.etal:2007,
author = {Mihai Ionescu and Drago\c{s} Sburlan},
title = {{P}~systems with adjoining controlled communication rules},
booktitle = {Fundamentals of Computation Theory, 16th International
Symposium},
pages = {353-364},
year = {2007},
editor = {Erzs{\'e}bet Csuhaj-Varj{\'u} and Zolt{\'a}n {\'E}sik},
volume = {4639},
series = {Lecture Notes in Computer Science},
venue = {Budapest, Hungary},
bibdate = {04/06/09},
}
@inproceedings{Dunn.etal:2007,
author = {Stanley Dunn and Peter Stivers},
title = {{P} System Models of Bistable, Enzyme Driven Chemical
Reaction Networks},
booktitle = {Proceedings of the 2nd international work-conference on The
Interplay Between Natural and Artificial Computation, Part I:
Bio-inspired Modeling of Cognitive Tasks},
pages = {203-213},
year = {2007},
editor = {Jos{\'e} Mira and Jos{\'e} R. {\'A}lvarez},
volume = {4527},
series = {Lecture Notes in Computer Science},
venue = {La Manga del Mar Menor, Spain},
bibdate = {04/06/09},
}
@inproceedings{Mauri.etal:2007,
author = {Giancarlo Mauri and Marion J. P{\'e}rez Jim{\'e}nez and
Claudio Zandron},
title = {On a {P}\u{a}un's Conjecture in Membrane Systems},
booktitle = {Proceedings of the 2nd international work-conference on The
Interplay Between Natural and Artificial Computation, Part I:
Bio-inspired Modeling of Cognitive Tasks},
pages = {180-192},
year = {2007},
editor = {Jos{\'e} Mira and Jos{\'e} R. {\'A}lvarez},
volume = {4527},
series = {Lecture Notes in Computer Science},
venue = {La Manga del Mar Menor, Spain},
bibdate = {04/06/09},
}
@inproceedings{Diaz-Pernil.etal:2007,
author = {Daniel D{\'i}az-Pernil and Miguel A. Guti{\'e}rrez-Naranjo
and Mario J. P{\'e}rez Jim{\'e}nez and Agust{\'i}n
Riscos-N{\'u}{\~n}ez},
title = {Solving Subset Sum in Linear Time by Using Tissue {P}~Systems
with Cell Division},
booktitle = {Proceedings of the 2nd international work-conference on The
Interplay Between Natural and Artificial Computation, Part I:
Bio-inspired Modeling of Cognitive Tasks},
pages = {170-179},
year = {2007},
editor = {Jos{\'e} Mira and Jos{\'e} R. {\'A}lvarez},
volume = {4527},
series = {Lecture Notes in Computer Science},
venue = {La Manga del Mar Menor, Spain},
bibdate = {04/06/09},
}
@inproceedings{Krishna:2007b,
author = {Shankara Narayanan Krishna},
title = {On the Computational Power of Flip-Flop Proteins on
Membranes},
booktitle = {Proceedings of the 3rd conference on Computability in Europe:
Computation and Logic in the Real World},
pages = {695-704},
year = {2007},
editor = {S. Barry Cooper and Benedikt L{\"o}we and Andrea Sorbi},
volume = {4497},
series = {Lecture Notes in Computer Science},
venue = {Siena, Italy},
bibdate = {04/06/09},
}
@inproceedings{Freund.etal:2006,
author = {Rudolf Freund and Theresia Gschwandtner},
title = {{P}~systems for modelling biological processes in living
cells},
booktitle = {16.~Theorietag Automaten und Formale Sprachen},
pages = {46-50},
year = {2006},
editor = {Rudolf Freund and Marion Oswald},
venue = {Vienna, Austria},
bibdate = {04/06/09},
}
@inproceedings{Alhazov:WMC5:minimal_cooperation:LNCS:2005,
author={Artiom Alhazov and Maurice Margenstern and Vladimir Rogozhin and Yurii Rogozhin
and Sergey Verlan},
title={Communicative {P} systems with minimal cooperation},
booktitle={International Workshop WMC5, Milano, Italy, 2004, LNCS, Springer, 2005 (TO
APPEAR)},
editor={Giancarlo Mauri and Gheorghe P{\u a}un and Mario J. P{\'e}rez-Jim{\'e}nez and Grzegorz
Rozenberg and Arto Salomaa}
}
@inproceedings{Gutuleac:Descriptive,
author={E. Gutuleac},
title={Descriptive times membrane Petri nets for modelling of parallel computing},
booktitle={Proc. of ICCCC 2006, Oradea, Romania, June 2006},
pages={256--261}
}
@inproceedings{Ciobanu:A,
author={G. Ciobanu},
title={A programming perspective of the membrane computing},
booktitle={Proc. of ICCCC 2006, Oradea, Romania, June 2006},
pages={13--22}
}
@inproceedings{Cavaliere:Modelling_Cellular_Processes:LNBI:,
author={M. Cavaliere and S. Sedwards},
title={Modelling Cellular Processes using Membrane Systems with Peripheral and
Integral Proteins},
booktitle={Fourth International Conference on Computational Methods in Systems Biology,
CMSB2006},
publisher={Springer-Verlag},
series={Lecture Notes In Bioinformatics}
}
@inproceedings{Gontineac:Mealy,
author={M. Gontineac},
title={Mealy membrane automata: an automata-like approach to membrane computing},
booktitle={Proc. of ICCCC 2006, Oradea, Romania, June 2006},
pages={222--227}
}
@inproceedings{Cavaliere:WMC5:Time_Independent_P_S:LNCS:2005,
author={Matteo Cavaliere and Dragos Sburlan},
title={Time-independent {P} systems},
booktitle={Membrane Computing. International Workshop WMC5, Milano, Italy, 2004 (TO
APPEAR)},
editor={Giancarlo Mauri and Gheorghe P{\u a}un and Mario J. P{\'e}rez-Jim{\'e}nez and Grzegorz
Rozenberg and Arto Salomaa}
}
@inproceedings{Krishna:WMC5:traces,
author={Shankara-Narayanan Krishna},
title={{P} systems with symport/antiport: The traces of {RBCs}},
booktitle={Membrane Computing. International Workshop WMC5, Milano, Italy, 2004, LNCS,
Springer, 2005 (TO APPEAR)},
editor={Giancarlo Mauri and Gheorghe P{\u a}un and Mario J. P{\'e}rez-Jim{\'e}nez and Grzegorz
Rozenberg and Arto Salomaa}
}
@inproceedings{Manca:PreWMP:Monoidal_Systems_and:U,
author={Vincenzo Manca},
title={Monoidal Systems and Membrane Systems},
booktitle={Pre-proceedings of Workshop on Multiset Processing},
address={Curtea de Arges, Romania}
}
@inproceedings{Manca:WMC5:Evolution_Oscilation:LNCS:2005,
author={Vincenzo Manca and Luca Bianco and Federico Fontana},
title={Evolution and oscillation in {P} systems: Applications to biological phenomena},
booktitle={Membrane Computing, International Workshop, WMC5, Milano, Italy, 2004, Selected
Papers (G. Mauri, Gh. Paun, M.J. Perez-Jimenez, G. Rozenberg, A. Salomaa,
eds.), LNCS, Springer-Verlag, Berlin, 2005, to appear},
editor={Giancarlo Mauri and Gheorghe P{\u a}un and Mario J. P{\'e}rez-Jim{\'e}nez and Grzegorz
Rozenberg and Arto Salomaa}
}
@inproceedings{Paun:WIA99:Multiset_Processing_:99,
author={Gheorghe P{\u a}un and Gabriel Thierrin},
title={Multiset Processing by Means of Systems of Finite State Transducers},
booktitle={Pre-Proceedings of Workshop on Implementing Automata WIA99},
year={1999},
month={August},
address={Potsdam}
}
@inproceedings{Paun:PreIM_DNA1999:Membrane_Computing_B:99,
author={Gheorghe P{\u a}un and Takashi Yokomori},
title={Membrane Computing Based on Splicing},
booktitle={Preliminary Proceedings of Fifth International Meeting on DNA Based Computers},
year={1999},
month={June},
editor={E. Winfree and D. Gifford},
pages={213--227},
organization={MIT}
}
@inproceedings{Petre:FCT99:Mobile_Ambients_and_:99,
author={Ion Petre and Luigia Petre},
title={Mobile Ambients and {P} systems},
booktitle={Workshop on Formal Languages, FCT99, Iasi},
year={1999}
}
@inproceedings{Freund:FCT99:Generalized_P_Systems_With:99,
author={Rudolf Freund},
title={Generalized {P} systems with Splicing and Cutting/Recombination},
booktitle={Workshop on Formal Languages, FCT99, Iasi},
year={1999}
}
@inproceedings{Freund:FCT99:Generalized_P_System:99,
author={Rudolf Freund},
title={Generalized {P} systems},
booktitle={Fundamentals of Computation Theory, FCT'99, Iasi, 1999},
year={1999},
publisher={Springer-Verlag},
address={Berlin},
editor={Gabriel Ciobanu and Gheorghe P{\u a}un},
pages={281--292},
series={Lecture Notes in Computer Science},
volume={1684?}
}
@inproceedings{Paun:UMC2000:On_P_Systems_with_Ac:00,
author={Andrei Paun},
title={On {P} systems with Active Membranes},
booktitle={Unconventional Models of Computation},
year={2000},
month={February},
publisher={Springer-Verlag},
address={London},
editor={I. Antoniou and Cristian Calude and M.J. Dinneen},
pages={187--201},
note={Contributed paper}
}
@inproceedings{Martin:ASFLCW2000:String-Objects_in_P_:00,
author={Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={String-Objects in {P} systems},
booktitle={Proc. of Algebraic Systems, Formal Languages and Computations Workshop},
year={2000},
address={Kyoto},
pages={161--169},
organization={RIMS Kokyuroku, Kyoto Univ.}
}
@inproceedings{Martin:UMC2000:P_Systems_with_Valua:00,
author={Carlos Mart{\'i}n-Vide and Victor Mitrana},
title={{P} systems with Valuations},
booktitle={Unconventional Models of Computation},
year={2000},
month={February},
publisher={Springer-Verlag},
address={London},
editor={I. Antoniou and Cristian Calude and M.J. Dinneen},
pages={154--166},
note={Contributed paper}
}
@inproceedings{Zandron:UMC2000:Solving_NP-Complete_:00,
author={Claudio Zandron and Claudio Ferretti and Giancarlo Mauri},
title={Solving {NP}-Complete Problems Using {P} systems with Active Membranes},
booktitle={Unconventional Models of Computation},
year={2000},
month={February},
publisher={Springer-Verlag},
address={London},
editor={I. Antoniou and Cristian Calude and M.J. Dinneen},
pages={289--301},
note={Contributed paper}
}
@inproceedings{Zandron:WGS2000:Universality_and_Nor:00,
author={Claudio Zandron and Giancarlo Mauri and Claudio Ferretti},
title={Universality and Normal Forms on Membrane Systems},
booktitle={Proc. Intern. Workshop Grammar Systems 2000},
year={2000},
month={July},
address={Bad Ischl, Austria},
editor={Rudolf Freund and Alica Kelemenova},
pages={61--74}
}
@inproceedings{Paun:UMC2000:Computing_with_Membr:00,
author={Gheorghe P{\u a}un},
title={Computing with Membranes: Attacking {NP}-Complete Problems},
booktitle={Unconventional Models of Computation},
year={2000},
month={February},
publisher={Springer-Verlag},
address={London},
editor={I. Antoniou and Cristian Calude and M.J. Dinneen},
pages={94--115},
note={Invited paper}
}
@inproceedings{Paun:WNCP2000:On_the_Generative_Po:00,
author={Gheorghe P{\u a}un},
title={On the Generative Power of {P} systems},
booktitle={Theorietag 2000. Workshop on New Computing Paradigms},
year={2000},
editor={Rudolf Freund},
pages={59--78},
organization={TU University Vienna}
}
@inproceedings{Paun:WGS2000:From_Cells_to_Comput:00,
author={Gheorghe P{\u a}un},
title={From Cells to Computers: Computing with Membranes ({P} systems)},
booktitle={Proc. Intern. Workshop Grammar Systems 2000},
year={2000},
month={July},
address={Bad Ischl, Austria},
editor={Rudolf Freund and Alica Kelemenova},
pages={9--40}
}
@inproceedings{Castel:SPIRE_2000:P_Systems_with_Worm-:00,
author={Juan Castellanos and Gheorghe P{\u a}un and Alfonso Rodr{\'i}guez-Pat{\'o}n},
title={{P} systems with Worm-Objects},
booktitle={Proceedings of the Seventh International Symposium on String Processing
Information Retrieval (SPIRE'00)},
year={2000},
month={September},
publisher={IEEE Computer Society},
address={A Coru{\~n}a, Spain},
pages={64--74},
abstract={We consider a combination of P systems with objects described by symbols
with P systems with objects described by strings. Namely, we work with
multisets of strings and consider as the result of a computation the number
of strings in a given output membrane. The strings (also called worms)
are processed by replication, splitting, mutation, and recombination; no
priority among rules and no other ingredient is used. In these circumstances,
it is proved that: (1) P systems of this type can generate all recursively
enumerable sets of numbers; and moreover, (2) the Hamiltonian Path Problem
in a directed graph can be solved in quadratic time, while the SAT problem
can be solved in linear time. The interest of the latter result comes from
the fact that it is the first time that a polynomial solution to an NP-complete
problem has been obtained in the P system framework without making use
of the (non-realistic) operation of membrane division.}
}
@inproceedings{Kudlek:PreWMP:Toward_FMT_(Formal_M:U,
author={Manfred Kudlek and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={Toward {FMT} (Formal Macroset Theory)},
booktitle={Pre-Proceedings Workshop on Multiset Processing},
year={2000},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Malita:PreWMP:Membrane_Computing_i:U,
author={Mihaela Malita},
title={Membrane Computing in {Prolog}},
booktitle={Pre-Proceedings Workshop on Multiset Processing},
year={2000},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Frisco:PreWMP:Membrane_Computing_B:U,
author={Pierluigi Frisco},
title={Membrane Computing Based on Splicing: Improvements},
booktitle={Pre-Proceedings Workshop on Multiset Processing},
year={2000},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Rama:PreWMP:Computing_with_P_Sys:U,
author={Raghavan Rama},
title={Computing with {P} systems},
booktitle={Pre-Proceedings Workshop on Multiset Processing},
year={2000},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Freund:WNCP2000:Sequential_P_Systems:00,
author={Rudolf Freund},
title={Sequential {P} systems},
booktitle={Theorietag 2000. Workshop on New Computing Paradigms},
year={2000},
editor={Rudolf Freund},
pages={177--183},
organization={TU University Vienna}
}
@inproceedings{Freund:DNA62000:Molecular_Computing_:00,
author={Rudolf Freund and Franziska Freund},
title={Molecular Computing with Generalized Homogeneous {P} systems},
booktitle={Proc. Conf. DNA6},
year={2000},
address={Leiden},
editor={Anne Condon and Grzegorz Rozenberg},
pages={113--125}
}
@inproceedings{NKri:PreWMP:Computing_with_Simpl:U,
author={Shankara-Narayanan Krishna},
title={Computing with Simple {P} systems},
booktitle={Pre-Proceedings Workshop on Multiset Processing},
year={2000},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Suzuki:PreWMP:Artificial_Life_and_:U,
author={Yasuhiro Suzuki and Hiroshi Tanaka},
title={Artificial Life and {P} systems},
booktitle={Pre-Proceedings Workshop on Multiset Processing},
year={2000},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Suzuki:GECCO2000:A_New_Molecular_Comp:00,
author={Yasuhiro Suzuki and Hiroshi Tanaka},
title={A New Molecular Computing Model, Artificial Cell Systems},
booktitle={Genetic and Evolutionary Computation Conf. GECCO},
year={2000},
publisher={Morgan Kaufman},
pages={833--840}
}
@inproceedings{Suzuki:CEC2000:Computational_Living:00,
author={Yasuhiro Suzuki and Hiroshi Tanaka},
title={Computational Living Systems Based on an Abstract Chemical System},
booktitle={Proc. CEC2000},
year={2000},
publisher={IEEE},
pages={1369--1376}
}
@inproceedings{Suzuki:SAB2000:Adaptive_Behavior:2000,
author={Yasuhiro Suzuki and Junji Takabayashi and Hiroshi Tanaka},
title={Adaptive Behavior in a Tritrophic Interactions Consisting of Plants, Herbivors
and Carnivores},
booktitle={The Sixth International Conference on the Simulation of Adaptive Behavior
(SAB2000) September 11-15 2000, Paris, France},
year={2000},
month={September}
}
@inproceedings{Obtulo:MP2001:On_P_Systems_with_Ac:01,
author={Adam Obtulowicz},
title={On {P} systems with Active Membranes Solving Integer Factorizing Problem
in a Polynomial Time},
booktitle={Multiset Processing: Mathematical, Computer Science, and Molecular Computing
Points of View},
year={2001},
publisher={Springer-Verlag},
editor={Cristian Calude and Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa},
pages={267--286},
abstract={There are presented deterministic P systems with active membranes which
are able to solve the Integer Factorization Problem in a polynomial time,
which is the main result of the paper. There is introduced a class of programs
for the description and correct implementation of algorithms of elementary
number theory in nonstandard computing systems, especially in P systems
with active membranes. By using some of these programs there is achieved
the main result.},
series={Lecture Notes in Computer Science},
volume={2235}
}
@inproceedings{Atanas:PreWMC2001:Recursive_Calculus_w:01,
author={Adrian Atanasiu and Carlos Mart{\'i}n-Vide},
title={Recursive Calculus with Membranes},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Dovier:MP2001:Multiset_Constraints:01,
author={Agostino Dovier and Carla Piazza and Gianfranco Rossi},
title={Multiset Constraints and {P} systems},
booktitle={Multiset Processing: Mathematical, Computer Science, and Molecular Computing
Points of View},
year={2001},
publisher={Springer-Verlag},
editor={Cristian Calude and Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa},
pages={103--122},
abstract={Multisets are the fundamental data structure of P systems. In this paper
we relate P systems with the language and theory for multisets presented
in [9.] This allows us, on the one hand, to define and implement P systems
using multiset constraints in a constraint logic programming framework,
and, on the other hand, to define and implement constraint solving procedures
used to test multiset constraint satisfiability in terms of P systems with
active membranes. While the former can be exploited to provide a precise
formulation of a P system, as well as a working implementation of it, based
on a first-order theory, the latter provides a way to obtain a P system
for a given problem (in particular, NP problems) starting from a rather
natural encoding of its solution in terms of multiset constraints.},
series={Lecture Notes in Computer Science},
volume={2235}
}
@inproceedings{Paun:MDNABC2001:On_P_Systems_with_Gl:01,
author={Andrei Paun},
title={On {P} systems with Global Rules},
booktitle={Proc. 7th Intern. Meeting on DNA Based Computers},
year={2001},
address={Tampa, Florida, USA},
editor={Natasha Jonoska and N.C. Seeman},
pages={43--52}
}
@inproceedings{Paun:PreWMC2001:P_Systems_with_Strin:01,
author={Andrei Paun},
title={{P} systems with String-Objects: Universality Results},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{VBar:ECAL2001:Bio-Language_for_Com:01,
author={Angel V. Baranda and Juan Castellanos and Fernando Arroyo and Carmen Luengo},
title={Bio-Language for Computing with Membranes},
booktitle={Advances in Artificial Life : 6th European Conference, ECAL 2001, Prague,
Czech Republic, September 10-14, 2001, Proceedings.},
year={2001},
month={September},
publisher={Springer-Verlag},
address={Praga},
editor={Jozef Kelemen and Petr Sosik},
pages={176--185},
abstract={This paper presents a bio-language that integrates data structures and processes
for a formal computational model from the field of computing with membranes.
A bio-language is a new concept extracted from biological behaviour. In
order to define such a bio-language, the static and dynamic structures
of a Transition P system are formalised.},
series={LNAI},
volume={2159}
}
@inproceedings{VBar:MDNABC2001:Towards_an_Electroni:01,
author={Angel V. Baranda and Juan Castellanos and Fernando Arroyo and Rafael Gonzalo},
title={Towards an Electronic Implementation of Membrane Computing: A Formal Description
of Nondeterministic Evolution in Transition {P} systems},
booktitle={Proc. 7th Intern. Meeting on DNA Based Computers},
year={2001},
address={Tampa, Florida, USA},
editor={Natasha Jonoska and N.C. Seeman},
pages={273--282}
}
@inproceedings{Martin:MCU2001:Computing_with_Membr:01,
author={Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={Computing with Membranes ({P} systems): Universality Results},
booktitle={Machines, Computations, and Universality. Third International Conference,
MCU 2001 Chisinau, Moldava, May 23-27, 2001. Proceedings.},
year={2001},
publisher={Springer-Verlag},
address={Chisinau, Moldova},
editor={Maurice Margenstern and Yurii Rogozhin},
pages={82--101},
abstract={This is a survey of universality results in the area of Membrane Computing
(P systems), at the level of December 2001. We consider both P systems
with symbol-objects and with string-objects; in the latter case, we consider
systems based on rewriting, splicing, as well as rewriting together with
other operations (replication, crossingover), with sets or with multisets
of strings. Besides recalling characterizations of recursively enumerable
languages and of recursively enumerable sets of vectors of natural numbers,
we also briefly discuss the techniques used in the proofs of such results.
Several open problems are also formulated.},
series={Lecture Notes in Computer Science},
volume={2055}
}
@inproceedings{Ferret:PreWMC2001:On_Three_Variants_of:01,
author={Claudio Ferretti and Giancarlo Mauri and Gheorghe P{\u a}un and Claudio
Zandron},
title={On Three Variants of {P} systems with String-Objects},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Zandron:MCU2001:Two_Normal_Forms_for:01,
author={Claudio Zandron and Claudio Ferretti and Giancarlo Mauri},
title={Two Normal Forms for Rewriting {P} systems},
booktitle={Machines, Computations, and Universality. Third International Conference,
MCU 2001 Chisinau, Moldava, May 23-27, 2001. Proceedings.},
year={2001},
publisher={Springer-Verlag},
address={Chisinau, Moldova},
editor={Maurice Margenstern and Yurii Rogozhin},
pages={153--164},
abstract={P systems have been recently introduced by Gh. Paun as a new model for molecular
computations based on the notion of membrane structure. In this work, we
consider Rewriting P Systems which use electrical charges to move objects
between the membranes. We show that electrical charges, a feature introduced
in order to obtain more ”realistic” systems, induces simple systems: we
define two normal forms for two variants of Rewriting P Systems which make
use of electrical charges.},
series={Lecture Notes in Computer Science},
volume={2055}
}
@inproceedings{Nico:PreWMC2001:A_C_Library_for_Im:01,
author={Dan V. Nicolau-Jr. and Gerardin Solana and Florin Fulga and Dan V. Nicolau-Sr.},
title={A {C} Library for Implementing {P} systems on the Electronic Computer ({A}bstract)},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Besozz:ICTCS2001:P_Systems_with_Gemma:01,
author={Daniela Besozzi and Claudio Zandron and Giancarlo Mauri and N. Sabadini},
title={{P} systems with Gemmation of Mobile Membranes},
booktitle={Theoretical Computer Science. 7th Italian Conference, ICTCS 2001, Torino,
Italy, October 4-6, 2001. Proceedings.},
year={2001},
month={October},
publisher={Springer-Verlag},
address={Turin},
editor={Antonio Restivo and Simona Ronchi-Della-Rocca and Luca Roversi},
pages={136--153},
abstract={P systems are computational models inspired by some biological features
of the structure and the functioning of real cells. In this paper we introduce
a new kind of communication between membranes, based upon the natural budding
of vesicles in a cell. We define the operations of gemmation and fusion
of mobile membranes, and we use membrane structures and rules over strings
of biological inspiration only. We prove that P systems of this type can
generate all recursively enumerable languages and, moreover, the Hamiltonian
Path Problem can be solved in a quadratic time. Some open problems are
also formulated.},
series={Lecture Notes in Computer Science},
volume={2202}
}
@inproceedings{Arroyo:PreWMC2001:A_Recursive_Algorith:01,
author={Fernando Arroyo and Angel V. Baranda and Juan Castellanos and Carmen Luengo
and Luis F. Mingo},
title={A Recursive Algorithm for Describing Evolution in Transition {P} systems},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Arroyo:MP2001:Structures_and_Bio-L:01,
author={Fernando Arroyo and Angel V. Baranda and Juan Castellanos and Carmen Luengo
and Luis F. Mingo},
title={Structures and Bio-Language to Simulate Transition {P} systems on Digital
Computers},
booktitle={Multiset Processing: Mathematical, Computer Science, and Molecular Computing
Points of View},
year={2001},
publisher={Springer-Verlag},
editor={Cristian Calude and Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa},
pages={1--16},
abstract={The aim of this paper is to show that some computational models inspired
from biological membranes, such as P systems, can be simulated on digital
computers in an efficient manner. To this aim, it is necessary to characterize
non-determinism and parallel execution of evolution rules inside regions.
Both these issues are formally described here in order to obtain a feasible
description in terms of data structures and operations able to be implemented
in a functional programming language. Static and dynamic structures of
transition P systems are formalised in order to define a bio-language to
represent them. Finally, a draft of a language for describing a transition
P systems is presented. It will facilitate the description of transition
P systems in terms of sentences in a high level programming language; such
sentences will define a program. A process of compilation will parse the
program to appropriate data structures and will launch the execution of
the simulation process.},
series={Lecture Notes in Computer Science},
volume={2235}
}
@inproceedings{Cioban:PreWMC2001:Gene_Expression_by_S:01,
author={Gabriel Ciobanu and Bogdan Tanasa},
title={Gene Expression by Software Mechanisms},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Cioban:PreWMC2001:Membrane_SoftwareA:01,
author={Gabriel Ciobanu and Dorin Paraschiv},
title={Membrane Software. {A} {P} system Simulator},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Paun:PreWMC2001:Further_Research_Top:01,
author={Gheorghe P{\u a}un},
title={Further Research Topics About {P} systems},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{LGia:PreWMC2001:MGS:_Implementing_a_:01,
author={Jean-Louis Giavitto and Olivier Michel},
title={{MGS}: Implementing a Unified View on Four Biologically Inspired Computing
Models},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Aguado:PreWMC2001:P_Systems_with_Repli:01,
author={Joaqu{\'i}n Aguado and Tudor Balanescu and Tony Cowling and Marian Gheorghe
and Florentin Ipate},
title={{P} systems with Replicated Rewriting and Stream {X-Machines}},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Mate:PreWMC2001:On_the_Power_of_P_Sy:01,
author={Jos{\'e} L. Mat{\'e} and Alfonso Rodr{\'i}guez-Pat{\'o}n and Andr{\'e}s Silva},
title={On the Power of {P} systems with {DNA-Worms}},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Mutyam:MCU2001:membrane_creation:2001,
author={Madhu Mutyam and Kamala Krithivasan},
title={P Systems with Membrane Creation: Universality and Efficiency},
booktitle={Machines, Computations, and Universality: Third International Conference,
MCU 2001 Chisinau, Moldavia, May 23-27, 2001, Proceedings},
year={2001},
month={May 23-27},
publisher={Springer-Verlag Heidelberg},
editor={M. Margenstern, Y. Rogozhin},
pages={276--287},
abstract={P systems, introduced by Gh. Paun form a new class of distributed computing
model. Several variants of P systems were already shown to be computationally
universal. In this paper, we propose a new variant of P systems, P systems
with membrane creation, in which some objects are productive and create
membranes. This new variant of P systems is capable of solving the Hamiltonian
Path Problem in linear time. We show that P systems with membrane creation
are computationally complete.},
series={Lecture Notes In Computer Science},
volume={2055}
}
@inproceedings{Kudlek:MP2001:Toward_a_Formal_Macr:01,
author={Manfred Kudlek and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={Toward a Formal Macroset Theory},
booktitle={Multiset Processing: Mathematical, Computer Science, and Molecular Computing
Points of View},
year={2001},
publisher={Springer-Verlag},
editor={Cristian Calude and Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa},
pages={123--134},
abstract={A macroset is a (finite or infinite) set of multisets over a finite alphabet.
We introduce a Chomsky-like hierarchy of multiset rewriting devices which,
therefore, generate macrosets. Some results are proved about the power
of these devices and some open problems are formulated. We also present
an algebraic characterization of some of the macroset families as least
fixed point solutions of algebraic systems of equations.},
series={Lecture Notes in Computer Science},
volume={2235}
}
@inproceedings{Gheorg:IPCAT2001:Computational_models:01,
author={Marian Gheorghe and Mike Holcombe and Petros Kefalas},
title={Computational models of collective foraging},
booktitle={Proc. Fourth Intern. Workshop on Information Processing in IPCAT 2001, Cells
and Tissues},
year={2001},
month={August},
address={Brussels}
}
@inproceedings{Margen:MDNABC2001:Computing_with_Membr:01,
author={Maurice Margenstern and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={Computing with Membranes, Variants with an Enhanced Membrane Handling},
booktitle={Proc. 7th Intern. Meeting on DNA Based Computers},
year={2001},
address={Tampa, Florida, USA},
editor={Natasha Jonoska and N.C. Seeman},
pages={53--62}
}
@inproceedings{Margenstern:7DNABC:Enhanced_Membrane_Handling:2001,
author={Maurice Margenstern and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={Computing with Membranes: Variants with an Enhanced Membrane Handling},
booktitle={Proceedings 7th International Meeting on DNA Based Computers},
year={2001},
month={June 10-13},
address={Tampa, Florida, USA},
editor={N. Jonoska, N.C. Seeman},
pages={53--62}
}
@inproceedings{Holcom:IPCAT2001:A_hybrid_machine_mod:01,
author={Mike Holcombe and Lucy Holcombe and Marian Gheorghe and N. Talbot},
title={A hybrid machine model of rice blast fungus Magnaporthe grisea},
booktitle={Proc. Fourth Intern. Workshop on Information Processing in IPCAT 2001, Cells
and Tissues},
year={2001},
month={August},
address={Brussels}
}
@inproceedings{Madhu_:MP2001:Universality_Results:01,
author={Mutyam Madhu and Kamala Krithivasan},
title={Universality Results for Some Variants of {P} systems},
booktitle={Multiset Processing: Mathematical, Computer Science, and Molecular Computing
Points of View},
year={2001},
publisher={Springer-Verlag},
address={Berlin},
editor={Cristian Calude and Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa},
pages={237--253},
abstract={P systems, introduced by Gh. Paun, form a new class of distributed computing
models. Many variants of P systems were shown to be computationally universal.
In this paper, we consider several classes of P systems with symbol-objects
where we allow the catalysts to move in and out of a membrane. We prove
universality results for these variants of P systems with a very small
number of membranes.},
series={Lecture Notes in Computer Science},
volume={2235}
}
@inproceedings{Madhu_:MCU2001:P_Systems_with_Membr:01,
author={Mutyam Madhu and Kamala Krithivasan},
title={{P} systems with Membrane Creation: Universality and Efficiency},
booktitle={Machines, Computations, and Universality. Third International Conference,
MCU 2001 Chisinau, Moldava, May 23-27, 2001. Proceedings.},
year={2001},
publisher={Springer-Verlag},
address={Berlin},
editor={Maurice Margenstern and Yurii Rogozhin},
pages={276--287},
abstract={P systems, introduced by Gh. Paun form a new class of distributed computing
model. Several variants of P systems were already shown to be computationally
universal. In this paper, we propose a new variant of P systems, P systems
with membrane creation, in which some objects are productive and create
membranes. This new variant of P systems is capable of solving the Hamiltonian
Path Problem in linear time. We show that P systems with membrane creation
are computationally complete.},
series={Lecture Notes in Computer Science},
volume={2055}
}
@inproceedings{Sosik:CDLT2001:String_Rewriting_Seq:01,
author={Petr Sosik and Rudolf Freund},
title={String Rewriting Sequential {P} systems and Regulated Rewriting},
booktitle={Proc. Conf. Developments in Language Theory},
year={2001},
address={Vienna}
}
@inproceedings{Frisco:PreWMC2001:A_Direct_Constructio:01,
author={Pierluigi Frisco and Hendrik Jan Hoogeboom and Paul Sant},
title={A Direct Construction of a Universal {P} system},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Freund:DNA6:Generalized_Homogeneous:2001,
author={Rudolf Freund and Franziska Freund},
title={Molecular Computing with Generalized Homogeneous {P}-Systems},
booktitle={DNA Computing: 6th International Workshop on DNA-Based Computers, DNA 2000,
Leiden, The Netherlands, June 13-17, 2000, Revised Papers},
year={2001},
month={June},
publisher={Springer-Verlag Heidelberg},
address={Leiden, The Netherlads},
editor={A. Condon and G. Rozenberg},
pages={113--125},
abstract={Recently P-systems were introduced by Gheorghe Paun as a new model for computations
based on membrane structures. The basic variants of P-systems shown to
have universal computational power only took account of the multiplicities
of atomic objects, some other variants considered rewriting rules on strings.
Using the membranes as a kind of filter for specific objects when transferring
them into an inner compartment or out into the surrounding compartment
turned out to be a very powerful mechanism in combination with suitable
rules to be applied within the membranes in the model of generalized P-systems,
GP-systems for short. GP-systems were shown to allow for the simulation
of graph controlled grammars of arbitrary type based on productions working
on single objects; moreover, various variants of GP-systems using splicing
or cutting and recombination of strings were shown to have universal computational
power, too. In this paper, we consider GP-systems with homogeneous membrane
structures, GhP-systems for short, using splicing or cutting and recombination
of string objects with specific markers at the ends of the strings that
can be interpreted as electrical charges. The sum of these electrical charges
determines the permeability of the membranes to the string objects, and
we allow only objects with the absolute value of the difference of electrical
charges being equal to 1 to pass a membrane in both directions. We show
that such GhP-systems have universal computational power; for GhP-systems
using splicing and a bounded number of markers the obtained results are
optimal with respect to the underlying membrane structure. Moreover, a
very restricted variant of such GhP-systems characterizes the (strictly)
minimal linear languages.},
series={Lecture Notes In Computer Science},
volume={2054}
}
@inproceedings{Freund:PreWMC2001:Variants_of_GP_Syste:01,
author={Rudolf Freund and Marion Oswald},
title={Variants of {GP Systems}},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Kris:PreWMC2001:On_the_Power_of_P_Sy:01,
author={Shankara-Narayanan Krishna and Kuppuswamy Lakshmanan and Raghavan Rama},
title={On the Power of {P} systems with Contextual Rules},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Kris:MDNABC2001:Insertion-Deletion_P:01,
author={Shankara-Narayanan Krishna and Raghavan Rama},
title={Insertion-Deletion {P} systems},
booktitle={Proc. 7th Intern. Meeting on DNA Based Computers},
year={2001},
address={Tampa, Florida, USA},
editor={Natasha Jonoska and N.C. Seeman},
pages={350--359}
}
@inproceedings{Marcus:PreWMC2001:Membranes_versus_DNA:01,
author={Solomon Marcus},
title={Membranes versus {DNA}},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Ji:PreWMC2001:The_Bhopalator:_An_I:01,
author={Sungchul Ji},
title={The {Bhopalator}: An Information/Energy Dual Model of the Living Cell},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Nish:PreWMC2001:Simulations_of_Photo:01,
author={Taishin Yasunobu Nishida},
title={Simulations of Photosynthesis by a {K}-{S}ubset Transforming System with
Membranes},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Manca:PreWMC2001:Membrane_Algorithms_:01,
author={Vincenzo Manca},
title={Membrane Algorithms for Propositional Satisfiability},
booktitle={Pre-Proceedings of Workshop on Membrane Computing},
year={2001},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Suzuki:MP2001:Artificial_Life_Appl:01,
author={Yasuhiro Suzuki and Yoshi Fujiwara and Hiroshi Tanaka and Junji Takabayashi},
title={Artificial Life Applications of a Class of {P} systems: Abstract Rewriting
Systems on Multisets},
booktitle={Multiset Processing: Mathematical, Computer Science, and Molecular Computing
Points of View},
year={2001},
publisher={Springer-Verlag},
address={Berlin},
editor={Cristian Calude and Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa},
pages={299--346},
abstract={Artificial chemical system are well studied in Artificial Life and Complexity.
Here we overview results about such a class of artificial chemical systems:
Rewriting Systems on Multisets (ARMS), which are particular types of P
Systems and exhibit complex behaviors such as non-linear oscillations.
In short, an ARMS consists of a membrane which contains “chemical compounds”
(denoted by symbols); these compounds evolve through chemical reactions
in a cell-like device. To such systems we apply a genetic method and, by
a simulation on computer, we find several results of Artificial Life interest.},
series={Lecture Notes in Computer Science},
volume={2235}
}
@inproceedings{Obtulo:Pre2WMC2002:Probabilistic_P_syst:02,
author={Adam Obtulowicz},
title={Probabilistic {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Atanas:Pre2WMC2002:Authentication_of_me:02,
author={Adrian Atanasiu},
title={Authentication of messages using {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Romero:UMC02:Diophantine:2002,
author={Alvaro Romero-Jim{\'e}nez and Mario J. P{\'e}rez-Jim{\'e}nez},
title={Generation of Diophantine Sets by Computing P Systems with External Output},
booktitle={Unconventional Models of Computation: Third International Conference, UMC
2002, Kobe, Japan, October 15-19, 2002. Proceedings},
year={2002},
month={October 15--19},
publisher={Springer-Verlag Heidelberg},
address={London, UK},
editor={Cristian Calude and Michael J. Dinneen and Ferdinand Peper},
pages={176--190},
abstract={In this paper a variant of P systems with external output designed to compute
functions on natural numbers is presented. These P systems are stable under
composition and iteration of functions. We prove that every diophantine
set can be generated by such P systems; then, the universality of this
model can be deduced from the theorem by Matiyasevich, Robinson, Davis
and Putnam in which they establish that every recursively enumerable set
is a diophantine set.},
series={Lecture Notes In Computer Science},
volume={2509}
}
@inproceedings{Paun:Pre2WMC2002:Membrane_systems_wit:02,
author={Andrei Paun},
title={Membrane systems with symport/antiport. {Universality} results},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Profir:Pre2WMC2002:P_systems_of_biocomp:02,
author={Aurelia Profir and Elena Boian},
title={{P} systems of biocomputing systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Besozz:Pre2WMC2002:Parallel_rewritint_P:02,
author={Daniela Besozzi and Giancarlo Mauri and Claudio Zandron},
title={Parallel rewritint {P} systems without target conflicts},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Balbot:Pre2WMC2002:A_MzScheme_implement:02,
author={Delia Balbotin-Noval and Mario Jes{\'u}s P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini},
title={A {MzScheme} implementation of transition {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Csuhaj:Pre2WMC2002:P_Automata:02,
author={Erzs{\'e}bet Csuhaj-Varj{\'u} and Gy{\"o}rgy Vaszil},
title={{P Automata}},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Czeizl:Pre2WMC2002:Self-activating_P_sy:02,
author={Eugen Czeizler},
title={Self-activating {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Arroyo:Pre2WMC2002:A_software_simulatio:02,
author={Fernando Arroyo and Carmen Luengo and Angel V. Baranda and L.F. de Mingo},
title={A software simulation of transition {P} systems in {H}askell},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Bernar:Pre2WMC2002:P_systems_with_bound:02,
author={Francesco Bernardini and Vincenzo Manca},
title={{P} systems with boundary rules},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Cioban:Pre2WMC2002:Molecular_Networks_a:02,
author={Gabriel Ciobanu and Bogdan Tanasa and Daniel Dumitriu and Dorin Huzum and
Gabriel Moruz},
title={Molecular Networks as Communicating Membranes},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Cioban:Pre2WMC2002:Membrane_systems_and:02,
author={Gabriel Ciobanu and Rahul Desai and Akash Kumar},
title={Membrane systems and distributed computing},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Bel_En:Pre2WMC2002:P_systems_a_prelimi:02,
author={Gemma Bel-Enguix},
title={{P} systems, a preliminary application to linguistics},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Bel_En:Pre2WMC2002:Generating_context-f:02,
author={Gemma Bel-Enguix and Matteo Cavaliere and Rodica Ceterchi and Carlos Mart{\'i}n-Vide},
title={Generating context-free languages with dynamic {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Alford:Pre2WMC2002:Membrane_systems_wit:02,
author={Gordon Alford},
title={Membrane systems with heat control},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Ardele:Pre2WMC2002:The_relevance_of_mic:02,
author={Ioan I. Ardelean},
title={The relevance of microbiology for {P} systems. A discussion of some concepts
used in microbiology and {P Systems}},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Bartosik:Systemy_Mem:PEIZ:2002,
author={J. Bartosik and Waldemar Korczynski},
title={Systemy membranowe jako modele hierarchicznych struktur zarzadzania},
booktitle={Mat. Pokonferencyjne Ekonomia, Informatyka, Zarzadzanie. Teoria i Praktyka},
year={2002},
organization={Wydzial Zarzadzania AGH, Tom II, AGH}
}
@inproceedings{LGia:Pre2WMC2002:Accretive_rules_in_C:02,
author={Jean-Louis Giavitto and Olivier Michel},
title={Accretive rules in {Cayley} {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Arulanandham:UMC02:Bead_Sort:2002,
author={Joshua J. Arulanandham},
title={Implementing Bead-Sort with {P} systems},
booktitle={Unconventional Models of Computation: Third International Conference, UMC
2002, Kobe, Japan, October 15-19, 2002. Proceedings},
year={2002},
month={October 15--19},
publisher={Springer-Verlag Heidelberg},
address={London, UK},
editor={Cristian Calude and Michael J. Dinneen and Ferdinand Peper},
pages={115--125},
abstract={In this paper, we implement Bead-Sort, a natural sorting algorithm that
we introduced in [1], with the new, biochemically inspired P systems. In
Bead-Sort, positive integers are represented by a set of beads (like those
used in an Abacus). The beads representing integers to be sorted are allowed
to slide through the rods of the Abacus. In this process, the smaller "numbers"
always emerge above the larger ones and this creates a natural comparison
and thus a natural sorting action. This natural sorting phenomenon is "implemented"
with a special type of P system -- a tissue P system that computes by means
of communication (using symport/antiport rules) only. Beads are represented
by objects placed within membranes of a tissue P system; a rod is represented
by a 'group' of membranes that can communicate with one another by means
of symport/antiport rules. The "flow" of objects between the group of membranes
representing a rod (using communication rules) reflects the actual flow
of beads in the physical system.},
series={Lecture Notes In Computer Science},
volume={2509}
}
@inproceedings{Kudlek:Pre2WMC2002:Some_Considerations_:02,
author={Manfred Kudlek and Victor Mitrana},
title={Some Considerations on a Multiset Model for Membrane Computing},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Pere:Pre2WMC2002:Decision_P_systems_a:02,
author={Mario J. P{\'e}rez-Jim{\'e}nez and Alvaro Romero-Jim{\'e}nez and Fernando Sancho-Caparrini},
title={Decision {P} systems and the {P} $ \neq $ {NP} conjecture},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Ionesc:Pre2WMC2002:P_systems_with_sympo:02,
author={Mihai Ionescu and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={{P} systems with symport/antiport rules: The traces of objects},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Madhu:DCFS-2002:Complexity_Issues_in:02,
author={Mutyam Madhu},
title={Complexity Issues in Rewriting {P} systems},
booktitle={Pre-proceedings of Fourth International Workshop on Descriptional Complexity
of Formal Systems, DCFS-2002},
year={2002},
month={August 21-24},
address={London, Ontario, Canada}
}
@inproceedings{Madhu:Pre2WMC2002:A_Survey_on_Some_Var:02,
author={Mutyam Madhu and Kamala Krithivasan},
title={A Survey on Some Variants {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Botton:FNC2002:Rewriting_P_Systems_:02,
author={Paolo Bottoni and Anna Labella and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
title={Rewriting {P} systems with Conditional Communication},
booktitle={Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg},
year={2002},
publisher={Springer-Verlag},
address={Berlin},
editor={W. Brauer and H. Ehrig and J. Karhum{\"a}ki and Arto Salomaa},
pages={325--353},
abstract={A membrane system (P system) is a model of computation inspired by some
basic features of the structure and behaviour of living cells. In this
paper we consider systems with string-objects processed by rewriting, with
the communication controlled by conditions on the contents of the strings.
Symbols, substrings (in an arbitrary place, or as a prefix/suffix), or
the shape of the whole string are used as permitting and as forbidding
conditions when moving strings from a membrane to a neighboring membrane.
Many of the obtained variants lead to new characterizations of recursively
enumerable languages (as expected, these characterizations indicate a trade-off
between the number of membranes and the strength of the communication conditions
used). Several open problems are also formulated.},
series={Lecture Notes in Computer Science},
volume={2300}
}
@inproceedings{Sosik:Pre2WMC2002:P_systems_versus_reg:02,
author={Petr Sosik},
title={{P} systems versus register machines: two universality proofs},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Sosik:UMC02:communication_enough:2002,
author={Petr Sos{\'i}k and Jir{\'i} Mat{\'y}sek},
title={Membrane computing: when communication is enough},
booktitle={Unconventional Models of Computation: Third International Conference, UMC
2002, Kobe, Japan, October 15-19, 2002. Proceedings},
year={2002},
month={October 15--19},
publisher={Springer-Verlag Heidelberg},
address={London, UK},
editor={Cristian Calude and Michael J. Dinneen and Ferdinand Peper},
pages={264--275},
abstract={We study the computational power of P system, the mathematical model of
cellular membrane systems whose operations are motivated by some principles
of regulated transfer of objects (molecules) through membranes and simple
mutual reactions of these objects. The original model of P system describes
several possible types of operations applicable to these objects, resulting
in universal computational power. We show that P systems with symbol objects
keep their universal computational power even if we restrict ourselves
to catalyzed transport of objects through labelled membranes without their
change or mutual reactions. Each transport operation is initiated by a
complex of at most two objects. Moreover we do not need some other mathematical
tools of P systems like priorities of operators or dissolution or creation
of membranes to reach the universal computational power. In the second
part of the paper we present a communicating P-system computing optimal
parallel algorithm for finding maximum of a given set of integers. We therefore
demonstrate that despite the simplicity of the model, it is (theoretically)
capable to solve nontrivial computing tasks in a highly parallel and effective
way.},
series={Lecture Notes In Computer Science},
volume={2509}
}
@inproceedings{Frisco:Pre2WMC2002:Simulating_counter_a:02,
author={Pierluigi Frisco and Hendrik Jan Hoogeboom},
title={Simulating counter automata by {P} systems with symport/antiport},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Frisco:Pre2WMC2002:Towards_a_hierarchy_:02,
author={Pierluigi Frisco and Sungchul Ji},
title={Towards a hierarchy of info-energy {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Frisco:DNA82002:Info-energy_P_system:02,
author={Pierluigi Frisco and Sungchul Ji},
title={Info-energy {P} systems},
booktitle={Proceedings DNA 8 conference},
year={2002},
month={June},
address={Sapporo, Japan},
organization={Hokkaido University}
}
@inproceedings{Ceterc:Pre2WMC2002:Generating_P_systems:02,
author={Rodica Ceterchi and Carlos Mart{\'i}n-Vide},
title={Generating {P} systems with contextual grammar},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Freund:Pre2WMC2002:Energy-controlled_P_:02,
author={Rudolf Freund},
title={Energy-controlled {P} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Narayanan:UMC02:Minimal_mode:2002,
author={Shankara Narayanan Krishna and Raghavan Rama},
title={On The Power of Tissue {P} systems Working in Minimal Mode},
booktitle={Unconventional Models of Computation: Third International Conference, UMC
2002, Kobe, Japan, October 15-19, 2002. Proceedings},
year={2002},
month={October 15--19},
publisher={Springer-Verlag Heidelberg},
address={London, UK},
editor={Cristian Calude and Michael J. Dinneen and Ferdinand Peper},
pages={208--219},
abstract={In this paper, we continue the study of tissue P systems ( systems) recently
introduced by C. MartinVide et.al in [5]. We consider here only systems
working in the minimal mode. All the results in this paper are solutions
to some of the open problems listed in [5] with respect to systems working
in the minimal mode. We obtain two characterizations of recursively enumerable
languages: systems having 2 cells and 3 states as well as systems having
4 cells and 2 states generate . We also show that 2 cells and 2 states
are sufficient for generating languages, whereas 3 cells and 2 states are
sufficient for generating languages.},
series={Lecture Notes In Computer Science},
volume={2509}
}
@inproceedings{Kris:Pre2WMC2002:Tissue_P_systems_wit:02,
author={Shankara-Narayanan Krishna and Kuppuswamy Lakshmanan and Raghavan Rama},
title={Tissue {P} systems with contextual and rewriting rules},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Balane:Pre2WMC2002:A_variant_of_EP_syst:02,
author={Tudor Balanescu and Marian Gheorghe and Mike Holcombe and Florentin Ipate},
title={A variant of {EP} systems},
booktitle={Pre-Proceedings of Second Workshop on Membrane Computing},
year={2002},
month={August},
address={Curtea de Arges, Romania}
}
@inproceedings{Obtulo:BWMC2003:Mathematical_Models_:03,
author={Adam Obtulowicz},
title={Mathematical Models of Uncertainty with a Regard to Membrane Systems},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={241--246}
}
@inproceedings{Obtulo:WMC-CdeA2002:Probabilistic_P_syst:03,
author={Adam Obtulowicz},
title={Probabilistic {P} systems},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={377--387},
abstract={There are introduced and discussed stochastic and randomized P systems.
Stochastic P systems are aimed to describe distortions which may appear
in evolution processes of membrane systems considered in the area of membrane
computing. Randomized P systems serve for implementation of randomized
algorithms. There is presented a family of randomized P systems which serve
for implementation of Miller-Rabin randomized algorithm for primality of
integers. P systems of this family verify primality of integers in a polynomial
time, with a low error probability, and with a subexponential number of
processors modelled as membranes with evolving contents.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Atanas:WMC-CdeA2002:Authentication_of_me:03,
author={Adrian Atanasiu},
title={Authentication of messages using {P} systems},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={33--42},
abstract={The paper is an attempt to use P systems in dealing with a cryptographic
issue, that of message authentication. Two algorithms are proposed, with
and without confirmation from the sender, based on P systems with active
membranes. We are not concerned with the practical usefulness of these
algorithms, but with proving the usefulness of the membrane computing framework
in addressing the authentication question.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Georgi:PreWMC2003:Generative_devices_u:03,
author={Alexandros Georgiou and Marian Gheorghe},
title={Generative devices used in graphics},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={266--272}
}
@inproceedings{Romero:PreWMC2003:Computing_partial_re:03,
author={Alvaro Romero-Jim{\'e}nez and Mario J. P{\'e}rez-Jim{\'e}nez},
title={Computing partial recursive functions through transition {P} systems},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={428--444}
}
@inproceedings{PerezJ:WMC2003:Computing_Partial_Re:03,
author={{\'A}lvaro Romero-Jim{\'e}nez and Mario J. P{\'e}rez-Jim{\'e}nez},
title={Computing Partial Recursive Functions by Transition {P} systems},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={320--340},
abstract={In this paper a variant of transition P systems with external output designed
to compute partial functions on natural numbers is presented. These P systems
are stable under composition, iteration and unbounded minimization (-recursion)
of functions. We prove that every partial recursive function can be computed
by such P systems, from which the computational completeness of this model
can be deduced.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Cordon:BWMC2003:A_Prolog_Simulator_f:03,
author={Andr{\'e}s Cord{\'o}n-Franco and Miguel A. Guti{\'e}rrez-Naranjo and Mario J. P{\'e}rez-Jim{\'e}nez
and Fernando Sancho-Caparrini},
title={A {Prolog} Simulator for Deterministic {P} systems with Active Membranes},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={141--154}
}
@inproceedings{Cordon:WMC2003:Implementing_in_Prol:03,
author={Andr{\'e}s Cord{\'o}n-Franco and Miguel A. Guti{\'e}rrez-Naranjo and Mario J. P{\'e}rez-Jim{\'e}nez
and Agust{\'i}n Riscos-N{\'u}{\~n}ez and Fernando Sancho-Caparrini},
title={Implementing in {Prolog} an Effective Cellular Solution to the {Knapsack}
Problem},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={140--152},
abstract={In this paper we present an implementation in Prolog of an effective solution
to the Knapsack problem via a family of deterministic P systems with active
membranes using 2-division.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Cordon:PreWMC2003:Implementing_in_Prol:03,
author={Andr{\'e}s Cord{\'o}n-Franco and Miguel A. Guti{\'e}rrez-Naranjo and Mario J. P{\'e}rez-Jim{\'e}nez
and Agust{\'i}n Riscos-N{\'u}{\~n}ez and Fernando Sancho-Caparrini},
title={Implementing in {Prolog} an effective cellular solution for the {Knapsack}
problem},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={185--196}
}
@inproceedings{PerezJ:BWMC2003:Formal_Verification_:03,
author={Antonio P{\'e}rez-Jim{\'e}nez and Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini},
title={Formal Verification of a Transition {P} system Generating the Set $2^n+n^2+n
| n > 1$},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={261--269}
}
@inproceedings{PerezJ:BWMC2003:Computing_a_Partial_:03,
author={Antonio P{\'e}rez-Jim{\'e}nez and Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini},
title={Computing a Partial Mapping by a {P} system: Design and Verification},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={247--260}
}
@inproceedings{Mamata:WMC2003:A_Distributed_Simula:03,
author={Apostolos Syropoulos and Eleftherios G. Mamatas and Peter C. Allilomes and
Konstantinos T. Sotiriades},
title={A Distributed Simulation of Transition {P} systems},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={357--368},
abstract={P systems is a new model of computation, inspired by natural processes,
that has a distributive nature. By exploring this distributive nature of
P systems, we have built a purely distributive simulation of P systems.
The simulation, whose implementation is described here, was programmed
in the Java programming language and makes heavy use of its Remote Method
Invocation protocol. The class of P systems that the simulator can accept
is a subset of the family of systems, which have the computational power
of Turing machines. The paper concludes with some remarks concerning the
usefulness of the simulation. In addition, there is a brief discussion
of some ideas that can be used in the formulation of a foundation of distributive
computing.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Alhazo:BWMC2003:Minimizing_Evolution:03,
author={Artiom Alhazov},
title={Minimizing Evolution-Communication {P} systems and {EC} {P} automata},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={23--31}
}
@inproceedings{Alhazo:BWMC2003:Generating_Classes_o:03,
author={Artiom Alhazov},
title={Generating Classes of Languages by {P} systems and Other Devices},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={18--22}
}
@inproceedings{Alhazo:PreWMC2003:Static_sorting_algor:03,
author={Artiom Alhazov and Dragos Sburlan},
title={Static sorting algorithms for {P} systems},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={17--40}
}
@inproceedings{Alhazov:WMC2003:Proton_Pumping_P_Sys:03,
author={Artiom Alhazov and Matteo Cavaliere},
title={Proton Pumping {P} systems},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={1--18},
abstract={We propose here a (biologically inspired) model of P system called proton
pumping P system that is a special case of evolution-communication P system.
In cell biology there are transport mechanisms, involving protons. We generalize
this idea by considering a few different types of protons. A proton pumping
P system is, essentially, an evolution-communication P system where a special
subset of symbol-objects (called protons) is used. In such a system we
have simple evolution rules (classical evolution rules without target indications),
symport and antiport rules that exchange some objects (among them, possibly,
other protons) for a proton; taking inspiration from biology, this particular
type of antiports is often called proton pumping rules. We show that, as
expected, the new model is universal, using non-cooperative rules, symport
and antiport rules of weight one, and enough types of protons available
for the computation. If we decrease the number of types of protons to one
or two, then the model is at least as powerful as ET0L system, provided
that (total) weak or strong priority of antiport rules over symport and
evolution rules are used. Finally, we consider some descriptional complexity
measures (again, inspired from biology) for the newly introduced model.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Alhazo:PreWMC2003:Proton_pumping_P_sys:03,
author={Artiom Alhazov and Matteo Cavaliere},
title={Proton pumping {P} systems},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={1--16}
}
@inproceedings{Profir:PreWMC2003:Modeling_molecular_g:03,
author={Aurelia Profir and Elena Boian},
title={Modeling molecular genetic triggers by means of {P} systems},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={365--386}
}
@inproceedings{Petres:PreWMC2003:A_hardware_membrane_:03,
author={Biljana Petreska and Christof Teuscher},
title={A hardware membrane system},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={343--355}
}
@inproceedings{Petreska:WMC2003:A_Reconfigurable_Har:03,
author={Biljana Petreska and Christof Teuscher},
title={A Reconfigurable Hardware Membrane System},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={269--285},
abstract={P systems are massively parallel systems and software simulations do no
usually allow to exploit this parallelism. We present a parallel hardware
implementation of a special class of membrane systems. The implementation
is based on a universal membrane hardware component that allows to efficiently
run membrane systems on specialized hardware such as FPGAs. The implementation
is presented in detail as well as performance results and an example.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Kevorchian:AIDC:2003,
author={C. Kevorchian},
title={An algebraic topology approach of membrane computing},
booktitle={Proc. AIDC'2003, Craiova, Romania.},
year={2003}
}
@inproceedings{Besozzi:DNA8:Parallel_Rewriting:2003,
author={Daniela Besozzi and Claudio Ferretti and Giancarlo Mauri and Claudio Zandron},
title={Parallel Rewriting {P} systems with deadlock},
booktitle={DNA Computing: 8th International Workshop on DNA-Based Computers, DNA8 Sapporo,
Japan, June 10-13, 2002. Revised Papers},
year={2003},
publisher={Springer-Verlag Heidelberg},
editor={Masami Hagiya and Azuma Ohuchi},
pages={302--314},
abstract={We analyze P systems with different parallel methods for string rewriting.
The notion of deadlock state is introduced when some rules with mixed target
indications are simultaneously applied on a common string. The computational
power of systems with and without deadlock is analyzed and a lower bound
for the generative power is given, for some parallelism methods. Some open
problems are also formulated.},
series={Lecture Notes In Computer Science},
volume={2568}
}
@inproceedings{Besozz:BWMC2003:Hierarchies_of_Paral:03,
author={Daniela Besozzi and Giancarlo Mauri and Claudio Zandron},
title={Hierarchies of Parallel Rewriting {P} systems},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={61--74}
}
@inproceedings{Besozz:WMC-CdeA2002:Parallel_rewritint_P:03,
author={Daniela Besozzi and Giancarlo Mauri and Claudio Zandron},
title={Parallel rewriting {P} systems without target conflicts},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={119--133},
abstract={We consider rewriting P systems with parallel application of evolution rules,
where no conflicts on the communication of objects can arise. Different
parallelism methods are used and only rules which have the same target
indication can be simultaneously applied to a common string. The computational
power is analyzed, with respect to Lindenmayer systems, and some relations
among different parallel rewriting P systems are studied. Some open problems
are also formulated.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Besozzi:WMC2003:Collapsing_Hierarchi:03,
author={Daniela Besozzi and Giancarlo Mauri and Gy{\"o}rgy Vaszil and Claudio Zandron},
title={Collapsing Hierarchies of Parallel Rewriting {P} systems without Target
Conflicts},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={55--69},
abstract={We continue the investigation of parallel rewriting P systems without target
conflicts, a class of rewriting P systems with parallel application of
evolution rules where the possible consistency problems for the communication
of the resulting strings are eliminated by not allowing the application
of conflicting rules. We refine and improve some of the previously known
results about the generative power of these systems and point out the problems
which are still open for investigation. Work partially supported by contribution
of the EU commission under The Fifth Framework Programme, project MolCoNet
IST-2001-32008, and by contribution of the Hungarian Scientific Research
Fund, OTKA, grant no. F 037567.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Besozz:PreWMC2003:Collapsing_hierarchi:03,
author={Daniela Besozzi and Giancarlo Mauri and Gy{\"o}rgy Vaszil and Claudio Zandron},
title={Collapsing hierarchies of parallel rewriting {P} systems without target
conflicts},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={103--116}
}
@inproceedings{Besozz:EMCC2003:The_potential_of_P_s:03,
author={Daniela Besozzi and Ioan I. Ardelean and Giancarlo Mauri},
title={The potential of {P} systems for modelling the activity of mechanosensitive
channels},
booktitle={EMCC Workshop},
year={2003},
month={November},
address={Vienna}
}
@inproceedings{Besozz:PreWMC2003:The_potential_of_P_s:03,
author={Daniela Besozzi and Ioan I. Ardelean and Giancarlo Mauri},
title={The potential of {P} systems for modelling the activity of mechanosensitive
channels},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={84--102}
}
@inproceedings{Balbot:WMC-CdeA2002:A_MzScheme_implement:03,
author={Delia Balbotin-Noval and Mario Jes{\'u}s P{\'e}rez Jim{\'e}nez and Fernando Sancho Caparrini},
title={A {MzScheme} implementation of transition {P} systems},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={58--73},
abstract={The main goal of this paper is to present the design of an MzScheme program
that allows us to simulate the behavior of transition P systems. For that,
a library of procedures have been developed that work in two stages. In
the first one, the parsing/compiling stage, the input P system is checked,
and if it is well defined, then it is represented by means of an internal
grammar. In a second stage, the simulation, the computation tree associated
to the P system is generated until a prefixed level.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Jackson:WMC2003:An_Agent-Based_Behav:03,
author={Duncan Jackson and Marian Gheorghe and Mike Holcombe and Francesco Bernardini},
title={An Agent-Based Behavioural Model of Monomorium Pharaonis Colonies},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={232--239},
abstract={In this study X-machines and hierarchical organized X-machines will be used
to model different aspects of the behaviour of social insect communities.
The model is organized as a community of complex agents showing similarities
to networks of P systems.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Csuhaj:EMCC2003:On_Gemmating_P_Syste:03,
author={Erzs{\'e}bet Csuhaj-Varj{\'u}},
title={On Gemmating {P} systems},
booktitle={EMCC Workshop},
year={2003},
month={November},
address={Vienna}
}
@inproceedings{Csuhaj:BWMC2003:From_Watson-Crick_L_:03,
author={Erzs{\'e}bet Csuhaj-Varj{\'u} and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un and
Arto Salomaa},
title={From {W}atson-{C}rick {L} {Systems} to {Darwinian} {P} systems},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={155--170}
}
@inproceedings{Csuhaj:WMC-CdeA2002:P_Automata_or_Purely:03,
author={Erzs{\'e}bet Csuhaj-Varj{\'u} and Gy{\"o}rgy Vaszil},
title={{P Automata} or Purely Communicating Accepting {P} systems},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={219--233},
abstract={In this paper we introduce the notion of a P automaton with one-way communication,
a concept related both to P systems and the traditional concept of automata.
A P automaton with one-way communication is a purely communicating accepting
P system. The result of the computation in these systems is the set of
multiset sequences consumed by the skin membrane, supposing that the P
automaton started functioning in an initial state and entered a so-called
final state. As a result, we show that for any recursively enumerable language,
a P automaton and a certain type of projection can be constructed such
that the given language is obtained as the image of the set of accepted
input multiset sequences of the P automaton.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Csuhaj:EMCC2003:The_Computational_Co:03,
author={Erzs{\'e}bet Csuhaj-Varj{\'u} and Gy{\"o}rgy Vaszil},
title={The Computational Complexity of {P} Automata, Accepting {P} systems with
Communication Only},
booktitle={EMCC Workshop},
year={2003},
month={November},
address={Vienna}
}
@inproceedings{Csuhaj:BWMC2003:New_Results_and_Rese:03,
author={Erzs{\'e}bet Csuhaj-Varj{\'u} and Gy{\"o}rgy Vaszil},
title={New Results and Research Directions Concerning {P Automata}, Accepting {P}
systems with Communication Only},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={171--179}
}
@inproceedings{Czeizl:WMC-CdeA2002:Self-activating_P_sy:03,
author={Eugen Czeizler},
title={Self-activating {P} systems},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={234--246},
abstract={Until now, the solving of NP complete problems in polynomial time in the
framework of P systems was accomplished by the use of three different techniques:
the duplication of membranes, the creation of membranes, and the replication
of strings. In this paper we introduce a new type of P systems which comes
with a new technique of approaching this class of problems. In the initial
configuration of these P systems we have an arbitrarily large number of
unactivated base-membranes, which, in a polynomial time, are activated
in an exponential number. Using these type of systems we solve the SAT
problem in a linear time, with respect to the number of variables and clauses.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Arroyo:WMC-CdeA2002:A_software_simulatio:03,
author={Fernando Arroyo and Carmen Luengo and Angel V. Baranda and Luis F. de Mingo},
title={A software simulation of transition {P} systems in {H}askell},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={19--32},
abstract={P systems are a parallel and distributed computational mo-del, based on
the membrane structure notion. Membranes define regions. Inside regions,
objects and rules are placed in order to make evolve the P system. Evolution
is achieved by transitions between two consecutive system configurations.
Therefore, a computation can be obtained as a transitions series between
consecutive configurations. Where and how P systems can be implemented
is nowadays an open problem, but implementation on digital computers could
be one way to show the capabilities of such systems. This paper presents
a transition P systems implementation in Haskell, based on a theoretical
framework previously developed.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Arroyo:PreWMC2003:A_binary_data_struct:03,
author={Fernando Arroyo and Carmen Luengo and Juan Castellanos and L.F. de Mingo},
title={A binary data structure for membrane processors: Connectivity arrays},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={41--52.},
abstract={This paper defines membrane processors as digital processors capable of
implementing local processing performed inside membranes in transition
P systems. In order to encode the membrane structures of transition P systems,
additional binary data structures are needed. Such binary data structures
are named connectivity arrays. The main purposes of the connectivity arrays
are to distribute information about the system membrane structure among
the different processors that implement the transition P system, and to
facilitate communication processes among different membrane processors.
The information kept in processor has to be versatile and compact; versatile
means to easily permit changes in the membrane structure of the system
processors, and compact means that not too much memory space is needed.
Considering these two requests, a binary word of variable length is considered
here in order to represent in membrane processors the local information
about the membrane structures of transition P systems. This paper presents
the abstract data type connectivity array which defines the data structure
and the needed operations over it in order to parse the P system into a
membrane processor tree and to keep congruent the P system membrane structure
with the membrane processor tree.}
}
@inproceedings{Mingo:WMC2003:A_Binary_Data_Struct:03,
author={Fernando Arroyo and Juan Castellanos and Carmen Luengo and Luis F. Mingo},
title={A Binary Data Structure for Membrane Processors: Connectivity Arrays},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={19--30},
abstract={This paper defines membrane processors as digital processors capable of
implementing local processing performed inside membranes in transition
P systems. In order to encode the membrane structures of transition P systems,
additional binary data structures are needed. Such binary data structures
are named connectivity arrays. The main purposes of the connectivity arrays
are to distribute information about the system membrane structure among
the different processors that implement the transition P system, and to
facilitate communication processes among different membrane processors.
The information kept in processor has to be versatile and compact; versatile
means to easily permit changes in the membrane structure of the system
processors, and compact means that not too much memory space is needed.
Considering these two requests, a binary word of variable length is considered
here in order to represent in membrane processors the local information
about the membrane structures of transition P systems. This paper presents
the abstract data type connectivity array which defines the data structure
and the needed operations over it in order to parse the P system into a
membrane processor tree and to keep congruent the P system membrane structure
with the membrane processor tree. Work partially supported by contribution
of EU commission under the Fifth Framework Programme, project MolCoNet
IST-2001-32008.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Bernardini:WMC2003:Universality_of_Mini:03,
author={Francesco Bernardini and Andrei Paun},
title={Universality of Minimal Symport/Antiport: Five Membranes Suffice},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={43--54},
abstract={P systems with symport/antiport rules of a minimal size (only one object
passes in any direction in a communication step) have been recently proved
to be computationally universal. The result originally reported in [2]
has been subsequently improved in [6] by showing that six membranes suffice.
In [6] it has been also conjectured that at least one membrane can be saved.
Here we prove that conjecture: P systems with five membranes and symport/antiport
rules of a minimal size are computationally complete. The optimality of
this result remains open.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Bernar:EMCC2003:Molecular/Cellular_X:03,
author={Francesco Bernardini and Marian Gheorghe},
title={{Molecular/Cellular} {X} {M}achines},
booktitle={EMCC Workshop},
year={2003},
month={November},
address={Vienna}
}
@inproceedings{Bernar:PreWMC2003:On_the_power_of_mini:03,
author={Francesco Bernardini and Marian Gheorghe},
title={On the power of minimal symport/antiport},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={72--83}
}
@inproceedings{Bernar:BWMC2003:Language_Generating_:03,
author={Francesco Bernardini and Marian Gheorghe},
title={Language Generating by Means of {P} systems with Active Membranes},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={46--60}
}
@inproceedings{Bernar:WMC-CdeA2002:P_systems_with_bound:03,
author={Francesco Bernardini and Vincenzo Manca},
title={{P} systems with boundary rules},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={107--118},
abstract={We propose a new variant of P Systems, based on boundary rules , shortly
called PB Systems. Boundary rules means that rules are not internal to
regions but they are able to "see" even externally, that is, they are sensible
to what happens around the border of the membranes. We prove the computational
universality for PB systems with three membranes which sense at most one
symbol outside and one symbol inside a membrane. Finally, we investigate
the relationships with the basic model of P systems by proving an equivalence
between P systems without priority, thickness or dissolution operator,
and PB systems that use communication rules of a restricted form.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{FFreund:WMC2003:P_Systems_with_Cutti:03,
author={Franziska Freund and Rudolf Freund and Marion Oswald and Maurice Margenstern
and Yurii Rogozhin and Sergey Verlan},
title={{P} systems with Cutting/Recombination Rules Assigned to Membranes},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={191--202},
abstract={We introduce a new variant of splicing P systems, where the rules are directly
assigned to the membranes and not to the regions as this is usually observed
in the area of membrane systems. The strings involved in the splicing operation
are either taken from inside or from outside the membrane and the strings
resulting from the splicing operation also may go inside or outside the
membrane. Instead of the splicing operation, also the operations of cutting
and recombination are used as rules assigned to membranes. For the application
of rules leading from one configuration of the system to the succeeding
configuration we consider a sequential model and do not use the model of
maximal parallelism. We will show that for such sequential P systems using
splicing rules or cutting/recombination rules assigned to the skin membrane
we already obtain universal computational power with only one membrane.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Cioban:WMC-CdeA2002:Client-Server_P_Syst:03,
author={Gabriel Ciobanu and Daniel Dumitriu and Dorin Huzum and Gabriel Moruz and
Bogdan Tanasa},
title={Client-Server {P} systems in Modeling Molecular Interaction},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={203--218},
abstract={We present a new version of P systems called Client-Server P Systems (CSPS).
The client membranes are characterized by their states; the server membrane
stores the states of the clients and triggers the corresponding interaction
rules. We show that CSPS have the same expressive power as Turing machines.
CSPS is used to model various molecular processes in which interaction
and state transitions are causally linked. Signaling pathways and T cell
activation are described by using a CSPS software environment called MOlNET
(MOlecular NETworks). MOlNET can describe the dynamics of molecular interactions,
including both qualitative and quantitative aspects and simulating the
signaling pathways that tune the activation thresholds for T cells.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Cioban:PreWMC2003:A_parallel_implement:03,
author={Gabriel Ciobanu and G. Wenyuan},
title={A parallel implementation of transition {P} systems},
booktitle={Pre-proceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={169--184}
}
@inproceedings{Cioban:BWMC2003:Sevilla_Carpets_Asso:03,
author={Gabriel Ciobanu and Gheorghe P{\u a}un and Gh. Stefanescu},
title={Sevilla Carpets Associated with {P} systems},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={135--140}
}
@inproceedings{Gabriel:WMC2003:P_Systems_Running_on:03,
author={Gabriel Ciobanu and Guo Wenyuan},
title={{P} systems Running on a Cluster of Computers},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={123--139},
abstract={The paper presents a parallel implementation of the membrane systems. We
implement the simplest variant of P systems, which however defines the
essential features of the membrane systems, and acts as a framework for
other variants of P systems with advanced functionalities. The mechanisms
used in this implementation could be easily adapted to other versions of
P systems with minor changes. The implementation is designed for a cluster
of computers; it is written in C++ and it makes use of Message Passing
Interface as its communication mechanism.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Cioban:WMC-CdeA2002:Membrane_systems_and:03,
author={Gabriel Ciobanu and Rahul Desai and Akash Kumar},
title={Membrane systems and distributed computing},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={187--202},
abstract={This paper presents membrane systems as an appropriate model for distributed
computing, an efficient and natural environment to present the fundamental
distributed algorithms. We support the idea that P systems can become a
primary model for distributed computing, particularly for message-passing
algorithms. We present the core theory, the fundamental algorithms and
problems in distributed computing. We focus on an example describing an
immune response system against virus attacks. The example is implemented
using a P system library created by the authors to simulate the main functions
of a P system, and an MPI program that takes advantage of the highly parallel
features provided by the model. The program uses distributed leader election
and synchronization algorithms.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Bel_En:WMC-CdeA2002:Preliminaries_About_:03,
author={Gemma Bel-Enguix},
title={Preliminaries About Some Possible Applications of {P} systems in Linguistics},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={74--89},
abstract={Membrane computing [Paun, 2000] is a new and fruitful paradigm of natural
computing. The present paper is devoted to some preliminary ideas about
how membrane computing can be applied to linguistics. To this end, first
some concepts are defined which introduce what we call linguistic P systems.
Then, three examples of quite simple applications to pragmatics, phonetic
evolution, and dialogue are discussed.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Bel_En:WMC-CdeA2002:An_Application_of_Dy:03,
author={Gemma Bel-Enguix and Matteo Cavaliere and Rodica Ceterchi and Radu Gramatovici
and Carlos Mart{\'i}n-Vide},
title={An Application of Dynamic {P} systems: Generating Context-Free Languages},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={90--106},
abstract={We present a method of generating context-free languages, in a parallel
way, using dynamic P systems, which evolve in time in a coherent manner.
The evolution is described by a contextual grammar D(G), which can be canonically
associated to any context-free grammar G. The dynamic P system generated
by D(G) will "compute" the language L(G), i.e., one of the configurations
of the system will contain all words of L(G) of length n at depth 2n-1.
Our approach is an attempt to prove the richness and power of the concept
of dynamic P system, both in the area of P systems, and in the area of
contextual grammars.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Bel-En:PreWMC2003:Active_P_automata_an:03,
author={Gemma Bel-Enguix and Radu Gramatovici},
title={Active {P} automata and natural language processing},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={61--71}
}
@inproceedings{Bel-Enguix:WMC2003:Parsing_with_Active_:03,
author={Gemma Bel-Enguix and Radu Gramatovici},
title={Parsing with Active {P} Automata},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={31--42},
abstract={New classes of P automata are introduced corresponding to the basic classes
of languages in the Chomsky hierarchy. Unlike the previously defined P
automata, active P automata are computing with the structure of the membrane
systems, using operations like membrane creation, division and dissolution.
The model is applied to the parsing of (natural language) sentences into
dependency trees. The research of the first author has been supported by
Marie Curie Fellowships of the European Community programme Human Potential
(IHP) under contract number HPMF-CT-2002-01582. The research of the second
author has been supported by a fellowship from the NATO Scientific Committee
in Spain.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Paun:FCT2003:Membrane_computing:03,
author={Gheorghe P{\u a}un},
title={Membrane computing},
booktitle={Fundamentals of Computation Theory 14th International Symposium, FCT 2003,
Malm{\"o}, Sweden, August 12-15, 2003, Proceedings.},
year={2003},
publisher={Springer},
editor={Andrzej Lingas and Bengt J. Nilsson},
pages={284--295},
abstract={This is a brief overview of membrane computing, at about five years since
this area of natural computing has been initiated. One informally introduces
the basic ideas and the basic classes of membrane systems (P systems),
some directions of research already well developed (mentioning only some
central results or types of results along these directions), as well as
several research topics which seem to be of interest.},
series={Lecture Notes in Computer Science},
volume={2751}
}
@inproceedings{Paun:DCFS2003:Descriptional_comple:03,
author={Gheorghe P{\u a}un},
title={Descriptional complexity issues in membrane computing},
booktitle={Proc. of DCFS Workshop},
year={2003},
address={Budapest, Hungary},
pages={66--77}
}
@inproceedings{Franco:EMCC2003:Modeling_some_Biolog:03,
author={Giuditta Franco and Vincenzo Manca},
title={Modeling some Biological Phenomena by {P} systems},
booktitle={EMCC Workshop},
year={2003},
month={November},
address={Vienna}
}
@inproceedings{Franco:WMC2003:A_Membrane_System_fo:03,
author={Giuditta Franco and Vincenzo Manca},
title={A Membrane System for the Leukocyte Selective Recruitment},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={181--190},
abstract={A formal description is developed for the phenomenon of leukocyte recruitment
that plays a critical role in the immune response. Due to its complex nature
and capability to rapidly adapt to the attack of infectious agents, the
immune system may be considered a typical example of complex adaptive system
[9]. Here the leukocyte selective recruitment, crucial in immunity, is
modeled as a dynamical system of interactions between leukocytes and endothelial
cells, where a special kind of membrane structure turns out to be a very
useful tool in the formal analysis of the recruitment process. In our membrane
system, besides the traditional rules for communication and transformation
of P systems [8], rules are allowed for the expression of receptors, for
adhesion between membranes, and for the encapsulation of a membrane inside
another membrane.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Franco:PreWMC2003:A_membrane_system_fo:03,
author={Giuditta Franco and Vincenzo Manca},
title={A membrane system for the leucocyte selective recruitment},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={222--230.}
}
@inproceedings{Hoogeboom:DLT2002:,
author={Hendrik Jan Hoogeboom},
title={Carriers and counters. {P} systems with carriers vs. (blind) counter automata},
booktitle={Developments in Language Theory, 6th International Conference, DLT 2002,
Kyoto, Japan, September 18-21, 2002, Revised Papers},
year={2003},
publisher={Springer-Verlag Heidelberg},
editor={Masami Ito and Masafumi Toyama},
pages={140--151},
abstract={P systems with carriers are shown to be computationally complete with only
a single membrane and two carriers. We argue that their power is due to
the maximal parallelism required in the application of the rules. In fact,
with a single carrier, these systems are equivalent to blind counter automata.
Finally, with a single passenger restriction the systems are again computationally
complete.},
series={Lecture Notes In Computer Science},
volume={2450}
}
@inproceedings{Arde:WMC-CdeA2002:Molecular_Biology_of:03,
author={Ioan I. Ardelean},
title={Molecular Biology of Bacteria and its Relevance for {P} systems},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={1--18},
abstract={We recall several elements of molecular biology of bacteria, also discussing
their (possible) relevance for the membrane computing area.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Arde:BWMC2003:Mechanosensitive_Cha:03,
author={Ioan I. Ardelean and Daniela Besozzi},
title={Mechanosensitive Channels, a Hot Topic in (Micro){B}iology: any Excitement
for {P} systems?},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={32--36}
}
@inproceedings{Arde:BWMC2003:Playing_with_a_Proba:03,
author={Ioan I. Ardelean and Matteo Cavaliere},
title={Playing with a Probabilistic {P} system Simulator: {M}athematical and Biological
Problems},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={37--45}
}
@inproceedings{Gia:WMC-CdeA2002:Accretive_rules_in_C:03,
author={Jean-Louis Giavitto and Olivier Michel},
title={Accretive rules in {Cayley} {P} systems},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={319--338},
abstract={During a discussion taking place at WMC'01, G. Paun put the question of
what could be computed only by moving symbols between membranes. In this
paper we provide some elements of the answer, in a setting similar to tissue
P systems, where the set of membranes is organized into a finite graph
or into a Cayley graph, and using a very simple propagation process characterizing
accretive growth. Our main result is to characterize the final configuration
as a least fixed point and to establish two series of approximations that
converge to it. All the notions introduced (Cayley graph of membranes,
accretive rule and iteration) have been implemented in the MGS programming
language and the two approximation series can be effectively computed in
Pressburger arithmetics using the omega calculator in the case of Abelian
Cayley graphs.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Semper:WMC2003:P_Systems_with_Exter:03,
author={Jose M. Sempere},
title={{P} systems with External Input and Learning Strategies},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={341--356},
abstract={This is a preliminary work in which we propose a variant of P systems by
adding in every region a dynamic engine that allows the change of the internal
rewriting rules along the computation time, obtaining in this way a new
family of P systems with adaptation to changing environments. They will
be called adaptative P systems. Here, the engine that we propose to act
inside every membrane is based on learning algorithms under the grammatical
inference framework. The behavior of every region changes according to
the information received from the external environment and the internal
regions.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Semp:PreWMC2003:P_systems_with_exter:03,
author={Jos{\'e} M. Sempere},
title={{P} systems with external input and learning strategies},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={445--448}
}
@inproceedings{Pazos:IWANN2003:Solving_SAT_in_linea:03,
author={Juan Pazos and Alfonso Rodr{\'i}guez-Pat{\'o}n and Andr{\'e}s Silva},
title={Solving {SAT} in linear time with a neural-like membrane system},
booktitle={Artificial Neural Nets. Problem Solving Methods 7th International Work-Conference
on Artificial and Natural Neural Networks, IWANN 2003, Ma{\'o}, Menorca, Spain,
June 3-6. Proceedings, Part II.},
year={2003},
publisher={Springer},
editor={Jos{\'e} Mira and Jos{\'e} R. Alvarez},
pages={662--669},
abstract={We present in this paper a neural-like membrane system solving the SAT problem
in linear time. These neural P systems are nets of cells working with multisets.
Each cell has a finite state memory, processes multisets of symbol-impulses,
and can send impulses ("excitations") to the neighboring cells. The maximal
mode of rules application and the replicative mode of communication between
cells are at the core of the efficiency of these systems.},
series={Lecture Notes in Computer Science},
volume={2687}
}
@inproceedings{SDer:WMC2003:P_Systems_Generating:03,
author={K. S. Dersanambika and Kamala Krithivasan and K. G. Subramanian},
title={{P} systems Generating Hexagonal Picture Languages},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={168--180},
abstract={P systems generating rectangular arrays have been recently introduced in
[1,2,3], thus bringing together the two areas of theoretical computer science,
namely membrane computing and picture grammars. In this paper, hexagonal
arrays on triangular grids are considered and the capabilities of the three
approaches [1,2,3] that construct P systems for generation of arrays on
rectangular grids, to handle arrays on triangular grids, are demonstrated.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Ders:PreWMC2003:P_systems_generating:03,
author={K.S. Dersanambika and Kamala Krithivasan and K.G. Subramanian},
title={{P} systems generating hexagonal picture languages},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={209--221}
}
@inproceedings{Krithi:BWMC2003:P_Automata_with_Tape:03,
author={Kamala Krithivasan},
title={{P Automata} with Tapes},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={216--225}
}
@inproceedings{Lakshm:PreWMC2003:On_the_power_of_tiss:03,
author={Kuppuswamy Lakshmanan and Raghavan Rama},
title={On the power of tissue {P} systems with insertion and deletion rules},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={304--318}
}
@inproceedings{Cienci:PreWMC2003:P_automata_with_prio:03,
author={Ludek Cienciala and Lucie Ciencialova},
title={{P} automata with priorities},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={161--168}
}
@inproceedings{Kudlek:WMC-CdeA2002:Considerations_on_a_:03,
author={Manfred Kudlek and Victor Mitrana},
title={Considerations on a Multiset Model for Membrane Computing},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Romania},
editor={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron},
pages={352--359},
abstract={We define, in an inductive way, structured multisets, as well as Chomsky-like
productions for such higher order multisets. The usefulness of the approach
for Petri nets and membrane computing is briefly discussed.},
series={Lecture Notes in Computer Science},
volume={2597}
}
@inproceedings{Gheorg:IWANN2003:An_agent_based_appro:03,
author={Marian Gheorghe and Carlos Mart{\'i}n-Vide and Victor Mitrana and Mario J. P{\'e}rez-Jim{\'e}nez},
title={An agent based approach of collective foraging},
booktitle={Artificial Neural Nets. Problem Solving Methods 7th International Work-Conference
on Artificial and Natural Neural Networks, IWANN 2003, Ma{\'o}, Menorca, Spain,
June 3-6. Proceedings, Part II.},
year={2003},
publisher={Springer},
editor={Jos{\'e} Mira and Jos{\'e} R. Alvarez},
pages={639--645},
abstract={In this paper the behaviour of a bee colony is modeled as a society of communicating
agents acting in parallel and synchronizing their behaviour. Two computational
models for defining the agents behaviour are introduced and compared and
tools developed for these models are briefly illustrated.},
series={Lecture Notes in Computer Science},
volume={2687}
}
@inproceedings{Gheorg:FBCI2003:Eilenberg_P_systems::03,
author={Marian Gheorghe and Mike Holcombe and Petros Kefalas},
title={Eilenberg {P} systems: a bio-computational model},
booktitle={Proc. First Balkan Conf. on Informatics},
year={2003},
address={Thessaloniki, Greece},
pages={147--160}
}
@inproceedings{Pere:PreWMC2003:A_linear-time_soluti:03,
author={Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'i}n Riscos-N{\'u}{\~n}ez},
title={A linear-time solution for the {Knapsack} problem using active membranes},
booktitle={Preproceedings of the Workshop on Membrane Computing},
year={2003},
month={July 17-22},
address={Tarragona},
editor={Artiom Alhazov and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={326--342}
}
@inproceedings{PerezJ:WMC2003:A_Linear-Time_Soluti:03,
author={Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'i}n Riscos-N{\'u}{\~n}ez},
title={A Linear-Time Solution to the {Knapsack} Problem Using {P} systems with
Active Membranes},
booktitle={Membrane Computing, International Workshop, WMC 2003, Tarragona, Spain,
July, 17-22, 2003, Revised Papers},
year={2003},
month={July},
publisher={Springer},
editor={Carlos Mart{\'i}n-Vide and Giancarlo Mauri and Gheorghe P{\u a}un and Grzegorz
Rozenberg and Arto Salomaa},
pages={250--268},
abstract={Up to now, P systems dealing with numerical problems have been rarely considered
in the literature. In this paper we present an effective solution to the
Knapsack problem using a family of deterministic P systems with active
membranes using 2-division. We show that the number of steps of any computation
is of linear order, but polynomial time is required for pre-computing resources.},
series={Lecture Notes in Computer Science},
volume={2933}
}
@inproceedings{Pere:BWMC2003:Complexity_Classes_i:03,
author={Mario J. P{\'e}rez-Jim{\'e}nez and Alvaro Romero-Jim{\'e}nez and Fernando Sancho-Caparrini},
title={Complexity Classes in Cellular Computing with Membranes},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={270--278},
abstract={In this paper we introduce four complexity classes for cellular computing
systems with membranes: the first and the second ones contain all decision
problems solvable in polynomial time by a family of deterministic P systems,
without and with an input membrane, respectively; the third and fourth
classes contain all decision problems solvable in polynomial time by a
family of non-deterministic P systems, without and with an input membrane,
respectively. We illustrate the usefulness of these classes by solving
two NP–complete problems, namely HPP and SAT, in both variants of P systems.}
}
@inproceedings{Pere:BWMC2003:Solving_VALIDITY_Pro:03,
author={Mario J. P{\'e}rez-Jim{\'e}nez and Alvaro Romero-Jim{\'e}nez and Fernando Sancho-Caparrini},
title={Solving {VALIDITY} Problem by Active Membranes with Input},
booktitle={Brainstorming Week on Membrane Computing, Tarragona, February 5-11 2003},
year={2003},
month={February 5-11},
address={Tarragona},
editor={Matteo Cavaliere and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
pages={279--290}
}
@inproceedings{PerezJ:WMC-CdeA2002:Decision_P_Systems_a:03,
author={Mario J. P{\'e}rez-Jim{\'e}nez and Alvaro Romero-Jim{\'e}nez and Fernando Sancho-Caparrini},
title={Decision {P} systems and the {P} $ \neq $ {NP} Conjecture},
booktitle={Membrane Computing: International Workshop, WMC-CdeA 2002, Curtea de Arges,
Romania, August 19-23, 2002. Revised Papers.},
year={2003},
month={July},
publisher={Springer-Verlag, Berlin},
address={Curtea de Arges, Ro