@PhDThesis{	  Ionescu:Membrane-Computing-Traces,
  author       = {Mihai Ionescu},
  title        = {Membrane Computing. Traces, Neural Inspired Models
                  Controls},
  school       = {Universitat Rovira i Virgili},
  year         = {2008},
  address      = {Tarragona, Spain},
}

@PhDThesis{	  Brijder:Natural-Computation-Gene-Assembly.Systems,
  author       = {Robert Brijder},
  title        = {Models of Natural Computation: Gene Assembly and Membrane
                  Systems},
  school       = {Leiden University},
  year         = {2008},
  address      = {Netherlands},
}

@phdthesis{Liang:2007,
  author       = {Huang Liang},
  title        = {Research on Membrane Computing. Optimization Methods},
  school       = {Institute of Advanced Process Control, Zhejiang University},
  year         = {2007},
  address      = {China},
  bibdate      = {04/06/09},
}

@phdthesis{Romero-Campero:2008,
  author       = {Francisco J. Romero-Campero},
  title        = {{P}~systems, a computational modelling framework for systems
                  biology},
  school       = {Universidad de Sevilla},
  year         = {2008},
  address      = {Spain},
  bibdate      = {04/06/09},
}

@phdthesis{Romero-Campero:PhD:2008,
  author       = {Francisco J. Romero-Campero},
  title        = {P systems, a computational modelling framework for systems biology},
  school       = {University of {S}evilla},
  year         = {2008},
  address      = {Sevilla, Spain},
}

@phdthesis{Zandron:PhD:2002,
	author={Claudio Zandron},
	title={A Model for Molecular Computing: Membrane Systems},
	school={Dipartimento di Scienze dell'Informazione, Universita' degli Studi di Milano},
	year={2002},
	address={Milano, Italy}
}

@phdthesis{Sancho-Caparrini:PhD:2002,
	author={Fernando Sancho-Caparrini},
	title={Verification of Programs in Unconventional Computing Models},
	school={University of {S}evilla},
	year={2002},
	address={Sevilla, Spain}
}

@phdthesis{Krishna:PhD:2002,
	author={Shankara-Narayanan Krishna},
	title={Languages of {P Systems}. {C}omputability and Complexity},
	school={Indian Institute of Technology},
	year={2002},
	address={Madras, India}
}

@phdthesis{Romero-Jimenez:PhD:2003,
	author={Alvaro Romero-Jim{\'e}nez},
	title={Complexity and universality in cellular computing models},
	school={Departamento de {C}iencias de la {C}omputaci{\'o}n e {I}nteligencia {A}rtificial.
		{U}niversidad de {S}evilla},
	year={2003},
	address={Sevilla, Spain}
}

@phdthesis{Paun:PhD:2003,
	author={Andrei P{\u a}un},
	title={Unconventional Models of Computation: {DNA} and {M}embrane {C}omputing},
	school={University of Western Ontario},
	year={2003},
	month={May},
	address={London, Ontario, Canada}
}

@phdthesis{Oswald:PhD:2003,
	author={Marion Oswald},
	title={{P Automata}},
	school={Faculty of Computer Science. TU Vienna},
	year={2003},
	month={November},
	address={Vienna, Austria}
}

@phdthesis{Madhu:PhD:2003,
	author={Mutyam Madhu},
	title={Studies of {P Systems} as a model of cellular computing},
	school={Dept. of Computer Science and Engineering, Indian Institute of Technology},
	year={2003},
	address={Madras, India}
}

@phdthesis{Riscos-Nunez:PhD:2004,
	author={Agust{\'i}n Riscos-N{\'u}{\~n}ez},
	title={Cellular Programming: Efficient Resolution of {NP-Complete} Numerical Problems},
	school={Universidad de Sevilla},
	year={2004},
	address={Sevilla, Spain}
}

@phdthesis{Besozzi:PhD:2004,
	author={Daniela Besozzi},
	title={Computational and modelling power of {P systems}},
	school={Universita' degli Studi di Milano},
	year={2004},
	address={Milano, Italy}
}

@phdthesis{Arroyo:PhD:2004,
	author={Fernando Arroyo-Montoro},
	title={Structures and Biolanguage to Simulate Membrane Computing},
	school={Departamento de {I}nteligencia {A}rtificial. {F}acultad de {I}nform{\'a}tica.
		{U}niversidad {P}olit{\'e}cnica de {M}adrid},
	year={2004},
	month={June},
	address={Madrid, Spain}
}

@phdthesis{Lakshmanan:PhD:2004,
  author       = {L. Lakshmanan},
  title        = {On the Crossroads of {P Systems} and Contextual Grammars: Variants, Computability
                  Complexity and Efficiency},
  school       = {Dept. of Mathematics, Indian Institute of Technology},
  year         = {2004},
  address      = {Madras, India},
}

@phdthesis{Frisco:PhD:2004,
	author={Pierluigi Frisco},
	title={Theory of Molecular Computing. {S}plicing and {M}embrane Systems},
	school={Leiden University, The Netherlands},
	year={2004}
}

@phdthesis{Verlan:PhD:2004,
  author       = {Sergey Verlan},
  title        = {Head systems and application to bio-informatics},
  school       = {{LITA}, Universit\'e de Metz},
  year         = {2004},
  address      = {Metz, France},
}

@phdthesis{Bernardini:PhD:2005,
	author={Francesco Bernardini},
	title={Membrane Systems for Molecular Computing and Biological Modelling},
	school={University of Sheffield},
	year={2005},
	address={Sheffield, UK}
}

@phdthesis{Cienciala:PhD:2005,
	author={Ludek Cienciala},
	title={P automata},
	school={University of Ostrava},
	year={2005},
	address={Ostrava, Czech Republic}
}

@phdthesis{Alhazov:PhD:2006,
  author       = {Artiom Alhazov},
  title        = {Communication in Membrane Systems with Symbol Objects},
  school       = {University of Sevilla, Spain},
  year         = {2006},
  address      = {Sevilla, Spain},
  abstract     = {This thesis deals with membrane systems with symbol objects as a theoretical
                  framework of distributed parallel multiset processing systems.
                  A halting computation can accept, generate or process a number, a vector
                  or a word, so the system globally defines (by the results of all its computations)
                  a set of numbers or a set of vectors or a set of words, (i.e., a language)
                  or a function. The ability of these systems to solve particular problems is
                  investigated, as well as their computational power, e.g., the language families
                  defined by different classes of these systems are compared to the classical
                  ones, i.e., regular, context-free, languages generated by extended tabled
                  0L systems, languages generated by matrix grammars without appearance
                  checking, recursively enumerable languages, etc. Special attention is paid to
                  communication of objects between the regions and to the ways of cooperation
                  between the objects.
                  An attempt to formalize the membrane systems is made, and a software
                  tool is constructed for the non-distributed cooperative variant, the configuration
                  browser, i.e., a simulator, where the user chooses the next configuration
                  among the possible ones and can go back. Different distributed models are
                  considered. In the evolution--communication model rewriting-like rules are
                  separated from transport rules. Proton pumping systems are a variant of
                  the evolution--communication systems with a restricted way of cooperation.
                  A special membrane computing model is a purely communicative one: the
                  objects are moved together through a membrane.
                  Determinism is a special property of computational systems; the question
                  of whether this restriction reduces the computational power is addressed. The
                  results on proton pumping systems can be carried over to the systems with bistable
                  catalysts. Some particular examples of membrane systems applications
                  are solving NP-complete problems in polynomial time, and solving the sorting
                  problem.},
  keywords     = {P systems, membrane computing, symport, antiport, parallel multiset processing},
  eprint       = {http://psystems.disco.unimib.it/download/Alhazovthesis.zip},
  url          = {http://www.tesisenxarxa.net/TDX-0704107-093050/},
}

@phdthesis{Popa:PhD:2006,
	author={B. Popa},
	title={Membrane Systems with Limited Parallelism},
	school={College of Engineering and Science, Louisiana Tech University, Ruston, USA},
	year={2006},
	address={Ruston, USA}
}

@phdthesis{Sburlan:PhD:2006,
	author={Dragos Sburlan},
	title={Promoting and Inhibiting Contexts in Membrane Computing},
	school={University of Sevilla},
	year={2006},
	address={Sevilla, Spain}
}

@phdthesis{Cavaliere:PhD:2006,
	author={Mateo Cavaliere},
	title={Evolution, communication, observation: From biology to membrane computing
		and back},
	school={University of Sevilla},
	year={2006},
	address={Sevilla, Spain}
}

@phdthesis{Bianco:PhD:2007,
	author={L. Bianco},
	title={Membrane Models of Biological Systems},
	school={Universita' degli Studi di Verona, Italy},
	year={2007},
	address={Verona, Italy}
}

@phdthesis{Hemalatha:PhD:2007,
	author={S. Hemalatha},
	title={A Study on Rewriting {P} Systems, Splicing Grammar Systems and Picture Array
		Languages},
	school={University of Chennai, India},
	year={2007},
	address={India}
}

@phdthesis{Ishdorj:PhD:2007,
	author={T. O. Ishdorj},
	title={Membrane Computing, Neural Inspiration, Gene Assembly in Ciliates},
	school={Universidad de Sevilla, Spain},
	year={2007},
	address={Sevilla, Spain}
}