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 Engelfriet, dr. J. (Joost)
Note: the overview per supervisor is likely partially incomplete.
12 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| Master Computer Science | 2007 | first supervisor | Samwel, B. (Bart) | Pebble Scope and the Power of Pebble Tree Transducers | |
| PhD Computer Science | 2005 | copromotor | Gelsema, T.E. (Tjalling) | Effective Models for the Structure of pi-Calculus Processes with Repli... | |
| PhD Computer Science | 2004 | copromotor | Maneth, S. (Sebastian) | Models of Tree Translation | |
| Master Computer Science | 2004 | second supervisor | Barthel,. M. (Mischa) | Petri Nets: Model Checking, Unfoldings and the Observable Configuratio... | |
| Master Computer Science | 1998 | first supervisor | Best, J.P. (Jan-Pascal) van | Tree-Walking Automata and Monadic Second Order Logic | |
| Master Computer Science | 1996 | first supervisor | Bloem, R. (Roderick) | Attribute Grammars and Monadic Second Order Logic | |
| Master Computer Science | 1995 | first supervisor | Jongepier, L. (Linda) | Petri Net Talen | |
| Master Computer Science | 1994 | first supervisor | Gelsema, T. (Tjalling) | Petrinetsemantiek van Mobiele Processen | |
| Master Computer Science | 1994 | first supervisor | Schelvis, W.A.M. (Wilbert) | The Decidability of the Boundedness of Functions on Hypergraph Generat... | |
| Master Computer Science | 1993 | first supervisor | Vereijken, J.J. (Jan Joris) | Graph Grammars and Operations on Graphs | |
| PhD Computer Science | 1990 | copromotor | Leih, G. (George) | Graph Grammers and Petri Nets with References | |
| PhD Computer Science | 1987 | copromotor | Aalbersberg, IJ.J. (IJsbrand Jan) | Studies in Trace Theory |