Leiden University

LIACS Thesis Repository

Leiden University

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: the overview per supervisor is likely partially incomplete.


Year Student ThesisSupervisorsProgrammeContent
2020‑2021Dekker, LoesFormal Semantics of ALCHBasold, dr. H., Kleijn, prof.dr. H.C.M.CS
2019‑2020Roos, DennisProtocol Link Nets: A Flexible Method for Composing Petri NetsKleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J.CS
2017‑2018Steffens, B. (Benjamin)Dynamic Reductions for More Efficient Software VerificationLaarman, dr. A.W., Kleijn, prof.dr. H.C.M.Inf
2016‑2017Fokkinga, D.B. (Daniel)Towards Learning Software Models: making documentation easierBonsangue, prof.dr. M.M., Kleijn, prof.dr. H.C.M.Inf
2016‑2017Brandt, O. (Oscar)Comparing Algorithms: Calculating the Minimal Coverability Set of Petr...Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J.Inf
2015‑2016Vietor, J. (Jaron)A Formal Representation and Calculation Method for Generic Petri netsKleijn, prof.dr. H.C.M., Verbeek, prof.dr.ir. F.J.CS
2015‑2016Roos, D. (Dennis)Transformation of Membrane SystemsHoogeboom, dr. H.J., Kleijn, prof.dr. H.C.M.Inf
2015‑2016Bannenberg, L. (Lou)Checking for Compatibility in Team AutomataKleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J.Inf
2015‑2016Duba, D. (Dico)Retting PIPE: Extending the Petri Net tool PIPE 5Kleijn, prof.dr. H.C.M., Stein van, dr. N.Inf
2015‑2016Louwe, A. (Anneloes)Constructing Petri Net Models from Biological Literature using Structu...Kleijn, prof.dr. H.C.M., Verbeek, prof.dr.ir. F.J.Inf
2013‑2014Buitenhuis, T. (Taco)The Constraint-Relation Modelling Language and its Relation to Petri N...Verbeek, prof.dr.ir. F.J., Kleijn, prof.dr. H.C.M.Inf
2012‑2013Engelen, J. (Jesper) vanGuided Rewriting in Families of LanguagesHoogeboom, dr. H.J., Kleijn, prof.dr. H.C.M.Inf
2012‑2013Nes, M. (Matthijs) van deCoverability and Extended Petri NetsKleijn, prof.dr. H.C.M., dr. F.M. SpieksmaInf
2012Zwijger, W. (Wouter) deIncreasing Explicit Parallellism in Polyhedral Process Networks using ...Stefanov, dr. T.P., dr. S. van Haastrecht, Kleijn, prof.dr. H.C.M.CS
2012Schrama, S. (Stefan)Shikakudr. J.H.P. Kwisthout, Kleijn, prof.dr. H.C.M.Inf
2011Stein, B. (Bas) vanThe Beginning of a Theory for Set-NetsKleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J.Inf
2011Vlugt, S.H.W. (Sander) van derCoverability Tree Constructions and Inhibitor PlacesKleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J.Inf
2010Vietor, J. (Jaron)Multithreading voor IedereenKleijn, prof.dr. H.C.M., Groenewegen, dr. L.P.J.Inf
2010Zwijger, W. (Wouter) deDemonstration Tools for Petri NetsKleijn, prof.dr. H.C.M.Inf
2009Vink, R. (Ron)Temporal Pattern Analysis using Reservoir ComputingKosters, dr. W.A., Kleijn, prof.dr. H.C.M.CS
2006Kwantes, P. (Pieter)Design of Clearing and Settlement Operations: A Case Study in Business...Kleijn, prof.dr. H.C.M., Groenewegen, dr. L.P.J.CS
2006Zon, M. (Matthijs) van derAdding Robustness and Scalability to Existing Data Mining Algorithms f...Kosters, dr. W.A., Kleijn, prof.dr. H.C.M.CS
2004Barthel,. M. (Mischa)Petri Nets: Model Checking, Unfoldings and the Observable Configuratio...Kleijn, prof.dr. H.C.M., Engelfriet, dr. J.CS
2003Beek, M.H. (Maurice) terTeam Automata: A Formal Approach to the Modeling of Collaboration Betw...Rozenberg, prof.dr. G., Kleijn, prof.dr. H.C.M.PhD
2002Burg, M. (Mathijs) van derGenetic Algorithms for NonogramsKosters, dr. W.A., Kleijn, prof.dr. H.C.M.CS
1996Keesmaat, N.W. (Iko)Vector Controlled Concurrent SystemsRozenberg, prof.dr. G., Kleijn, prof.dr. H.C.M.PhD
1996Beek, M.H. (Maurice) terTeams in grammar systemsKleijn, prof.dr. H.C.M.CS
1996Meijboom, L. (Leejanne)Generalizations of Mazurkiewicz TracesKleijn, prof.dr. H.C.M.CS
1994Hoogers, P.W. (Peter)Behavioural Aspects of Petri NetsRozenberg, prof.dr. G., prof.dr. P.S. Thiagarajan, Kleijn, prof.dr. H.C.M.PhD