@TechReport{ Alhazov.ea:P-systems, author = {Artiom Alhazov and Sergey Verlan}, title = {Minimization strategies for rule complexity of universal antiport {P}~systems}, institution = {Turku Centre for Computer Science}, year = {2008}, type = {Technical Report}, number = {862}, } @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{Alhazo:RiVU_TR_26_03:Minimizing_Evol:03, author={Artiom Alhazov}, title={Minimizing Evolution-Communication {P} systems and {EC} {P} automata}, institution={Rovira i Virgili University}, year={2003}, number={26} } @techreport{Alhazo:RiVU_TR_26_03:Generating_Clas:03, author={Artiom Alhazov}, title={Generating Classes of Languages by {P} systems and Other Devices}, 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{Alhazo:DCSAUS_TR_01_04:A_Note_on_P_Sys:04, author={Artiom Alhazov}, title={A Note on {P} systems with Activators}, institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla}, year={2004}, number={01/2004} } @techreport{Alhazo:DCSAUS_TR_01_04:P_Systems_with:04, author={Artiom Alhazov and Rudolf Freund and Gheorghe P{\u a}un}, title={{P} systems with Active Membranes and Two Polarizations}, institution={Dept. of Computer Sciences and Artificial Intelligence, Univ. of Sevilla}, year={2004}, number={01/2004} } @techreport{Alhazo:DCSAUS_TR_01_04:Membrane_Operat:04, author={Artiom Alhazov and Tseren-Onolt Ishdorj}, title={Membrane Operations in {P} systems with Active Membranes}, 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:Further_Remarks:04, author={Linqiang Pan and Artiom Alhazov and Tseren-Onolt Ishdorj}, title={Further Remarks on {P} systems with Active Membranes, Separation, Merging, and Release Rules}, 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} }