Številke

Bibliografija osebe. Seznam zajema vsa gradiva in ne le tista, kje je oseba mentor.

Doktorska dela (1)

1. Žiga Lukšič: Applications of algebraic effect theories

Magistrska dela (7)

1. Tina Janša: Izračun zahtevanega solventnostnega kapitala za zavarovalnice in pozavarovalnice po standardni formuli v programskem jeziku R
2. Filip Koprivec: Eksplicitna izpeljava učinkov
3. Anže Nunar: Analiza in vizualizacija nepremičninskih podatkov v Sloveniji
4. Žiga Zupančič: Prevajanje prestreznikov algebrajskih učinkov v jezik brez učinkov
5. Urša Pertot: Knjižnica za samodejno generiranje matematičnih nalog
6. Janez Radešček: Asinhroni algebrajski učinki
7. Rok Koleša: Prevajanje prestreznikov algebrajskih učinkov v Javascript

Diplomska dela (9)

1. Tina Janša: Spletna aplikacija za linearno programiranje
2. Andrej Maršič: Uporaba genetskih algoritmov in metod Monte Carlo za iskanje optimalne strategije samozadrževanja v bonus-malus sistemih
3. Tomaž Stepišnik Perdih: Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu
4. Lenart Treven: Metode podpornih vektorjev
5. Samo Kralj: Modul za analizo oddanih rešitev na spletni storitvi Projekt Tomo
6. Filip Koprivec: Uporaba tipov za zagotavljanje pravilnosti programov
7. Tadej Petrič: ZX-račun
8. Jakob Zmrzlikar: Jedrne metode
9. Nina Slivnik: Uporaba polkolobarjev z zaprtjem

Druga dela (1)

1. Danel Ahman, Matija Pretnar: Higher-order asynchronous effects