@techreport{Alhazov.Verlan:TinySA:2008,
  author       = {Artiom Alhazov and Sergey Verlan},
  title        = {Minimization Strategies for Maximally Parallel
                  Multiset Rewriting Systems},
  institution  = {Turku Centre for Computer Science},
  type         = {Technical Report},
  number       = {862},
  year         = {2008},
  bibdate      = {03/03/08},
  abstract     = {Maximally parallel multiset rewriting systems (MPMRS) present
                  a convenient way to express relations between unstructured objects.
                  The functioning of various computational devices may be expressed in terms
                  of MPMRS (e.g. register machines and many variants of P systems).
                  In particular, this means that MPMRS are computationally complete;
                  however, a direct translation leads to quite a big number of rules.
                  Like for other classes of computationally complete devices
                  there is a challenge to find a universal system having the smallest number
                  of rules. In this article we present different rule minimization strategies
                  for MPMRS based on encodings and structural transformations.
                  We apply these strategies to the translation of a small universal
                  register machine (Korec, 1996) and we show that there exists
                  a universal MPMRS with 23 rules. Since MPMRS are identical to a restricted
                  variant of P systems with antiport rules, the results we obtained improve
                  previously known results on the number of rules for that systems.},
  url          = {http://tucs.fi/publications/insight.php?id=tAlVe08a},
}

@TechReport{	  Murphy.ea:NL-using-membrane-systems-without-charges.dissolution,
  author       = {Niall Murphy and Damien Woods},
  title        = {A characterisation of {NL} using membrane systems without
                  charges and dissolution},
  institution  = {Department of Computer Science, National University of
                  Ireland, Maynooth},
  year         = {2008},
  type         = {Technical Report},
  number       = {2008-01},
}

@techreport{Cavaliere:Modelling_Cellular_Processes:TR7/2006,
  author       = {Matteo Cavaliere and S. Sedwards},
  title        = {Modelling Cellular Processes using Membrane Systems with Peripheral and
                  Integral Proteins},
  institution  = {Microsoft Research - University of Trento, Centre for Computational and
                  Systems Biology},
  address      = {Trento, Italy},
  number       = {07/2006},
  note         = {Technical Report 7/2006, Microsoft Research - University of Trento, Centre
                  for Computational and Systems Biology},
}

@techreport{Paun:CDMTCS_TR_101:Multiset_Proces:U,
	author={Gheorghe P{\u a}un and Gabriel Thierrin},
	title={Multiset Processing by Means of Systems of Finite State Transducers},
	institution={University of Auckland},
	number={101},
	note={CDMTCS Report (www.cs.auckland.ac.nz/CDMTCS)}
}

@techreport{Paun:TUCS_208_98:Computing_with:98,
	author={Gheorghe P{\u a}un},
	title={Computing with Membranes},
	institution={Turku Center for Computer Science-TUCS},
	year={1998},
	number={208},
	note={(www.tucs.fi)}
}

@techreport{Paun:TUCS_218_98:Membrane_Comput:98,
	author={Gheorghe P{\u a}un and Grzegorz Rozenberg and Arto Salomaa},
	title={Membrane Computing with External Output},
	institution={Turku Center for Computer Science-TUCS},
	year={1998},
	number={218},
	note={Report No 218 (www.tucs.fi)}
}

@techreport{Paun:UWO_TR_539_00:On_Synchronizat:99,
	author={Gheorghe P{\u a}un and Sheng Yu},
	title={On Synchronization in {P} systems},
	institution={University of Western Ontario},
	year={1999},
	address={Ontario, Canada},
	number={539},
	note={Report TR 539 (www.csd.uwo.ca/faculty/syu/TR539.html)}
}

@techreport{Calude:CDMTCS_117:Glimpse:2000,
	author={Cristian S. Calude and Gheorghe P{\u a}un and Monica Tatar{\^a}m},
	title={A Glimpse into Natural Computing},
	institution={CDMTCS University of Auckland},
	year={2000},
	number={117}
}

@techreport{Atanas:RiVU_TR_14_00:P_Systems_and_C:00,
	author={Adrian Atanasiu and Carlos Mart{\'i}n-Vide},
	title={{P} systems and Context-Free Languages},
	institution={Rovira i Virgili University},
	year={2000},
	address={Tarragona, Spain},
	number={14/00},
	note={Technical Report 14/00 of Research Group on Mathematical Linguistics},
	pages={37--51}
}

@techreport{Paun:CDMTCS_TR_119_00:Computing_with:00,
	author={Gheorghe P{\u a}un},
	title={Computing with Membranes ({P} systems): Twenty Six Research Topics},
	institution={University of Auckland},
	year={2000},
	number={119},
	note={CDMTCS TR 119 (www.cs.auckland.ac.nz/ CDMTCS)}
}

@techreport{Castel:CDMTCS_TR_123_00:P_Systems_with:00,
	author={Juan Castellanos and Gheorghe P{\u a}un and Alfonso Rodr{\'i}guez-Pat{\'o}n},
	title={{P} systems with Worm-Objects},
	institution={University of Auckland},
	year={2000},
	number={123},
	note={www.cs.auckland.ac.nz/CDMTCS}
}

@techreport{Kudlek:CDMTCS_TR_140_00:Toward_FMT_(For:00,
	author={Manfred Kudlek and Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
	title={Toward {FMT} ({F}ormal {M}acroset {T}heory)},
	institution={University of Auckland},
	year={2000},
	number={140},
	pages={149--158}
}

@techreport{Malita:CDMTCS_TR_140_00:Membrane_Comput:00,
	author={Mihaela Malita},
	title={Membrane Computing in {P}rolog},
	institution={University of Auckland},
	year={2000},
	number={140},
	pages={159--175}
}

@techreport{Frisco:CDMTCS_TR_140_00:Membrane_Comput:00,
	author={Pierluigi Frisco},
	title={Membrane Computing Based on Splicing: Improvements},
	institution={University of Auckland},
	year={2000},
	number={140},
	pages={100--111}
}

@techreport{Rama:CDMTCS_TR_140_00:Computing_with:00,
	author={Raghavan Rama},
	title={Computing with {P} systems},
	institution={University of Auckland},
	year={2000},
	number={140},
	pages={218--235}
}

@techreport{NKri:CDMTCS_TR_140_00:Computing_with:00,
	author={Shankara Narayanan Krishna},
	title={Computing with Simple {P} systems},
	institution={University of Auckland},
	year={2000},
	number={140},
	pages={124--137}
}

@techreport{Manca:CDMTCS_TR_140_00:Monoidal_System:00,
	author={Vincenzo Manca},
	title={Monoidal Systems and Membrane Systems},
	institution={University of Auckland},
	year={2000},
	number={140},
	note={CDMTCS TR 140},
	pages={176--190}
}

@techreport{Suzuki:CDMTCS_TR_140_00:Artificial_Life:00,
	author={Yasuhiro Suzuki and Hiroshi Tanaka},
	title={Artificial Life and {P} systems},
	institution={University of Auckland},
	year={2000},
	number={140},
	pages={265--285}
}

@techreport{Atanas:RiVU_TR_17_01:Recursive_Calcu:01,
	author={Adrian Atanasiu and Carlos Mart{\'i}n-Vide},
	title={Recursive Calculus with Membranes},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={31--44}
}

@techreport{Paun:RiVU_TR_17_01:P_Systems_with:01,
	author={Andrei P{\u a}un},
	title={{P} systems with String-Objects: Universality Results},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={229--242}
}

@techreport{Martin:RiVU_TR_21_01:Elements_of_For:01,
	author={Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un},
	title={Elements of Formal Language Theory for Membrane Computing},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={21/01},
	note={Technical Report 21/01 of Research Group on Mathematical Linguistics}
}

@techreport{Ferret:RiVU_TR_17_01:On_Three_Varian: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},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={63--76}
}

@techreport{Nico:RiVU_TR_17_01:A_C_Library_f: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
		(Abstract)},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={221--222}
}

@techreport{Arroyo:RiVU_TR_17_01:A_Recursive_Alg: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},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={19--30}
}

@techreport{Cioban:RiVU_TR_17_01:Gene_Expression:01,
	author={Gabriel Ciobanu and Bogdan Tanasa},
	title={Gene Expression by Software Mechanisms.},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={51--62}
}

@techreport{Cioban:RiVU_TR_17_01:Membrane_Softwa:01,
	author={Gabriel Ciobanu and Dorin Paraschiv},
	title={Membrane Software. A {P} system Simulator},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={45--50}
}

@techreport{Paun:RiVU_TR_17_01:Further_Researc:01,
	author={Gheorghe P{\u a}un},
	title={Further Research Topics About {P} systems},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={243--250}
}

@techreport{LGia:RiVU_TR_17_01:MGS:_Implementi:01,
	author={Jean Louis Giavitto and Olivier Michel},
	title={{MGS}: Implementing a Unified View on Four Biologically Inspired Computing
		Models},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={107--122}
}

@techreport{Aguado:RiVU_TR_17_01:P_Systems_with: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}},
  institution  = {Rovira i Virgili University},
  year         = {2001},
  address      = {Tarragona, Spain},
  number       = {17/01},
  note         = {Technical Report 17/01 of Research Group on Mathematical Linguistics},
  pages        = {7--18},
}

@techreport{Mate:RiVU_TR_17_01:On_the_Power_of: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}},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={209--220}
}

@techreport{Subramanian:RiVU_TR_17_01:self_crosover:01,
	author={K.G. Subramanian and D.G. Thomas and M.H. Begum and P.H. Chandra},
	title={A note on self crossover and splicing {P} systems},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={259--266}
}

@techreport{Frisco:RiVU_TR_17_01:A_Direct_Constr:01,
	author={Pierluigi Frisco and Hendrik Jan Hoogeboom and Paul Sant},
	title={A Direct Construction of a Universal {P} system},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={89--106}
}

@techreport{Freund:RiVU_TR_17_01:Variants_of_GP:01,
	author={Rudolf Freund and Marion Oswald},
	title={Variants of {GP Systems}},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={77--88.}
}

@techreport{Kris:RiVU_TR_17_01:On_the_Power_of:01,
	author={Shankara Narayanan Krishna and K. Lakshmanan and Raghavan Rama},
	title={On the Power of {P} systems with Contextual Rules},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={143--156}
}

@techreport{Marcus:RiVU_TR_17_01:Membranes_versu:01,
	author={Solomon Marcus},
	title={Membranes versus {DNA}},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={193--198}
}

@techreport{Ji:RiVU_TR_17_01:The_Bhopalator:01,
	author={Sungchul Ji},
	title={The {Bhopalator}: An Information/Energy Dual Model of the Living Cell},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={123--142}
}

@techreport{Nish:RiVU_TR_17_01:Simulations_of:01,
	author={Taishin Yasunobu Nishida},
	title={Simulations of Photosynthesis by a {K-Subset} Transforming System with Membranes},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={223--228}
}

@techreport{Manca:RiVU_TR_17_01:Membrane_Algori:01,
	author={Vincenzo Manca},
	title={Membrane Algorithms for Propositional Satisfiability},
	institution={Rovira i Virgili University},
	year={2001},
	address={Tarragona, Spain},
	number={17/01},
	note={Technical Report 17/01 of Research Group on Mathematical Linguistics},
	pages={181--192}
}

@techreport{Martin:TUCS_421_01:Tissue_P_System:01,
	author={Carlos Mart{\'i}n-Vide and Gheorghe P{\u a}un and J. Pazos and Alfonso Rodr{\'i}guez-Pat{\'o}n},
	title={Tissue {P} systems},
	institution={Turku Center for Computer Science-TUCS},
	year={2001},
	month={September},
	number={421},
	note={TUCS Technical Report 421}
}

@techreport{Obtulo:RiVU_TR_26_03:Mathematical_Mo:03,
	author={Adam Obtulowicz},
	title={Mathematical Models of Uncertainty with a Regard to Membrane Systems},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Cordon:RiVU_TR_26_03:A_Prolog_Simula: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.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{PerezJ:RiVU_TR_26_03:Computing_a_Par: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},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{PerezJ:RiVU_TR_26_03:Formal_Verifica: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$},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Besozz:RiVU_TR_26_03:Hierarchies_of:03,
	author={Daniela Besozzi and Giancarlo Mauri and Claudio Zandron},
	title={Hierarchies of Parallel Rewriting {P} systems.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Csuhaj:RiVU_TR_26_03:From_Watson-Cri:03,
	author={Erzsebet 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 {D}arwinian {P} systems.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Csuhaj:RiVU_TR_26_03:New_Results_and:03,
	author={Erzsebet Csuhaj-Varj{\'u} and Gyorgy Vaszil},
	title={New Results and Research Directions Concerning {P Automata}, Accepting {P}
		systems with Communication Only.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Bernar:RiVU_TR_26_03:Language_Genera:03,
	author={Francesco Bernardini and Marian Gheorghe},
	title={Language Generating by Means of {P} systems with Active Membranes},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Cioban:RiVU_TR_26_03:Sevilla_Carpets:03,
	author={Gabriel Ciobanu and Gheorghe P{\u a}un and Gheorghe Stefanescu},
	title={Sevilla Carpets Associated with {P} systems.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Arde:RiVU_TR_26_03:Mechanosensitiv:03,
	author={Ioan I. Ardelean and Daniela Besozzi},
	title={Mechanosensitive Channels, a Hot Topic in (Micro)Biology: any Excitement
		for {P} systems?},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Arde:RiVU_TR_26_03:Playing_with_a:03,
	author={Ioan I. Ardelean and Matteo Cavaliere},
	title={Playing with a Probabilistic {P} system Simulator: Mathematical and Biological
		Problems},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Krithi:RiVU_TR_26_03:P_Automata_with:03,
	author={Kamala Krithivasan},
	title={{P} Automata with Tapes},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Pere:RiVU_TR_26_03:Complexity_Clas: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},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Pere:RiVU_TR_26_03:Solving_VALIDIT: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},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Pere:RiVU_TR_26_03:Verification_of:03,
	author={Mario J. P{\'e}rez-Jim{\'e}nez and Fernando Sancho-Caparrini},
	title={Verification of non-deterministic transition {P} systems solving {SAT} problem},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Cavali:RiVU_TR_26_03:Forbidding_and:03,
	author={Matteo Cavaliere and Natasha Jonoska},
	title={Forbidding and Enforcing in Membrane Computing.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Margen:RiVU_TR_26_03:Can_Hyperbolic:03,
	author={Maurice Margenstern},
	title={Can Hyperbolic Geometry Help Molecular Computing?},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Madhu:RiVU_TR_26_03:New_Results_in:03,
	author={Mutyam Madhu},
	title={New Results in Rewriting {P} systems},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Sosik:RiVU_TR_26_03:Solving_a_PSPAC:03,
	author={Petr Sos{\'i}k},
	title={Solving a {PSPACE}-Complete Problem by {P} systems with Active Membranes},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Ceterc:RiVU_TR_26_03:P_Systems_with:03,
	author={Rodica Ceterchi and Carlos Mart{\'i}n-Vide},
	title={{P} systems with Communication for Static Sorting.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Ceterc:RiVU_TR_26_03:Array-rewriting:03,
	author={Rodica Ceterchi and Mutyam Madhu and Gheorghe P{\u a}un and K.G. Subramanian},
	title={Array-rewriting {P} systems.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Ceterc:RiVU_TR_26_03:Generating_Pict:03,
	author={Rodica Ceterchi and Radu Gramatovici and Natasha Jonoska and K.G. Subramanian},
	title={Generating Picture Languages with {P} systems.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Freund:RiVU_TR_26_03:P_Systems_with:03,
	author={Rudolf Freund and Marion Oswald},
	title={{P} systems with Elementary Graph Productions},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Kris:RiVU_TR_26_03:Three_Universal:03,
	author={Shankara Narayanan Krishna and Andrei P{\u a}un},
	title={Three Universality Results on {P} systems},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Kris:RiVU_TR_26_03:Some_Universali:03,
	author={Shankara Narayanan Krishna and Andrei P{\u a}un},
	title={Some Universality Results on Evolution-Communication {P} systems},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Ji:RiVU_TR_26_03:Towards_a_Unifi:03,
	author={Sungchul Ji},
	title={Towards a Unified Theory of Computing, Mind, and Signs.},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Suzuki:RiVU_TR_26_03:Abstract_Rewrit:03,
	author={Yasuhiro Suzuki and Hiroshi Tanaka},
	title={Abstract Rewriting Systems on Multisets and Their Application for Modelling
		Complex Behaviours},
	institution={Rovira i Virgili University},
	year={2003},
	number={26}
}

@techreport{Lepora:DCSAUS_TR_01_04:Simulating_the:04,
	author={Alberto Leporati and Claudio Zandron and Giancarlo Mauri},
	title={Simulating the {Fredkin} {Gate} with Energy--Based {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Cordon:DCSAUS_TR_01_04:Looking_for_P_T:04,
	author={Andr{\'e}s Cord{\'o}n-Franco and Miguel A. Guti{\'e}rrez-Naranjo and Mario J. P{\'e}rez-Jim{\'e}nez},
	title={Looking for {P Truth}},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Cordon:DCSAUS_TR_01_04:Weak_Metrics_on:04,
	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},
	title={Weak Metrics on Configurations of a {P} system},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Besozz:DCSAUS_TR_01_04:Size_and_Power:04,
	author={Daniela Besozzi and Erzsebet Csuhaj-Varj{\'u} and Giancarlo Mauri and Claudio
		Zandron},
	title={Size and Power of Extended Gemmating {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Fontan:DCSAUS_TR_01_04:Maximum_Search:04,
	author={Federico Fontana and Giuditta Franco},
	title={Maximum Search Using {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Sancho:DCSAUS_TR_01_04:A_Note_on_Compl:04,
	author={Fernando Sancho-Caparrini},
	title={A Note on Complexity Measures for Probabilistic {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Bernar:DCSAUS_TR_01_04:Cell_Communicat:04,
	author={Francesco Bernardini and Marian Gheorghe},
	title={Cell Communication in Tissue {P} systems and Cell Division in Population
		{P Systems}},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Cioban:DCSAUS_TR_01_04:Pumps_Systems_o:04,
	author={Gabriel Ciobanu},
	title={Pumps Systems of Membranes},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Paun:DCSAUS_TR_01_04:Further_open_pr:04,
	author={Gheorghe P{\u a}un},
	title={Further open problems in membrane computing},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Paun:DCSAUS_TR_01_04:Tissue_P_System:04,
	author={Gheorghe P{\u a}un and Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'i}n Riscos-N{\'u}{\~n}ez},
	title={Tissue {P} systems with Cell Division},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Paun:DCSAUS_TR_01_04:P_Systems_with:04,
  author       = {Gheorghe P{\u a}un and Mario J. P{\'e}rez-Jim{\'e}nez and Agust{\'i}n Riscos-N{\'u}{\~n}ez},
  title        = {{P} systems with Tables of Rules},
  institution  = {Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
  year         = {2004},
  number       = {01/2004},
}

@techreport{Franco:DCSAUS_TR_01_04:Membrane_Kauffm:04,
	author={Giuditta Franco},
	title={{M}embrane {K}auffman {N}etworks},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Arde:DCSAUS_TR_01_04:New_Proposals_f:04,
	author={Ioan I. Ardelean and Daniela Besozzi},
	title={New Proposals for the Formalization of Membrane Proteins},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Arde:DCSAUS_TR_01_04:Computing_Using:04,
	author={Ioan I. Ardelean and Matteo Cavaliere and Dragos Sburlan},
	title={Computing Using Signals: From Cells to {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Nepo:DCSAUS_TR_01_04:A_Java_Simulato:04,
	author={Isabel A. Nepomuceno-Chamorro},
	title={A {Java} Simulator for Basic Transition {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Semp:DCSAUS_TR_01_04:Covering_Rules:04,
	author={Jos{\'e} M. Sempere},
	title={Covering Rules in {P} systems: Some Preliminary Ideas},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Pan:DCSAUS_TR_01_04:Solving_Multidi:04,
	author={Linqiang Pan and Carlos Mart{\'i}n-Vide},
	title={Solving Multidimensional 0-1 {Knapsack} {Problem} by {P} systems with Input
		and Active Membranes},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Pan:DCSAUS_TR_01_04:P_Systems_with:04,
	author={Linqiang Pan and Tseren-Onolt Ishdorj},
	title={{P} systems with Active Membranes and Separation Rules},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Ledesm:DCSAUS_TR_01_04:A_Tissue_P_Syst:04,
	author={Lucas Ledesma and Daniel Manrique and Alfonso Rodr{\'i}guez-Pat{\'o}n and Andr{\'e}s
		Silva},
	title={A Tissue {P} system and a {DNA} Microfluidic Device for Solving the Shortest
		Common Superstring Problem},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Pere:DCSAUS_TR_01_04:Solving_the_BIN:04,
	author={Mario J. P{\'e}rez-Jim{\'e}nez and Francisco Jos{\'e} Romero-Campero},
	title={Solving the {BINPACKING} Problem by Recognizer {P} systems with Active Membranes},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Pere:DCSAUS_TR_01_04:A_CLIPS_Simulat:04,
	author={Mario J. P{\'e}rez-Jim{\'e}nez and Francisco Jos{\'e} Romero-Campero},
	title={A {CLIPS} Simulator for Recognizer {P} systems with Active Membranes},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Cavali:DCSAUS_TR_01_04:P_Systems_with:04,
	author={Matteo Cavaliere and Daniela Genova},
	title={{P} systems with Symport/Antiport of Rules},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Guti:DCSAUS_TR_01_04:Towards_a_Progr:04,
	author={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={Towards a Programming Language in Cellular Computing},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Guti:DCSAUS_TR_01_04:An_Efficient_Ce:04,
	author={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={An Efficient Cellular Solution for the Partition Problem},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Guti:DCSAUS_TR_01_04:Deductive_Datab:04,
	author={Miguel A. Guti{\'e}rrez-Naranjo and Vladimir Rogozhin},
	title={Deductive Databases and {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Ionesc:DCSAUS_TR_01_04:On_P_Systems_wi:04,
	author={Mihai Ionescu and Dragos Sburlan},
	title={On {P} systems with Promoters/Inhibitors},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Frisco:DCSAUS_TR_01_04:About_P_Systems:04,
	author={Pierluigi Frisco},
	title={About {P} systems with Symport/Antiport},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Ceterc:DCSAUS_TR_01_04:Simulating_Shuf:04,
	author={Rodica Ceterchi and Mario J. P{\'e}rez-Jim{\'e}nez},
	title={Simulating {Shuffle-Exchange} Networks with {P} systems},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Freund:DCSAUS_TR_01_04:Sequential_P_Sy:04,
	author={Rudolf Freund and Alberto Leporati and Marion Oswald and Claudio Zandron},
	title={Sequential {P} systems with Unit Rules and Energy Assigned to Membranes},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Freund:DCSAUS_TR_01_04:P_Systems_with_Active:04,
	author={Rudolf Freund and Andrei P{\u a}un},
	title={{P} systems with Active Membranes and without Polarizations},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Freund:DCSAUS_TR_01_04:Tissue-like_P_S:04,
	author={Rudolf Freund and Gheorghe P{\u a}un and Mario J. P{\'e}rez-Jim{\'e}nez},
	title={Tissue-like {P} systems with Channel-States},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Freund:DCSAUS_TR_01_04:P_Systems_with_Antiport:04,
	author={Rudolf Freund and Marion Oswald},
	title={{P} systems with Antiport Rules for Evolution Rules},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Rogozh:DCSAUS_TR_01_04:Simulation_of_M:04,
	author={Vladimir Rogozhin and Elena Boian},
	title={Simulation of Mobile Ambients by {P} systems. Part 2},
	institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla},
	year={2004},
	number={01/2004}
}

@techreport{Sburlan:RNGC_Report,
	author={Dragos Sburlan},
	title={Membrane systems with promoters/inhibitors. From computational universality
		to algorithms},
	institution={Sevilla University},
	year={2004},
	number={04/2004},
	note={RNGC Report 04/2004}
}

@techreport{Cavaliere:RNGC_Report,
	author={Matteo Cavaliere},
	title={Evolution, communication and observation. From biology to membrane systems
		and back},
	institution={Sevilla University},
	year={2004},
	number={03/2004},
	note={RNGC Report 03/2004}
}

@techreport{Calude_Paun:CDMTCS_R246:Cells_and_atoms_five_years,
	author={Cristian S. Calude and Gheorghe P{\u a}un},
	title={Computing with Cells and Atoms: After Five Years},
	institution={Univ. of Auckland},
	year={2004},
	number={R 246},
	note={CDMTCS Tech. Rep. R 246}
}

@techreport{Korczynski:W2/2003:Transformacje:04,
	author={Waldemar Korczynski},
	title={Transformacje systemow {P}auna jako model przeksztalcen systemowych},
	institution={WSU Kielce},
	year={2004},
	number={W2/2003},
	note={Raport z Badan Grantu W2/2003}
}

@techreport{Cavaliere:Decision,
	author={Matteo Cavaliere and S. Sedwards},
	title={Decision Problems in Membrane Systems with Peripheral Proteins, Transport
		and Evolution},
	institution={Microsoft Research - University of Trento, Centre for Computational and
		Systems Biology},
	year={2006},
	address={Trento, Italy},
	number={12/2006},
	note={Microsoft Research - University of Trento, Centre for Computational and
		Systems Biology}
}

@techreport{Cavaliere:Membrane_Systems:TR_04/2006:2006,
	author={Matteo Cavaliere and S. Sedwards},
	title={Membrane systems with peripheral proteins: transport and evolution},
	institution={Microsoft Research - University of Trento, Centre for Computational and
		Systems Biology},
	year={2006},
	address={Trento, Italy},
	number={04/2006},
	note={Microsoft Research - University of Trento, Centre for Computational and
		Systems Biology}
}

@techreport{Campos:Development:INAOE:2006,
	author={J.M. Campos Diaz and E. Lopez Dominguez and S. Lopez Escobar and J. Estudillo
		Ramirez and L.D. Huerta Hernandez},
	title={Development of a cleaner robot using techniques of membranes},
	institution={Report INAOE},
	year={2006},
	address={Puebla, Mexic},
	note={Report INAOE}
}

@techreport{Paun:Bounding_the_indegree:TUCS_TR_773:2006,
	author={Gh. Paun and M.J. Perez-Jimenez and A. Salomaa},
	title={Bounding the indegree of spiking neural P systems},
	institution={TUCS Technical Report 773},
	year={2006}
}

@techreport{Cavaliere:Asynchronous,
	author={M. Cavaliere and O. Egecioglu and O.H. Ibarra and S. Woodworth and M. Ionescu
		and Gh. Paun},
	title={Asynchronous Spiking Neural {P} Systems Technical Report 9/2007, Microsoft
		Research - University of Trento, Centre for Computational and Systems Biology},
	institution={Microsoft Research � University of Trento},
	year={2007},
	number={9-2007}
}

@techreport{Cavaliere:Colonies_of:TRMR:2007,
	author={M. Cavaliere and R. Mardare and S. Sedwards},
	title={Colonies of Synchronizing Agents Technical Report 11-2007, Microsoft Research
		� University of Trento, Centre for Computational and Systems Biology},
	institution={Microsoft Research � University of Trento},
	year={2007},
	number={11-2007}
}