Numbers

Bibliography of the person, including all types of documents, not only theses.

PhD theses (1)

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

MSc theses (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

BSc theses (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

Other documents (2)

1. Danel Ahman, Matija Pretnar: Higher-order asynchronous effects
2. Filip Koprivec, Matija Pretnar: Simplifying explicit subtyping coercions in a polymorphic calculus with effects