Gregor Ažbe (2019) Solving problems on graphs using elimination algorithms. EngD thesis.
Marko Kočevar (2019) Comparison of blockchain implementations using a register of inquiries. EngD thesis.
Nejc Kišek (2018) Multiple dispatch in Java using annotation processing. MSc thesis.
Uroš Hekić (2018) Comparison of quicksort partitioning algorithms. EngD thesis.
Denis Oblak (2018) Cleaning up a GNU/Linux operating system. EngD thesis.
Nikolaj Janko (2017) Algorithmic optimization of sales acceleration. MSc thesis.
Anže Sodja (2017) Polynomial evaluation on data-flow computers. MSc thesis.
Kokan Malenko (2017) The consequences of quantum computing. EngD thesis.
Nina Vehovec (2017) Hybridization of greedy algorithms and quicksort. EngD thesis.
Matej Horvat (2017) Emulation of the Iskra Delta Partner computer. EngD thesis.
Julija Petrič (2017) Multiple dispatch in Java. EngD thesis.
Žiga Putrle (2017) Upgrade of a concatenative programming language interpreter for monitoring of executing program. EngD thesis.
Matej Žniderič (2017) Matrix algorithms on data-flow computers. MSc thesis.
Jan Makovecki (2016) Prototype-based object-oriented programming. EngD thesis.
Nejc Kišek (2016) Linker for a hypothetical computer SIC/XE. EngD thesis.
Matej Zavrtanik (2016) Comparison of systems for memory allocation in the C programming language. EngD thesis.
Rok Novosel (2016) Generating algorithms for counting k-grams. EngD thesis.
Petar Magdevski (2016) Algorithms for the tree isomorphism problem. EngD thesis.
Matej Šmit (2016) System programming languages. EngD thesis.
Nejc Ančimer (2016) Use of environment-friendly technologies in large-scale computer systems. EngD thesis.
Mojca Lorber (2016) String similarity measures. EngD thesis.
Samo Pahor (2016) NP-completeness of mind games and puzzles. EngD thesis.
David Mohar (2016) Tracing programs in the Linux operating system. EngD thesis.
Anej Budihna (2015) Algorithms for external sorting. EngD thesis.
Andrej Bratož (2015) .NET Platform and interoperability with Windows system. EngD thesis.
Peter Remec (2015) Integration of subgraph isomorphism problem into ALGator system. EngD thesis.
Andrej Furlan (2014) Deduplication file systems. EngD thesis.
Blaž Repas (2014) Verifying correctness of programs with dependent types in Idris programming language. Prešeren awards for students.
Anže Schwarzmann (2014) Synthesis of digital microfluidic biochips. EngD thesis.
Blaž Repas (2014) Verifying correctness of programs with dependent types in Idris programming language. EngD thesis.
