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

PhD theses (1)

1. Jurij Mihelič: Prilagodljivost v optimizacijskih problemih

MSc theses (6)

1. Matej Žniderič: Matrični algoritmi na podatkovno-pretokovnih računalnikih
2. Anže Sodja: Evalvacija polinomov na podatkovno-pretokovnih računalnikih
3. Nikolaj Janko: Algoritmično podprta optimizacija pospeševanja prodaje
4. Lovro Habjan: Navidezni stroj s sledenjem pretoku informacij z označevanjem
5. Nejc Kišek: Večkratno razpošiljanje v Javi z obdelavo anotacij
6. Jan Šubelj: Razvoj genetskega algoritma večciljne optimizacije za načrtovanje močnostnih transformatorjev

BSc theses (53)

1. Blaž Repas: Preverjenje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris
2. Anže Schwarzmann: Sinteza digitalnih mikrofluidnih biočipov
3. ANDREJ FURLAN: Deduplikativni datotečni sistemi
4. Miha Meglič: Primerjava sistemskih klicev operacijskih sistemov Linux in Windows
5. Peter Remec: Integracija problema izomorfnega podgrafa v sistem ALGator
6. ANDREJ BRATOŽ: Platforma .NET in interoperabilnost z Windows sistemom
7. MATEJ ŠMIT: Sistemski programski jeziki
8. PETAR MAGDEVSKI: Algoritmi za problem izomorfizma dreves
9. GAŠPER KOLBEZEN: Izdelava zbirke omrežij slovenskega izvora
10. SERGEJ MUNDA: Spletna aplikacija za samodejno izdelavo sedežnih redov
11. LUKA BAJIĆ: Vzporedni algoritmi za problem Levenshteinove razdalje in najdaljše skupno podzaporedje
12. Nina Vehovec: Hibridizacija požrešnih algoritmov in hitrega urejanja
13. MIHA KORENJAK: Izvajalno okolje za hipotetični računalnik SIC/XE
14. GAŠPER MERELA: Arbitraža med različnimi verigami blokov
15. Rok Novosel: Generiranje algoritmov za štetje k-gramov
16. Iztok Bajcar: Izvedba modula za operacijski sistem Linux v programskem jeziku Rust
17. Blaž Repas: Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris
18. MARTIN PERNE: Optimizacija algoritma za izračun internetne vsote
19. ANEJ BUDIHNA: Algoritmi za zunanje urejanje
20. Nejc Kišek: Povezovalnik za hipotetični računalnik SIC/XE
21. MATEJ ZAVRTANIK: Primerjava sistemov za dodeljevanje pomnilnika v programskem jeziku C
22. Samo Pahor: NP-polnost miselnih iger in ugank
23. DAVID MOHAR: Sledenje programom v operacijskem sistemu Linux
24. Nejc Ančimer: Uporaba okolju prijaznih tehnologij v velikih računalniških sistemih
25. Mojca Lorber: Mere podobnosti nizov
26. DOMEN IGLIČ: Analiza in preoblikovanje zaprto-kodnih programov za Windows
27. DOMEN GRZIN: Problem strnjenega polnjenja košev
28. Jan Makovecki: Objektno-orientirano programiranje s prototipi
29. Kokan Malenko: Posledice kvantnega računalništva
30. Žiga Putrle: Nadgradnja tolmača konkatenacijskega programskega jezika za spremljanje izvajanja programa
31. Julija Petrič: Večkratno razpošiljanje v javi
32. Matej Horvat: Emulacija računalnika Iskra Delta Partner
33. DENIS OBLAK: Čiščenje operacijskega sistema GNU/Linux
34. Uroš Hekić: Primerjava algoritmov porazdeljevanja pri hitrem urejanju
35. JAN ADAMIČ: Algoritmi za štetje trikotnikov v grafu
36. BOJAN ILIĆ: Integracija algoritmov za problem podgrafnega izomorfizma
37. GAŠPER MOČNIK: Primerjava algoritmov za izračun Fibonaccijevih števil
38. Marko Kočevar: Primerjava implementacij verige blokov na primeru registra vpogledov
39. Žan Magerl: Algoritmi za igranje potezne večakcijske miselne igre Less
40. LEON PREMK: Algoritmi za izračun razdalje med časovnimi vrstami z dinamičnim prilagajanjem časa
41. Erik Kastelec: Ekstrakcija gradnikov PDF datotek
42. ANŽE TANKO: Urejanje terk glede na medsebojno oddaljenost
43. ROK SUŠNIK: Brezkonfliktno skupinsko urejanje izvorne kode v okolju IntelliJ IDEA
44. ALJAŽ MARKOVIČ: Algoritem kot storitev
45. Una Sekulović: Omrežja s človeškimi viri
46. NIKOLAJ POPOVIČ: Integracija algoritmov za problem podgrafnega izomorfizma v okolje R
47. LORIS ŠTROSAR GRMEK: Izvedba preproste verige blokov
48. ANDRAŽ ROZMAN: Emulator igralne konzole Nintendo Entertainment System
49. TOMAŽ HRIBERNIK: Pospeševanje posredovanja omrežnih paketov z uporabo tehnologije eBPF/XDP
50. Tian Grumerec: Emulator terminala v programskem jeziku C
51. ŽAN ŠPILER: Urejanje in vizualizacija politike informacijskega pretoka
52. LAN BITEŽNIK: Vizualno generiranje znakovnih gesel
53. Marko Križman: Statični nadzornik navideznih strojev za procesorsko arhitekturo RISC-V

Other documents (2)

1. Matej Babič, Jurij Mihelič, Michele Calì: Complex network characterization using graph theory and fractal geometry
2. Uroš Čibej, Luka Fürst, Jurij Mihelič: A symmetry-breaking node equivalence for pruning the search space in backtracking algorithms