| Year |
Student |
Thesis | Supervisors | Programme | Content |
|---|
| 2024‑2025 | Kaak, B. (Bryan) | Efficiency of Two SAT Encodings of Yajilin Puzzles | Hoogeboom, dr. H.J., Graaf de, dr. J.M. | Inf | |
| 2024‑2025 | Ruigrok, M. (Max) | Generating and Solving Sigmar’s Garden Puzzles | Hoogeboom, dr. H.J., Bergh van den, dr. M.J.H. | Inf | |
| 2024‑2025 | Straathof, H. (Hanna) | Solving and generating Kuroshuto puzzles | Hoogeboom, dr. H.J., Graaf de, dr. J.M. | Inf | |
| 2024‑2025 | Waart, J. de (Jente) | Comparing Different Encodings for the Continuity Rule of the Logic Puz... | Hoogeboom, dr. H.J., Vliet van, dr. R., Bergh van den, dr. M.J.H. | Inf | |
| 2023‑2024 | Wensveen, R. (Roos) | Solving, Generating and Classifying Hitori | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2023‑2024 | Adelaar, B. (Branco) | The Greeting Problem - How to Have People Greet One Another in a Recta... | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2023‑2024 | Heslenfeld, N. (Niels) | Solving and Generating Fobidoshi Puzzles | Hoogeboom, dr. H.J., Papuc, Ir. D. | Inf | |
| 2023‑2024 | Noteborn, D. (David) | Creating a language to describe Turing machines On creating a Towards ... | Hoogeboom, dr. H.J., Kosters, dr. W.A. | Inf | |
| 2022‑2023 | Beek, T. ter (Tijmen) | A Novel Technique for Life Course Reconstruction using Historical Reco... | Dijk , ir. M.K. van, Hoogeboom, dr. H.J., E. Gehring and L. van Hees & C. de Graaf (ELO) | I&E | |
| 2022‑2023 | Jol, C. (Casper) | How to Solve and Generate Marupeke Puzzles | Graaf de, dr. J.M., Hoogeboom, dr. H.J. | Inf | |
| 2022‑2023 | Hegeman, M. (Meili) | Generating Pipes puzzles using maze-generating algorithms | Hoogeboom, dr. H.J., Kosters, dr. W.A. | Inf | |
| 2021‑2022 | Wetten, F. (Fien) van | Representing the State Space of the Domino Cube in Graph Using BDDs | Hoogeboom, dr. H.J., Kosters, dr. W.A. | Inf | |
| 2020‑2021 | Burgh, R. (Rogier) van den | Bomb-r-cover Expanding the difficulties of Bomberman | Vliet van, dr. R., Hoogeboom, dr. H.J. | Inf | |
| 2020‑2021 | Krebbers, S. (Said) | Monte Carlo Tree Search for Dots-and-Boxes | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2020‑2021 | Nieuwenhuizen, D. (David) | The Effect of Monte Carlo Tree Search on Modern Board Game Elements | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2020‑2021 | Reijtenbach, R. (Rob) | Determining the Success Rate for the Game of Solitaire | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2019‑2020 | Roos, Dennis | Protocol Link Nets: A Flexible Method for Composing Petri Nets | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | CS | |
| 2019‑2020 | Huiskens, T.J.M. | Adaptive AI in Game Tutorials | Preuss, dr. M., Hoogeboom, dr. H.J. | I&E | |
| 2019‑2020 | Bors, P.P. (Philippe) | Analysis of Nonsimple Nonograms | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2018‑2019 | Huibers, J. (Jarno) | Strategies for Restricted Nim | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2018‑2019 | Vlasakker, R.A. (Rintse) van de | Bomb-cover Een verzamelingenoverdekkings-probleem in de Bombermanwerel... | Vliet van, dr. R., Hoogeboom, dr. H.J. | Inf | |
| 2016‑2017 | Brandt, O. (Oscar) | Comparing Algorithms: Calculating the Minimal Coverability Set of Petr... | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf | |
| 2016‑2017 | Etoeharnowo, T. (Teddy) | Neural Networks for Clobber | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2016‑2017 | Hoogenboom, C. (Cedric) | Using Probabilities to Enhance Monte Carlo Search in the Dutch Card Ga... | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2016‑2017 | Dijk, S.J. (Stef) van | Solving Puzzles Using Cellular Automata | Hoogeboom, dr. H.J., Kosters, dr. W.A. | Inf | |
| 2016‑2017 | Heijungs, S. (Simon) | Tape-quantifying Turing Machines in the Arithmetical Hierarchy | Hoogeboom, dr. H.J., Vliet van, dr. R. | Inf | |
| 2016‑2017 | Muusse, I.J. (Ivo) | An Algorithm for Balancing a Binary Search Tree | Hoogeboom, dr. H.J., Vliet van, dr. R. | Inf | |
| 2016‑2017 | Out, N.F. (Nils) | A Monte Carlo Strategy for the Game of Hive | Hoogeboom, dr. H.J., Kosters, dr. W.A. | Inf | |
| 2015‑2016 | Yang, Shuo | Linking Science and Technology: Reference Matching for Co-citation Net... | Takes, prof.dr. F.W., Hoogeboom, dr. H.J. | IiB&PS | |
| 2015‑2016 | Zeegers, M.T. (Mathe) | Theoretical Properties of 2048 | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2015‑2016 | Gent, D. (Daan) van | Graph Isomorphism in Quasi-polynomial Time [IW] | dr. O. Biesel, Hoogeboom, dr. H.J. | Inf | |
| 2015‑2016 | Bannenberg, L. (Lou) | Checking for Compatibility in Team Automata | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf | |
| 2015‑2016 | Edixhoven, L. (Luc) | Attacking the n-Puzzle Using SAT Solvers | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2015‑2016 | Huybers, R. (Richard) | Mario (of hoe je een Programmeerwedstrijd kunt Winnen) | Vliet van, dr. R., Hoogeboom, dr. H.J. | Inf | |
| 2015‑2016 | Werff, C.R.A. (Chivany) van der | Tetris Strategies in a Multiplayer Environment | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2015‑2016 | Roos, D. (Dennis) | Transformation of Membrane Systems | Hoogeboom, dr. H.J., Kleijn, prof.dr. H.C.M. | Inf | |
| 2015 | Vliet, R. (Rudy) van | DNA Expressions: A Formal Notation for DNA | Rozenberg, prof.dr. G., Hoogeboom, dr. H.J. | PhD | |
| 2014‑2015 | Dekker, V. (Victor) | A Difficulty Measure for Light Up Puzzles | Kosters, dr. W.A., Hoogeboom, dr. H.J. | Inf | |
| 2013‑2014 | Delft, L. (Leroy) van | Simulation and Mathematical Structures for Asynchronous Stream Circuit... | Bonsangue, prof.dr. M.M., Hoogeboom, dr. H.J. | CS | |
| 2013‑2014 | Jochems, J. (Jennifer) | Partial Derivatives for KAT Expressions | Bonsangue, prof.dr. M.M., Hoogeboom, dr. H.J. | Inf | |
| 2013‑2014 | Rensen, M. (Michel) | An On-Line Parsing Algorithms for Conjunctive Grammars | Bonsangue, prof.dr. M.M., Hoogeboom, dr. H.J. | Inf | |
| 2012‑2013 | Engelen, J. (Jesper) van | Guided Rewriting in Families of Languages | Hoogeboom, dr. H.J., Kleijn, prof.dr. H.C.M. | Inf | |
| 2012 | Rijn, J. (Jan) van | Playing Games: The Complexity of Klondike, Mahjong, Nonograms and Anim... | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2012 | Ruiter, J. (Johan) de | Counting Classes of Klondike Solitaire Configurations | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2012 | Massop, E. (Erik) | Hilbert's Tenth Problem | Hoogeboom, dr. H.J., dr. R.M. van Luijk | Inf | |
| 2011 | Wang, J. (Jun) | Spiking Neural P Systems | Kok, prof.dr. J.N., Hoogeboom, dr. H.J. | PhD | |
| 2011 | Stein, B. (Bas) van | The Beginning of a Theory for Set-Nets | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf | |
| 2011 | Vlugt, S.H.W. (Sander) van der | Coverability Tree Constructions and Inhibitor Places | Kleijn, prof.dr. H.C.M., Hoogeboom, dr. H.J. | Inf | |
| 2010 | Donkersteeg, P.B. (Pieter Bas) | Klondike Strategies using Monte Carlo Techniques | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2010 | Takes, F.W. (Frank) | Applying Monte Carlo Techniques to the Capacitated Vehicle Routing Pro... | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2009 | Rietveld, K.F.R. (Kristian) | Distributed Approaches for Discovering Unique Factors in the Human Gen... | dr. J.F.J. Laros, Hoogeboom, dr. H.J. | Inf | |
| 2008 | Brijder, R. (Robert) | Models of Natural Computation: Gene Assembly and Membrane Systems | Rozenberg, prof.dr. G., Hoogeboom, dr. H.J. | PhD | |
| 2008 | Oosten, M. (Maarten) | Verleden Namen | Hoogeboom, dr. H.J., Kosters, dr. W.A., prof | CS | |
| 2008 | Halm, E. (Eyal) | Genetic Algorithm for Predicting Protein Folding in the 2D HP Model | Hoogeboom, dr. H.J. | Inf | |
| 2008 | Laraghy, S. (Susan) | Refining Probability Motifs for the Discovery of Existing Patterns of ... | Hoogeboom, dr. H.J., Kosters, dr. W.A. | Inf | |
| 2007 | Samwel, B. (Bart) | Pebble Scope and the Power of Pebble Tree Transducers | Engelfriet, dr. J., Hoogeboom, dr. H.J. | CS | |
| 2007 | Vuurden, K. (Klaske) van | Searching for Unique Strings of Variable Length in DNA using Pruned an... | Hoogeboom, dr. H.J., dr. J.F.J. Laros | CS | |
| 2005 | Gao, Y. (Yan) | P. Systems with Non-reactive Objects | Hoogeboom, dr. H.J., Rozenberg, prof.dr. G. | CS | |
| 2004 | Frisco, P. (Pierluigi) | Theory of Molecular Computing. Splicing and Membrane Systems | Rozenberg, prof.dr. G., Hoogeboom, dr. H.J. | PhD | |
| 2004 | Laros, J.F.J. (Jeroen) | Unique Factors in the Human Genome | Kosters, dr. W.A., Hoogeboom, dr. H.J., dr. P. Taschner | CS | |
| 2004 | Bilanovic, V. (Vedran) | Temporal Difference Driving Exam | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2004 | Haazebroek, P. (Pascal) | Web Event Based Usability Analysis | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2004 | Brijder, R. (Robert) | Characterizing Reducibility of Gene Patterns in Ciliates | Hoogeboom, dr. H.J., Rozenberg, prof.dr. G. | CS | |
| 2003 | Batenburg, K.J. (Joost) | An Evolutionary Algorithm for Discrete Tomography | Kosters, dr. W.A., Hoogeboom, dr. H.J. | CS | |
| 2002 | Vugt, N. (Nike) van | Models of Molecular Computing | Rozenberg, prof.dr. G., Hoogeboom, dr. H.J. | PhD | |
| 1999 | Woestijne, C.E. (Christiaan) van de | A formal characterisation of the Delilah system | Hoogeboom, dr. H.J., dr. C.J.L.M. Cremers | CS | |
| 1996 | Dassen, J.H.M. (Ray) | Molecular Computation and Splicing Systems | Rozenberg, prof.dr. G., Hoogeboom, dr. H.J. | CS | |
| 1996 | Vugt, N. (Nike) van | Generalized Context-Free Grammars | Hoogeboom, dr. H.J. | CS | |
| 1995 | Pas, P. (Paulien) ten | Trees and Texts | Rozenberg, prof.dr. G., Hoogeboom, dr. H.J. | PhD | |
| 1994 | Bouknecht, G.N. (Gerrit) | Trace-monoiden en het Doorsnedeprobleem | Hoogeboom, dr. H.J. | CS | |
