LIACS Thesis Repository
These webpages contain theses and reports by students affiliated with the various bachelor and master programmes offered at the Leiden Institute of Advanced Computer Science
(LIACS),
the computer science and artificial intelligence department of Leiden University.
Note: this thesis repository might be incomplete for certain programmes.
Students supervised by Rozenberg, prof.dr. G. (Grzegorz)
Note: the overview per supervisor is likely partially incomplete.
19 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| PhD Computer Science | 2015 | promotor | Vliet, R. (Rudy) van | DNA Expressions: A Formal Notation for DNA | |
| PhD Computer Science | 2008 | promotor | Brijder, R. (Robert) | Models of Natural Computation: Gene Assembly and Membrane Systems | |
| PhD Computer Science | 2005 | promotor | Gelsema, T.E. (Tjalling) | Effective Models for the Structure of pi-Calculus Processes with Repli... | |
| PhD Computer Science | 2005 | promotor | Henkel, C.V. (Christiaan). | Experimental DNA computing | |
| Master Computer Science | 2005 | second supervisor | Gao, Y. (Yan) | P. Systems with Non-reactive Objects | |
| PhD Computer Science | 2004 | promotor | Frisco, P. (Pierluigi) | Theory of Molecular Computing. Splicing and Membrane Systems | |
| PhD Computer Science | 2004 | promotor | Maneth, S. (Sebastian) | Models of Tree Translation | |
| Master Computer Science | 2004 | second supervisor | Brijder, R. (Robert) | Characterizing Reducibility of Gene Patterns in Ciliates | |
| PhD Computer Science | 2003 | promotor | Beek, M.H. (Maurice) ter | Team Automata: A Formal Approach to the Modeling of Collaboration Betw... | |
| PhD Computer Science | 2002 | promotor | Vugt, N. (Nike) van | Models of Molecular Computing | |
| PhD Computer Science | 2001 | promotor | Hage, J. (Jurriaan) | Structural Aspects for Switching Classes | |
| PhD Computer Science | 1996 | promotor | Keesmaat, N.W. (Iko) | Vector Controlled Concurrent Systems | |
| Master Computer Science | 1996 | first supervisor | Dassen, J.H.M. (Ray) | Molecular Computation and Splicing Systems | |
| PhD Computer Science | 1995 | promotor | Pas, P. (Paulien) ten | Trees and Texts | |
| PhD Computer Science | 1994 | promotor | Hoogers, P.W. (Peter) | Behavioural Aspects of Petri Nets | |
| PhD Computer Science | 1990 | promotor | Leih, G. (George) | Graph Grammers and Petri Nets with References | |
| PhD Computer Science | 1987 | promotor | Aalbersberg, IJ.J. (IJsbrand Jan) | Studies in Trace Theory | |
| PhD Computer Science | 1987 | promotor | Hoogeboom, H.J. (Hendrik Jan) | Coordinated Pair Systems | |
| PhD Computer Science | 1983 | promotor | Kleijn, H.C.M. (Jetty) | Selective Substitution Grammars based on Context-Free Productions |