@article {10.1007/978-3-030-12797-8_14,
	title = {Design of Specific P Systems Simulators on GPUs},
	journal = {Membrane Computing},
	volume = {11399},
	year = {2019},
	pages = {202{\textendash}207},
	publisher = {Springer International Publishing},
	address = {Cham},
	abstract = {In order to validate P system models and to assist on their formal verification, simulators are indispensable. Moreover, having efficient simulation tools is crucial, and for this purpose, parallel platforms should be employed. So far, several parallel simulators for P systems have been developed, specifically targeting GPUs (Graphics Processing Units). Although being a hot topic within Membrane Computing, mapping P system parallelism on GPUs is still not a mature area. In the past, we have successfully accelerated the simulation of two specific families of P systems solving SAT with GPUs, and learned in the process some semantics ingredients that fit well on these parallel devices. We are extending this exploration by designing an specific simulator of a P system model for the FACTORIZATION problem. In this paper, we analyse the two main approaches for simulators, and depict some design decisions required for this case study.},
	isbn = {978-3-030-12797-8},
	doi = {10.1007/978-3-030-12797-8_14},
	url = {https://doi.org/10.1007/978-3-030-12797-8_14},
	author = {Miguel A. Mart{\'\i}nez-del-Amor and David Orellana-Mart{\'\i}n and Ignacio P{\'e}rez-Hurtado and Luis Valencia-Cabrera and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Thomas Hinze and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron}
}
@article {2211,
	title = {Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing},
	journal = {Enjoying Natural Computing: Essays Dedicated to Mario de Jes{\'u}s P{\'e}rez-Jim{\'e}nez on the Occasion of His 70th Birthday},
	year = {2018},
	month = {11/2018},
	pages = {237-255},
	publisher = {Springer International Publishing},
	doi = {https://doi.org/10.1007/978-3-030-00265-7_19},
	author = {{\'A}lvaro Romero-Jim{\'e}nez and David Orellana-Mart{\'\i}n},
	editor = {Carmen Graciani and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Gheorghe P{\u a}un and Gregorz Rozenberg and Arto Salomaa}
}
@article {2210,
	title = {Membrane Computing as a Modelling Tool: Looking Back and Forward from Sevilla},
	journal = {Enjoying Natural Computing: Essays Dedicated to Mario de Jes{\'u}s P{\'e}rez-Jim{\'e}nez on the Occasion of His 70th Birthday},
	year = {2018},
	month = {11/2018},
	pages = {114-129},
	publisher = {Springer International Publishing},
	doi = {https://doi.org/10.1007/978-3-030-00265-7_10},
	author = {Manuel Garc{\'\i}a-Quismondo and Carmen Graciani and Agust{\'\i}n Riscos-N{\'u}{\~n}ez},
	editor = {Carmen Graciani and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Gheorghe P{\u a}un and Gregorz Rozenberg and Arto Salomaa}
}
@article {2212,
	title = {A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua},
	journal = {Enjoying Natural Computing: Essays Dedicated to Mario de Jes{\'u}s P{\'e}rez-Jim{\'e}nez on the Occasion of His 70th Birthday},
	year = {2018},
	month = {11/2018},
	pages = {291-303},
	publisher = {Springer International Publishing},
	doi = {https://doi.org/10.1007/978-3-030-00265-7_23},
	author = {Luis Valencia-Cabrera and Miguel A. Mart{\'\i}nez-del-Amor and Ignacio P{\'e}rez-Hurtado},
	editor = {Carmen Graciani and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Gheorghe P{\u a}un and Gregorz Rozenberg and Arto Salomaa}
}
@article {2214,
	title = {Enjoying Natural Computing: Essays Dedicated to Mario de Jes{\'u}s P{\'e}rez-Jim{\'e}nez on the Occasion of His 70th Birthday},
	year = {2018},
	pages = {x+331},
	publisher = {Springer},
	isbn = {978-3-030-00265-7},
	doi = {https://doi.org/10.1007/978-3-030-00265-7},
	url = {https://link.springer.com/book/10.1007/978-3-030-00265-7},
	editor = {Carmen Graciani and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa}
}
@article {945,
	title = {DCBA: Simulating population dynamics P systems with proportional objects distribution},
	journal = {Lecture Notes in Computer Science},
	year = {2013},
	pages = {257-276},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	abstract = {Population Dynamics P systems provide a formal framework for ecological modelling having a probabilistic (while keeping the maximal parallelism). Several simulation algorithms have been developed always trying to reach higher reliability in the way they reproduce the behaviour of the ecosystems being modelled.
It is natural for those algorithms to classify the rules into blocks, comprising rules that share identical left-hand side. Previous algorithms, such as the Binomial Block Based (BBB) or the Direct Non Deterministic distribution with Probabilities (DNDP), do not define a deterministic behaviour for blocks of rules competing for the same resources. In this paper we introduce the Direct distribution based on Consistent Blocks Algorithm (DCBA), a simulation algorithm which addresses that inherent non-determinism of the model by distributing proportionally the resources.},
	issn = {0302-9743},
	doi = {10.1007/978-3-642-36751-9_18},
	url = {http://link.springer.com/chapter/10.1007/978-3-642-36751-9_18},
	author = {Miguel A. Mart{\'\i}nez-del-Amor and Ignacio P{\'e}rez-Hurtado and Manuel Garc{\'\i}a-Quismondo and Luis F. Mac{\'\i}as-Ramos and Luis Valencia-Cabrera and {\'A}lvaro Romero-Jim{\'e}nez and Carmen Graciani-D{\'\i}az and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and M. Angels Colomer and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Erzsebet Csuhaj-Varj{\'u} and Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Gy{\"o}rgy Vaszil}
}
@article {946,
	title = {The efficiency of tissue P systems with cell separation relies on the environment},
	journal = {Lecture Notes in Computer Science},
	year = {2013},
	pages = {7762 (2013), 257-276},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	abstract = {The classical definition of tissue P systems includes a distinguished alphabet with the special assumption that its elements are available in an arbitrarily large amount of copies. These objects are shared in a distinguished place of the system, called the environment. This ability of having infinitely many copies of some objects has been widely exploited in the design of efficient solutions to computationally hard problems by means of tissue P systems.
This paper deals with computational aspects of tissue P systems with cell separation where there is no such environment as described above. The main result is that only tractable problems can be efficiently solved by using this kind of P systems. Bearing in mind that NP{\textendash}complete problems can be efficiently solved by using tissue P systems without environment and with cell division, we deduce that in the framework of tissue P systems without environment, the kind of rules (separation versus division) provides a new frontier of the tractability of decision problems.},
	issn = {0302-9743},
	url = {http://link.springer.com/chapter/10.1007/978-3-642-36751-9_17},
	author = {Luis F. Mac{\'\i}as-Ramos and Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Miquel Rius-Font},
	editor = {Erzsebet Csuhaj-Varj{\'u} and Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Gy{\"o}rgy Vaszil}
}
@article {947,
	title = {Spiking Neural P systems with functional astrocytes},
	journal = {Lecture Notes in Computer Science},
	year = {2013},
	pages = {228-242},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	abstract = {Spiking Neural P Systems (SN P Systems, for short) is a developing field within the universe of P Systems. New variants arise constantly as the study of their properties, such as computational completeness and computational efficiency, grows. Variants frequently incorporate new ingredients into the original model inspired by real neurophysiological structure of the brain. Astrocytes are one of the elements existing in that structure. Also known collectively as astroglia, astrocytes are characteristic star-shaped glial cells in the brain and spinal cord. In this paper, a new variant of Spiking Neural P Systems incorporating astrocytes is introduced. These astrocytes are modelled as computing devices capable of performing function computation in a single computation step. In order to experimentally study the action of Spiking Neural P Systems with astrocytes, it is necessary to develop software providing the required simulation tools. Within this trend, P{\textendash}Lingua offers a standard language for the definition of P Systems. Part of the same software project, pLinguaCore library provides particular implementations of parsers and simulators for the models specified in P{\textendash}Lingua. Along with the new SN P System variant with astrocytes, an extension of the P{\textendash}Lingua language allowing definition of these systems is presented in this paper, as well as an upgrade of pLinguaCore, including a parser and a simulator that supports the aforementioned variant.},
	issn = {0302-9743 },
	url = {http://link.springer.com/chapter/10.1007/978-3-642-36751-9_16},
	author = {Luis F. Mac{\'\i}as-Ramos and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Erzsebet Csuhaj-Varj{\'u} and Marian Gheorghe and Grzegorz Rozenberg and Arto Salomaa and Gy{\"o}rgy Vaszil}
}
@article {744,
	title = {P and dP automata: A survey},
	journal = {Lecture Notes in Computer Science},
	volume = {6570},
	year = {2011},
	month = {04/2011},
	pages = {102-115},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	abstract = {This is a quick survey of basic notions and results related to P automata (P systems with symport/antiport rules working in the accepting mode), with some emphasis on the recently introduced dP automata (a distributed version of the standard P automata), ending with some open problems and research topics which we find of interest in this area. },
	isbn = {978-3-642-19390-3},
	issn = {0302-9743},
	doi = {10.1007/978-3-642-19391-0},
	url = {http://www.springerlink.com/content/1x4w1580260x4833/},
	author = {Gheorghe Paun and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Cristian Calude and Grzegorz Rozenberg and Arto Salomaa}
}
@article {731,
	title = {Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers. Preface},
	journal = {Lecture Notes in Computer Science},
	volume = {6501},
	year = {2011},
	month = {02/2011},
	pages = {v-vi},
	publisher = {Springer},
	address = {Amsterdam, The Netherlands},
	isbn = {978-3-642-18123-8},
	issn = {0302-9743},
	doi = {10.1007/978-3-642-18123-8},
	url = {http://www.springerlink.com/content/978-3-642-18122-1$\#$section=843535\&page=4\&locus=0},
	author = {Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {730,
	title = {Membrane Computing 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers},
	journal = {Lecture Notes in Computer Science},
	volume = {6501},
	year = {2011},
	pages = {ix+392},
	publisher = {Springer Verlag ProBusiness Berlin},
	address = {Berlin, Germany},
	isbn = {978-3-642-18123-8},
	issn = {0302-9743},
	doi = {10.1007/978-3-642-18123-8},
	url = {http://www.springerlink.com/content/978-3-642-18122-1$\#$section=843535\&page=8\&locus=58},
	author = {Marian Gheorghe and Thomas Hinze and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {832,
	title = {Preface},
	journal = {Fundamenta Informaticae},
	volume = {110},
	year = {2011},
	pages = {1},
	publisher = {IOS Press},
	address = {Warsaw, Poland},
	issn = {0169-2968},
	url = {http://fi.mimuw.edu.pl/index.php/FI},
	author = {Juhani Karhumaki and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {592,
	title = {Active membranes},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {282-301},
	publisher = {Oxford University Press},
	chapter = {11},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Gheorghe Paun},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {522,
	title = {Complexity: membrane division, membrane creation},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {302-336},
	publisher = {Oxford University Press},
	chapter = {12},
	address = {New York (United States)},
	isbn = {978-0-19-955667-0},
	url = {http://www.us.oup.com/us/catalog/general/subject/Mathematics/ComputerScience/?view=usa\&sf=toc\&ci=9780199556670},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and {\'A}lvaro Romero-Jim{\'e}nez and Damien Woods},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {594,
	title = {Computability Elements for Membrane Computing},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {58-82},
	publisher = {Oxford University Press},
	chapter = {3},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {596,
	title = {An Introduction to and an Overview of Membrane Computing},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {1-27},
	publisher = {Oxford University Press},
	chapter = {1},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Gheorghe Paun and Grzegorz Rozenberg},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {593,
	title = {Membrane Computing and Economics},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {632-644},
	publisher = {Oxford University Press},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Gheorghe Paun},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {518,
	title = {Membrane Computing, WMC 2009},
	journal = {Lecture Notes in Computer Science},
	volume = {5957},
	year = {2010},
	pages = {IX+487},
	publisher = {Springer-Verlag},
	edition = {1},
	address = {Berl{\'\i}n, Alemania},
	isbn = {978-3-642-11466-3},
	doi = {http://dx.doi.org/10.1007/978-3-642-11467-0},
	url = {http://www.springer.com/computer/foundations/book/978-3-642-11466-3},
	author = {Gheorghe Paun and Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'\i}n Riscos-N{\'u}{\~n}ez and Grzegorz Rozenberg and Arto Salomaa}
}
@article {597,
	title = {Other Topics},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {654-663},
	publisher = {Oxford University Press},
	chapter = {23},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Gheorghe Paun and Grzegorz Rozenberg},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {549,
	title = {The Oxford Handbook of Membrane Computing},
	journal = {Oxford University Press},
	year = {2010},
	pages = {xiv+664},
	publisher = {Oxford University Press},
	abstract = {Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. This handbook provides both a comprehensive survey of available knowledge and established research topics, and a guide to recent developments in the field, covering the subject from theory to applications. The handbook is suitable both for introducing novices to this area of research, and as a main source of reference for active researchers. It sets out the necessary biological and formal background, with the introductory chapter serving as a gentle introduction to and overview of membrane computing. Individual chapters, written by leading researchers in membrane computing, present the state of the art of all main r{\textquoteleft}search trends and include extensive bibliographies.},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {595,
	title = {P Systems with Objects on Membranes},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {363-388},
	publisher = {Oxford University Press},
	chapter = {14},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Matteo Cavaliere and Shankara N. Krishna and Andrei Paun and Gheorghe Paun},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {591,
	title = {Probabilistic/Stochastic Models},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {455-474},
	publisher = {Oxford University Press},
	chapter = {18},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.oup.com.au/titles/academic/maths/9780199556670},
	author = {Paolo Cazzaniga and Marian Gheorghe and Natalio Krasnogor and Giancarlo Mauri and Dario Pescini and Francisco J. Romero-Campero},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {523,
	title = {Software for P systems},
	journal = {The Oxford Handbook of Membrane Computing},
	year = {2010},
	pages = {437-454},
	publisher = {Oxford University Press},
	chapter = {17},
	address = {Oxford (U.K.)},
	isbn = {9780199556670},
	url = {http://www.us.oup.com/us/catalog/general/subject/Mathematics/ComputerScience/?view=usa\&sf=toc\&ci=9780199556670},
	author = {Daniel D{\'\i}az-Pernil and Carmen Graciani-D{\'\i}az and Miguel A. Guti{\'e}rrez-Naranjo and Ignacio P{\'e}rez-Hurtado and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {489,
	title = {Membrane Computing schema: A new approach to computation using string insertion},
	journal = {Algorithmic Bioprocesses},
	volume = {V},
	year = {2009},
	note = {A. Condon, D. Harel, J.N. Kon, A. Salomaa, E. Winfree (eds)},
	pages = {293-309},
	publisher = {Springer-Verlag},
	abstract = {In this paper, we introduce the notion of a membrane computing schema for string objects. We propose a computing schema for a membrane network (i.e., tissue-like membrane system) where each membrane performs unique type of operations at a time and sends the result to others connected through the channel. The distinguished features of the computing models obtained from the schema are:
1.  	only context-free insertion operations are used for string generation,
2.  	some membranes assume filtering functions for structured objects (molecules),
3.  	generating model and accepting model are obtained in the same schema, and both are computationally universal,
4.  	several known rewriting systems with universal computability can be reformulated by the membrane computing schema in a uniform manner.
The first feature provides the model with a simple uniform structure which facilitates a biological implementation of the model, while the second feature suggests further feasibility of the model in terms of DNA complementarity.
Through the third and fourth features, one may have a unified view of a variety of existing rewriting systems with Turing computability in the framework of membrane computing paradigm.
},
	isbn = {978-3-540-88868-0},
	issn = {1619-7127},
	doi = {10.1007/978-3-540-88869-7},
	url = {http://www.springerlink.com/content/p3205203u433797g/},
	author = {Mario J. P{\'e}rez-Jim{\'e}nez and Takashi Yokomori},
	editor = {A. Condon and D. Harel and J. N. Kon and Arto Salomaa and Eric Winfree}
}
@article {554,
	title = {Membrane Computing. International Workshop WMC9},
	journal = {Lecture Notes in Computer Science},
	number = {5391},
	year = {2009},
	pages = {IX+402},
	publisher = {Springer Berlin / Heidelberg},
	abstract = {This book constitutes the thoroughly refereed extended postproceedings of the 9th International Workshop on Membrane Computing, WMC 2008, held in Edinburgh, UK, in July 2008 under the auspices of the European Molecular Computing Consortium (EMCC) and the Molecular Computing Task Force of IEEE Computational Intelligence Society.

The 22 revised full papers presented together with 5 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations.},
	isbn = {978-3540958840},
	author = {David W. Corne and Pierluigi Frisco and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {488,
	title = {Spiking neural P systems: Recent results, research topics},
	journal = {Algorithmic Bioprocesses},
	volume = {V},
	year = {2009},
	note = {A. Condon, D. Harel, J.N. Kon, A. Salomaa, E. Winfree (eds)},
	pages = {273-291},
	publisher = {Springer-Verlag},
	abstract = {After a quick introduction of spiking neural P systems (a class of P
systems inspired from the way neurons communicate by means of spikes, electrical
impulses of identical shape), and presentation of typical results (in general equiva-
lence with Turing machines as number computing devices, but also other issues, such
as the possibility of handling strings or infinite sequences), we present a long list of
open problems and research topics in this area, also mentioning recent attempts to
address some of them. The bibliography completes the information offered to the
reader interested in this research area.
},
	url = {http://www.gcn.us.es/6BWMC/leidenGR65.pdf},
	author = {Gheorghe Paun and Mario J. P{\'e}rez-Jim{\'e}nez},
	editor = {A. Condon and D. Harel and J. N. Kon and Arto Salomaa and Eric Winfree}
}
@article {403,
	title = {Active membrane systems without charges and using only symmetric elementary division characterise P},
	journal = {8th Workshop on Membrane Computing},
	volume = {4860},
	year = {2007},
	note = {Membrane Computing
8th International Workshop, WMC 2007
Thessaloniki, Greece, June 25-28, 2007
Revised Selected and Invited Papers},
	month = {June 25-28},
	pages = {367-384},
	publisher = {Springer},
	address = {Thessaloniki, Greece},
	url = {http://www.cs.us.es/~dwoods/download/MurphyWoods-WMC07.pdf},
	author = {Niall Murphy and Damien Woods},
	editor = {George Eleftherakis and Petros Kefalas and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@proceedings {560,
	title = {Proceedings of the Eighth Workshop on Membrane Computing WMC8},
	journal = {Eighth Workshop on Membrane Computing WMC8},
	volume = {4860},
	year = {2007},
	month = {25/06/2007},
	pages = {XI+453},
	publisher = {Springer},
	address = {Thessaloniki, Greece},
	isbn = {978-3-540-77311-5},
	doi = {10.1109/SYNASC.2008.44 },
	url = {http://www.springer.com/computer/theoretical+computer+science/foundations+of+computations/book/978-3-540-77311-5?cm_mmc=Google-_-Book\%20Search-_-Springer-_-0},
	author = {George Eleftherakis and Petros Kefalas and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {558,
	title = {Membrane Computing. International Workshop WMC8},
	journal = {International Workshop WMC8},
	number = {4860},
	year = {2007},
	pages = {XI+452},
	publisher = {Springer-Verlag},
	abstract = {This book constitutes the thoroughly refereed extended postproceedings of the 8th International Workshop on Membrane Computing, WMC 2007, held in Thessaloniki, Greece, in June 2007 under the auspices of the European Molecular Computing Consortium (EMCC). The 22 revised full papers presented together with 5 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science to application issues. A special attention was paid to the interaction of membrane computing with biology and computer science, focusing both on the biological roots of membrane computing, on applications of membrane computing in biology and medicine, and on possible electronically based implementations.},
	isbn = {978-3-540-77311-5},
	url = {http://www.springer.com/computer/theoretical+computer+science/foundations+of+computations/book/978-3-540-77311-5?cm_mmc=Google-_-Book\%20Search-_-Springer-_-0},
	author = {George Eleftherakis and Petros Kefalas and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {48,
	title = {Spiking neural P systems: An early survey},
	journal = {International Journal of Foundations of Computer Science},
	volume = {18},
	year = {2007},
	pages = {435-455},
	publisher = {World Scientific},
	address = {London, U.K.},
	keywords = {68Q10 (AMSC), 68Q42 (AMSC), 68Q45 (AMSC), chomsky hierarchy, Membrane computing, normal form, P system, register machine, semilinear set, spiking neuron},
	issn = {0129-0541},
	doi = {10.1142/S0129054107004772},
	url = {http://www.worldscinet.com/cgi-bin/details.cgi?id=voliss:ijfcs_1803\&type=toc},
	author = {Gheorghe Paun and Mario J. P{\'e}rez-Jim{\'e}nez and Arto Salomaa}
}
@proceedings {562,
	title = {Pre-proceedings of the 7th Workshop on Membrane Computing},
	journal = {7th Workshop on Membrane Computing},
	volume = {4361},
	year = {2006},
	month = {17/07/2006},
	pages = {IX+537},
	publisher = {Springer},
	address = {Leiden, The Netherlands},
	abstract = {This book constitutes the thoroughly refereed extended postproceedings of the 7th International Workshop on Membrane Computing, WMC 2006, held in Leiden, Netherlands in July 2006.

The 27 revised full papers presented together with 7 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, and to application issues. Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine.},
	keywords = {bioinformatics, Biological membrane systems, Biologically inspired computing, Brane calculi, complexity theory, Computational power, formal languages, information processing in cells, Membrane computing, molecular computing, Natural computing, P systems},
	isbn = {9783540690887},
	url = {http://www.springer.com/computer/theoretical+computer+science/foundations+of+computations/book/978-3-540-69088-7?cm_mmc=Google-_-Book\%20Search-_-Springer-_-0},
	author = {Hendrik J. Hoogeboom and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {Bounding the indegree of Spiking Neural P systems},
	journal = {Turku Center for Computer Science - TUCS},
	volume = {773},
	year = {2006},
	pages = {1-8},
	address = {Turku, Finlandia},
	abstract = {We continue the search of normal forms for spiking neural p systems, and we prove that the indegree of such systems (the maximal number of incoming synapses of neurons) can be bounded by 2 without losing the computational completeness.},
	keywords = {indegree of graph, Membrane computing, recursively enumerable, spike train, spiking neuron, synapses},
	url = {http://www.tucs.fi/publications/attachment.php?fname=TR773.pdf},
	author = {Gheorghe Paun and Mario J. P{\'e}rez-Jim{\'e}nez and Arto Salomaa}
}
@article {205,
	title = {Membrane Computing (6th International Workshop, WMC 2005, Revised Selected and Invited Papers)},
	journal = {Lecture Notes in Computer Science},
	volume = {3850 },
	year = {2006},
	note = {Rudolf Freund; Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa (eds.)},
	publisher = {Springer-Verlag},
	address = {Berl{\'\i}n, Alemania},
	isbn = {3-540-30948-9},
	issn = {03029743},
	author = {Rudolf Freund and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {206,
	title = {Membrane Computing (7th International Workshop, WMC 2006 Leiden, The Netherlands, July 2006)},
	journal = {Lecture Notes in Computer Science},
	volume = {4361},
	year = {2006},
	note = {Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa; Hendrik Jan Hoogeboom (Eds.)},
	publisher = {Springer-Verlag},
	address = {Berl{\'\i}n, Alemania},
	isbn = {3-540-69088-3},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Hendrik J. Hoogeboom}
}
@article {561,
	title = {Membrane Computing. International workshop WMC7},
	journal = {Lecture Notes in Computer Science},
	number = {4361},
	year = {2006},
	pages = {IX+553},
	publisher = {Springer-Verlag},
	abstract = {This book constitutes the thoroughly refereed extended postproceedings of the 7th International Workshop on Membrane Computing, WMC 2006, held in Leiden, Netherlands in July 2006.

The 27 revised full papers presented together with 7 invited papers went through two rounds of reviewing and improvement. The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, and to application issues. Special attention was paid to the interaction of membrane computing with biology, focusing both on the biological roots of membrane computing and on applications of membrane computing in biology and medicine.},
	keywords = {bioinformatics, Biological membrane systems, Biologically inspired computing, Brane calculi, complexity theory, Computational power, formal languages, information processing in cells, Membrane algorithms, Membrane computing, membrane systems, P systems},
	isbn = {978-3-540-69088-7},
	url = {http://www.springer.com/computer/theoretical+computer+science/foundations+of+computations/book/978-3-540-69088-7?cm_mmc=Google-_-Book\%20Search-_-Springer-_-0},
	author = {Hendrik J. Hoogeboom and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {Dnk Kompjuter. Novaja Paradigms Vytsislenii},
	year = {2005},
	note = {Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa (coautores)},
	pages = {527},
	publisher = {Izdatelstvo Mir},
	address = {Rusia},
	isbn = {5-03-003480-3 },
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {Membrane Computing (5th International Workshop, WMC 2004, Revised, Selected and Invited Papers).},
	journal = {Lecture Notes in Computer Science},
	volume = {3365},
	year = {2005},
	note = {Giancarlo Mauri; Gheorghe Paun; Mario J. P{\'e}rez-Jim{\'e}nez; Grzegorz Rozenberg; Arto Salomaa (eds.) },
	pages = {IX+415},
	publisher = {Springer-Verlag},
	address = {Berl{\'\i}n, Alemania},
	keywords = {bioinformatics, Biologically inspired computing, cell communication, complexity theory, formal languages, information processing in cells, Membrane computing, membrane systems, molecular computing, Natural computing, P systems},
	isbn = {3-540-25080-8},
	url = {http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-156-22-44223445-0,00.html},
	author = {Giancarlo Mauri and Gheorghe Paun and Mario J. P{\'e}rez-Jim{\'e}nez and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {Current Trends in Theoretical Computer Science. The Challenge of the New Century },
	year = {2004},
	note = {Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa (eds.)},
	publisher = {World Scientific},
	address = {New Jersey, Estados Unidos},
	isbn = {981-238-965-2},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {Current Trends in Theoretical Computer Science. The Challenge of the New Century. Vol 1: Algorithms and Complexity},
	year = {2004},
	note = {Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa (eds.)},
	pages = {676},
	publisher = {World Scientific Publishing Company},
	address = {Singapur, Singapur},
	isbn = {981-238-966-0},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {DNA Computing. New Computing Paradigms (Translation in the Simplified Version of the English Version)},
	year = {2004},
	pages = {354},
	publisher = {Springer-Verlag},
	address = {Wuhan},
	isbn = {7-302-08658-3 },
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {Membrane Computing (International Workshop, WMC 2003, Revised Papers)},
	year = {2004},
	note = {Gheorghe Paun; Grzegorz Rozenberg; Arto Salomaa; Giancarlo Mauri; Carlos Mart{\'\i}n-Vide (eds.)},
	pages = {383},
	publisher = {Springer-Verlag},
	address = {Berl{\'\i}n Alemania},
	isbn = {3-540-20895-X},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Giancarlo Mauri and Carlos Mart{\'\i}n-Vide}
}
@article {,
	title = {From Watson-Crick L systems to Darwinian P systems },
	journal = {Natural Computing},
	volume = {2},
	year = {2003},
	pages = {299-318},
	publisher = {Springer Verlag},
	address = {Amsterdam, Netherlands},
	abstract = {Watson-Crick L systems are language generating devices making use of Watson-Crick complementarity, a fundamental concept of DNA computing. These devices are Lindenmayer systems enriched with a trigger for complementarity transition: if a {\textquoteleft}{\textquoteleft}bad{\textquoteright}{\textquoteright} string is obtained, then the derivation continues with its complement which is always a {\textquoteleft}{\textquoteleft}good{\textquoteright}{\textquoteright} string. Membrane systems or P systems are distributed parallel computing models which were abstracted from the structure and the way of functioning of living cells. In this paper, we first interpret the results known about the computational completeness of Watson-Crick E0L systems in terms of membrane systems, then we introduce a related way of controlling the evolution in P systems, by using the triggers not in the operational manner (i.e., turning to the complement in a {\textquoteleft}{\textquoteleft}bad{\textquoteright}{\textquoteright} configuration), but in a {\textquoteleft}{\textquoteleft}Darwinian{\textquoteright}{\textquoteright} sense: if a {\textquoteleft}{\textquoteleft}bad{\textquoteright}{\textquoteright} configuration is reached, then the system {\textquoteleft}{\textquoteleft}dies{\textquoteright}{\textquoteright}, that is, no result is obtained. The triggers (actually, the checkers) are given as finite state multiset automata. We investigate the computational power of these P systems. Their computational completeness is proved, even for systems with non-cooperative rules, working in the non-synchronized way, and controlled by only two finite state checkers; if the systems work in the synchronized mode, then one checker for each system suffices to obtain the computational completeness.

},
	keywords = {L system, Membrane computing, P system, recursively enumerable language, Watson-Crick complementarity},
	issn = {1567-7818},
	doi = {10.1023/A:1025415914487},
	url = {http://www.springerlink.com/index/WV5LT5870636N784.pdf},
	author = {Erzsebet Csuhaj-Varj{\'u} and Carlos Mart{\'\i}n-Vide and Gheorghe Paun and Arto Salomaa}
}
@article {,
	title = {Membrane Computing (International Workshop, WMC-CDEA 2002, Revised Papers)},
	year = {2003},
	pages = {VIII+421},
	publisher = {Springer-Verlag},
	address = {Berl{\'\i}n, Alemania},
	isbn = {3-540-00611-7},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron}
}
@article {628,
	title = {Membrane Computing, International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers},
	journal = {Lecture Notes in Computer Science},
	volume = {2597},
	year = {2003},
	publisher = {Springer},
	isbn = {3-540-00611-7},
	url = {http://dblp.uni-trier.de/db/conf/wmp/wmc2002.html},
	author = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa and Claudio Zandron}
}
@article {,
	title = {Topics in the theory of DNA computing},
	journal = {Theoretical Computer Science},
	volume = {287},
	year = {2002},
	pages = {3 - 38   },
	publisher = {Elsevier},
	address = {Amsterdam (The Netherlands)},
	abstract = {DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications of DNA computing. In this paper, we demonstrate the theoretical developments by discussing a number of selected topics. We also give an introduction to the basic structure of DNA and the basic DNA processing tools. 


},
	keywords = {biomolecular tool box, Boolean circuits, cryptography, DNA computing, DNA molecules, molecular computing, recursively enumerable languages, splicing systems, turing universality},
	issn = {0304-3975 },
	doi = {10.1016/S0304-3975(02)00134-2 },
	author = {Martyn Amos and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
@article {,
	title = {Topics in the theory of DNA computing},
	journal = {Theoretical Computer Science},
	volume = {287},
	year = {2002},
	pages = {3 - 38   },
	publisher = {Elsevier},
	address = {Amsterdam (The Netherlands)},
	abstract = {DNA computing, or, more generally, molecular computing, is an exciting fast developing interdisciplinary area. Research in this area concerns theory, experiments, and applications of DNA computing. In this paper, we demonstrate the theoretical developments by discussing a number of selected topics. We also give an introduction to the basic structure of DNA and the basic DNA processing tools. 


},
	keywords = {biomolecular tool box, Boolean circuits, cryptography, DNA computing, DNA molecules, molecular computing, recursively enumerable languages, splicing systems, turing universality},
	issn = {0304-3975},
	doi = {10.1016/S0304-3975(02)00134-2 },
	url = {http://www.ingentaconnect.com/content/els/03043975/2002/00000287/00000001/art00134},
	author = {Martyn Amos and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}
}
