Supervised students

Bachelor students

2008

1. Kaspar de Geus. A state graph algorithm for the Garp3 workbench. (PDF)

2007

1. Hylke Buisman. Automated modeling in process-based qualitative reasoning. (PDF)