| Year |
Student |
Thesis | Supervisors | Programme | Content |
|---|
| 2007 | Samwel, B. (Bart) | Pebble Scope and the Power of Pebble Tree Transducers | Engelfriet, dr. J., Hoogeboom, dr. H.J. | CS | |
| 2005 | Gelsema, T.E. (Tjalling) | Effective Models for the Structure of pi-Calculus Processes with Repli... | Rozenberg, prof.dr. G., Engelfriet, dr. J. | PhD | |
| 2004 | Maneth, S. (Sebastian) | Models of Tree Translation | Rozenberg, prof.dr. G., Engelfriet, dr. J. | PhD | |
| 2004 | Barthel,. M. (Mischa) | Petri Nets: Model Checking, Unfoldings and the Observable Configuratio... | Kleijn, prof.dr. H.C.M., Engelfriet, dr. J. | CS | |
| 1998 | Best, J.P. (Jan-Pascal) van | Tree-Walking Automata and Monadic Second Order Logic | Engelfriet, dr. J. | CS | |
| 1996 | Bloem, R. (Roderick) | Attribute Grammars and Monadic Second Order Logic | Engelfriet, dr. J. | CS | |
| 1995 | Jongepier, L. (Linda) | Petri Net Talen | Engelfriet, dr. J. | CS | |
| 1994 | Gelsema, T. (Tjalling) | Petrinetsemantiek van Mobiele Processen | Engelfriet, dr. J. | CS | |
| 1994 | Schelvis, W.A.M. (Wilbert) | The Decidability of the Boundedness of Functions on Hypergraph Generat... | Engelfriet, dr. J. | CS | |
| 1993 | Vereijken, J.J. (Jan Joris) | Graph Grammars and Operations on Graphs | Engelfriet, dr. J. | CS | |
| 1990 | Leih, G. (George) | Graph Grammers and Petri Nets with References | Rozenberg, prof.dr. G., Engelfriet, dr. J. | PhD | |
| 1987 | Aalbersberg, IJ.J. (IJsbrand Jan) | Studies in Trace Theory | Rozenberg, prof.dr. G., Engelfriet, dr. J. | PhD | |
