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 Kleijn, prof.dr. H.C.M. (Jetty)
Note: the overview per supervisor is likely partially incomplete.
29 entries found.
| Program | Year | Role | Student | Thesis | Content |
|---|---|---|---|---|---|
| Master Computer Science | 2021 | second supervisor | Dekker, Loes | Formal Semantics of ALCH | |
| Master Computer Science | 2020 | first supervisor | Roos, Dennis | Protocol Link Nets: A Flexible Method for Composing Petri Nets | |
| Bachelor Informatica | 2018 | second supervisor | Steffens, B. (Benjamin) | Dynamic Reductions for More Efficient Software Verification | |
| Bachelor Informatica | 2017 | second supervisor | Fokkinga, D.B. (Daniel) | Towards Learning Software Models: making documentation easier | |
| Bachelor Informatica | 2017 | first supervisor | Brandt, O. (Oscar) | Comparing Algorithms: Calculating the Minimal Coverability Set of Petr... | |
| Master Computer Science | 2016 | first supervisor | Vietor, J. (Jaron) | A Formal Representation and Calculation Method for Generic Petri nets | |
| Bachelor Informatica | 2016 | second supervisor | Roos, D. (Dennis) | Transformation of Membrane Systems | |
| Bachelor Informatica | 2016 | first supervisor | Bannenberg, L. (Lou) | Checking for Compatibility in Team Automata | |
| Bachelor Informatica | 2016 | first supervisor | Duba, D. (Dico) | Retting PIPE: Extending the Petri Net tool PIPE 5 | |
| Bachelor Informatica | 2016 | first supervisor | Louwe, A. (Anneloes) | Constructing Petri Net Models from Biological Literature using Structu... | |
| Bachelor Informatica | 2014 | second supervisor | Buitenhuis, T. (Taco) | The Constraint-Relation Modelling Language and its Relation to Petri N... | |
| Bachelor Informatica | 2013 | second supervisor | Engelen, J. (Jesper) van | Guided Rewriting in Families of Languages | |
| Bachelor Informatica | 2013 | first supervisor | Nes, M. (Matthijs) van de | Coverability and Extended Petri Nets | |
| Master Computer Science | 2012 | third supervisor | Zwijger, W. (Wouter) de | Increasing Explicit Parallellism in Polyhedral Process Networks using ... | |
| Bachelor Informatica | 2012 | second supervisor | Schrama, S. (Stefan) | Shikaku | |
| Bachelor Informatica | 2011 | first supervisor | Stein, B. (Bas) van | The Beginning of a Theory for Set-Nets | |
| Bachelor Informatica | 2011 | first supervisor | Vlugt, S.H.W. (Sander) van der | Coverability Tree Constructions and Inhibitor Places | |
| Bachelor Informatica | 2010 | first supervisor | Vietor, J. (Jaron) | Multithreading voor Iedereen | |
| Bachelor Informatica | 2010 | first supervisor | Zwijger, W. (Wouter) de | Demonstration Tools for Petri Nets | |
| Master Computer Science | 2009 | second supervisor | Vink, R. (Ron) | Temporal Pattern Analysis using Reservoir Computing | |
| Master Computer Science | 2006 | supervisor | Kwantes, P. (Pieter) | Design of Clearing and Settlement Operations: A Case Study in Business... | |
| Master Computer Science | 2006 | second supervisor | Zon, M. (Matthijs) van der | Adding Robustness and Scalability to Existing Data Mining Algorithms f... | |
| Master Computer Science | 2004 | first supervisor | Barthel,. M. (Mischa) | Petri Nets: Model Checking, Unfoldings and the Observable Configuratio... | |
| PhD Computer Science | 2003 | copromotor | Beek, M.H. (Maurice) ter | Team Automata: A Formal Approach to the Modeling of Collaboration Betw... | |
| Master Computer Science | 2002 | second supervisor | Burg, M. (Mathijs) van der | Genetic Algorithms for Nonograms | |
| PhD Computer Science | 1996 | copromotor | Keesmaat, N.W. (Iko) | Vector Controlled Concurrent Systems | |
| Master Computer Science | 1996 | first supervisor | Beek, M.H. (Maurice) ter | Teams in grammar systems | |
| Master Computer Science | 1996 | first supervisor | Meijboom, L. (Leejanne) | Generalizations of Mazurkiewicz Traces | |
| PhD Computer Science | 1994 | copromotor | Hoogers, P.W. (Peter) | Behavioural Aspects of Petri Nets |