Številke

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

Doktorska dela (2)

1. Jurij Mihelič: Prilagodljivost v optimizacijskih problemih
2. Janja Žagar: Napovedovanje kakovosti zdravil iz časovnih podatkov o proizvodnih procesih in spektrov vhodnih materialov

Magistrska dela (12)

1. Sven Cerk: Metode sestopanja za reševanje problema podgrafnega izomorfizma
2. Matej Žniderič: Matrični algoritmi na podatkovno-pretokovnih računalnikih
3. Anže Sodja: Evalvacija polinomov na podatkovno-pretokovnih računalnikih
4. Nikolaj Janko: Algoritmično podprta optimizacija pospeševanja prodaje
5. Miha Eleršič: Eksperimentalno ovrednotenje algoritmov za problem razmeščanja centrov
6. Lovro Habjan: Navidezni stroj s sledenjem pretoku informacij z označevanjem
7. Nejc Kišek: Večkratno razpošiljanje v Javi z obdelavo anotacij
8. Jan Šubelj: Razvoj genetskega algoritma večciljne optimizacije za načrtovanje močnostnih transformatorjev
9. Adriana Jordan: Primerjava samostojnega učenja z uporabo e-učnih gradiv in tradicionalnega učnega pristopa na temo internetne varnosti pri učencih 4. razreda osnovne šole
10. Samo Metličar: Problem zapiranja centrov
11. Ana Luetić: Formalizacija ločevalnega jedra z uporabo dokazovalnega pomočnika
12. Loris Štrosar Grmek: Preverjanje celovitosti kontrolnega pretoka

Diplomska dela (58)

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. Samo Golež: Integracija grafičnih knjižnic Vello in Vello CPU v spletni pogon Servo
17. Iztok Bajcar: Izvedba modula za operacijski sistem Linux v programskem jeziku Rust
18. Blaž Repas: Preverjanje pravilnosti programov z odvisnimi tipi v programskem jeziku Idris
19. MARTIN PERNE: Optimizacija algoritma za izračun internetne vsote
20. ANEJ BUDIHNA: Algoritmi za zunanje urejanje
21. Nejc Kišek: Povezovalnik za hipotetični računalnik SIC/XE
22. MATEJ ZAVRTANIK: Primerjava sistemov za dodeljevanje pomnilnika v programskem jeziku C
23. Samo Pahor: NP-polnost miselnih iger in ugank
24. DAVID MOHAR: Sledenje programom v operacijskem sistemu Linux
25. Nejc Ančimer: Uporaba okolju prijaznih tehnologij v velikih računalniških sistemih
26. Mojca Lorber: Mere podobnosti nizov
27. DOMEN IGLIČ: Analiza in preoblikovanje zaprto-kodnih programov za Windows
28. DOMEN GRZIN: Problem strnjenega polnjenja košev
29. Jan Makovecki: Objektno-orientirano programiranje s prototipi
30. Kokan Malenko: Posledice kvantnega računalništva
31. Žiga Putrle: Nadgradnja tolmača konkatenacijskega programskega jezika za spremljanje izvajanja programa
32. Julija Petrič: Večkratno razpošiljanje v javi
33. Matej Horvat: Emulacija računalnika Iskra Delta Partner
34. DENIS OBLAK: Čiščenje operacijskega sistema GNU/Linux
35. Uroš Hekić: Primerjava algoritmov porazdeljevanja pri hitrem urejanju
36. JAN ADAMIČ: Algoritmi za štetje trikotnikov v grafu
37. Bojan Ilić: Integracija algoritmov za problem podgrafnega izomorfizma
38. GAŠPER MOČNIK: Primerjava algoritmov za izračun Fibonaccijevih števil
39. Marko Kočevar: Primerjava implementacij verige blokov na primeru registra vpogledov
40. Žan Magerl: Algoritmi za igranje potezne večakcijske miselne igre Less
41. LEON PREMK: Algoritmi za izračun razdalje med časovnimi vrstami z dinamičnim prilagajanjem časa
42. Erik Kastelec: Ekstrakcija gradnikov PDF datotek
43. ANŽE TANKO: Urejanje terk glede na medsebojno oddaljenost
44. ROK SUŠNIK: Brezkonfliktno skupinsko urejanje izvorne kode v okolju IntelliJ IDEA
45. ALJAŽ MARKOVIČ: Algoritem kot storitev
46. Una Sekulović: Omrežja s človeškimi viri
47. NIKOLAJ POPOVIČ: Integracija algoritmov za problem podgrafnega izomorfizma v okolje R
48. Loris Štrosar Grmek: Izvedba preproste verige blokov
49. ANDRAŽ ROZMAN: Emulator igralne konzole Nintendo Entertainment System
50. TOMAŽ HRIBERNIK: Pospeševanje posredovanja omrežnih paketov z uporabo tehnologije eBPF/XDP
51. Tian Grumerec: Emulator terminala v programskem jeziku C
52. ŽAN ŠPILER: Urejanje in vizualizacija politike informacijskega pretoka
53. LAN BITEŽNIK: Vizualno generiranje znakovnih gesel
54. Marko Križman: Statični nadzornik navideznih strojev za procesorsko arhitekturo RISC-V
55. Dejan Jarc: Izobraževalni operacijski sistemi
56. Strahinja Đorđević: Prstni odtisi naprav
57. Gregor Pogačar: Standard unikod
58. Nikola Brković: Primerjava orodij za avtomatizacijo gradnje programske opreme

Druga dela (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