---

These webpages contain information on the various educational programmes and courses offered at or by the Leiden Institute of Advanced Computer Science (LIACS), the computer science and artificial intelligence department of Leiden University.

---

---

Engelfriet, dr. J.

This page is for internal use at LIACS only. The information below may be incomplete.

Courses

No courses found.

Supervised theses

Information below is sourced from the LIACS Thesis Repository.

Year	Student	Thesis	Supervisors	Programme
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

Page maintained by LIACS Education Management (edu-mt@liacs.leidenuniv.nl) for internal use at LIACS.