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

Doktorska dela (3)

1. Miha Janež: Metode razmeščanja in povezovanja logičnih primitivov kvantnih celičnih avtomatov
2. Miha Moškon: Modeli in metrike dinamike preklopa v enostavnih bioloških sistemih za potrebe računalniških struktur prihodnosti
3. JURE BORDON: Modeliranje enostavnih bioloških preklopnih sistemov z uporabo mehke logike in razširjenih Petrijevih mrež

Magistrska dela (8)

1. Ema Jenko: Uporaba senzorjev gibanja v oskrbovanem stanovanju
2. Simon Arbajter: Analiza toka in načina hrambe podatkov o obravnavah pacientov v Urgentnem kirurškem bloku UKC Ljubljana
3. Karmen Gostiša: The unification of inter-functional couplings in FRAM
4. Matej Dolenc: Reverzibilni pretvornik QCA med binarno in Grayevo kodo
5. Ladislav Škufca: Analiza bremena in zmogljivosti vzorčnega e-zdravstvenega sistema
6. Roni Likar: Primerjava programskih jezikov za programiranje sodobnih kvantnih računalnikov
7. Jurij Nastran: Integration and analysis of scRNAseq data using genome-scale metabolic models
8. Jurij Kolenik: Analiza in modeliranje porajanja odhodnih IP paketov iz večjega lokalnega računalniškega omrežja

Diplomska dela (97)

1. Božidara Cvetković: Analiza možnosti realizacije primitivnih računalniških struktur na osnovi DNK gradnikov
2. Siniša Jojić: Upravljanje identitet s pomočjo orodja "CA Identity Manager"
3. Gregor Žnidaršič: Analiza vzrokov in načinov odpovedi programske rešitve E-Trans
4. Anže Hrast: Zmogljivostna analiza programske rešitve "SEP2W System" za avtomatsko odčitavanje porabljene energije
5. Peter Gorišek: Testiranje novo vpeljane programske rešitve za podporo e-proizvodnje
6. Borut Šuštar: Analiza stanja razvoja fleksibilnih zaslonov s prototipnim zgledom uporabe
7. Aleš Glavina: Oddaljena konfiguracija servisov v sistemu SEP2W.NET
8. Gregor Koščak: Analiza upravljanja s podatkovnimi tokovi v računalniških omrežjih
9. Jure Žavbi: Primerjava VMware ESX in MS Hyper-V platform za virtualizacijsko podporo SEP2W sistema
10. Metod Fajmut: Analiza zanesljivosti računalniškega sistema zračnega plovila Airbus A-330
11. Jasna Škrbec: Analiza možnosti povezovanja računalniških omrežij s prostozračnimi optičnimi povezavami
12. Domen Gostinčar: Vpeljava metrik za ocenjevanje preklopne dinamike v enostavnih DNK temelječih bioloških sistemih
13. Igor Vizec: Analiza standardov za določanje zanesljivosti elektronskih komponent
14. Boštjan Tratar: Analiza metod pospešenega staranja elektronskih komponent
15. Bojan Bojkovski: Postavitev ESX 3.5 strežniške infrastrukture za doseganje virtualnega okolja
16. Andrej Laharnar: Razvoj uporabniškega vmesnika oddelčnega proizvodnega informacijskega sistema za vodje izmen
17. Erik Kralj: Razvoj knjižnice za odjemalsko stran gonilnika protokola SML
18. Aleš Brezovar: Analiza HL7 standarda za izmenjavo podatkov v bolnišničnih informacijskih sistemih
19. Andreja Kebe: Informatizacija in digitalizacija slovenskega zdravstva
20. Ivan Lušin: Razvoj aplikacije za vodenje evidence računalniških sredstev
21. Simon Erjavec: Razvoj programske aplikacije za beleženje in vrednotenje nakupov prehranskih izdelkov
22. Jure Bordon: Kvalitativna analiza bioloških oscilatorjev kot procesnih gradnikov
23. Aleš Palčič: Analiza protokolov TRILL in SPB glede na funkcionalnosti protokola STP
24. Aleš Gerkman: Avtomatizacija testiranja prenosa faks sporočila preko IP omrežja
25. Andrej Jakopič: Implementacija e-računov v spletno bančništvo
26. Miha Puš: Identifikacija potrebne opreme za izdelavo privatnega oblaka
27. Aleš Golja: Primerjava aktualnih spletnih brskalnikov
28. Ivan Jovanovski: Testiranje zmogljivosti spletne aplikacije Origami DMS
29. Peter Lavrič: Analiza možnosti shranjevanja zdravstvenih podatkov v okviru projekta ezdravje
30. Uroš Raztresen: Barvna korekcija pri digitalni video montaži
31. Marko Gavranović: Analiza N-modularnih redundančnih sistemov
32. Polona Antončič: Monitoriranje računalniških omrežij
33. Blaž Jožef: Analiza zmogljivosti računalniškega omrežja za potrebe digitalne priprave tiskovin
34. Jure Mohar: Primerjava protokolov za prikaz oddaljenega virtualnega namizja
35. Matjaž Levstik: Analiza načrtovalskega jezika SystemC
36. Darko Božić: Analiza in zgled uporabe programskega orodja "CPN Tools" za postavljanje modelov dinamičnih sistemov
37. Rok Mikulič: Ocena latence v hipotetičnem podatkovnem omrežju nacionalnega nadzornika zračne plovbe
38. Mark Rolih: Analiza možnosti realizacije logičnih reverzibilnih vrat v trostanjskem kvantnem celičnem avtomatu
39. Martin Stražar: Paralelni evolucijski algoritem za odkrivanje znanja iz modela genskega regulatornega omrežja
40. Matej Škerjanc: Povezovanje geografsko informacijskega sistema z bazo tehničnih podatkov
41. Dušan Vučko: Zasnova hibridnega pristopa za modeliranje gensko regulatornih omrežij
42. Aleš Jagrič: Aplikacija za porazdeljeno kodiranje pretočnih video vsebin
43. Primož Ivančič: Gostovanje uporabniških profilov
44. Gregor Torkar: Analiza možnih strategij pomnjenja podatkov elektronskega zdravstvenega zapisa
45. Borut Strel: Analiza povezljivosti POCT medicinskih naprav z zdravstvenimi informacijskimi sistemi
46. ANDREJ DOLENC: Uporaba openEHR standarda za razvoj zdravstvenih aplikacij v presejalnem programu Dora
47. OŽBOLT MENEGATTI: Vzorčni primeri rešitev za RasberryPi
48. Silvo Gazvoda: Analiza delovanja računalniških omrežij s programskim orodjem CACTI
49. NIK MIŠKOVIČ: Analiza storitve FlipIT z vidika časa dostopa
50. Jurij Plaskan: Analiza skladnosti dveh vzorčnih medicinskih radioloških preiskav s standardom DICOM
51. MATJAŽ ŠKABAR: Avtomatizacija ocene kompleksnosti izvorne programske kode
52. Gregor Komljenović: Uporaba storitve eRecept
53. Jurij Kolenik: Analiza porazdelitev medprihodnih časov paketov pri sprejemu pretakanja videoposnetka
54. Janez Eržen: Agilen razvoj vnosnih form za potrebe shranjevanja podatkov pacientov na osnovi OpenEHR specifikacij
55. TADEJ HUDOBIVNIK: Postavitev vzorčnega LoRaWAN IoT omrežja
56. Matej Papler: Algoritemsko nadzorovano trgovanje z vrednostnimi papirji
57. Ožbolt Menegatti: Vzorčni primeri programskih rešitev za Raspberry Pi
58. Neja Babič: Varnostno kopiranje podatkovnih baz z orodjem Veeam
59. Jernej Oblak: Zmogljivostna analiza prenosa podatkov po standardu 802.11n
60. Matej Dolenc: Verifikacija komunikacijskih protokolov na osnovi barvnih Petrijevih mrež
61. MATIJA ANDREJČIČ: Analiza vpliva tipa čakalnih vrst na zakasnitve paketov
62. TIMOTEJ OSOLIN: Zasnova translacije bioloških modelov v SBML zapis
63. Staš Hvala: Metodologije testiranja programske opreme
64. Boris Šimenc: Digitalna dostopnost starejših in oseb z zmanjšanimi zmožnostmi do zdravstvenih informacij in storitev e-zdravja
65. Klemen Ferjančič: Medsistemska sprotna integracija izvorne kode
66. MATEJ ČUČEK GERBEC: Analiza ustreznosti naročniških razmerij v oblačnih storitvah
67. ANDRAŽ PUC: Razvoj programske opreme za Wi-Fi modul povezljivih gospodinjskih aparatov
68. NATAŠA VODOPIVEC: Prenos meritev pametne zapestnice v enovito podatkovno bazo
69. Miha Oblak: Strategija hierarhije hrambe podatkov v zdravstvu
70. MARKO CANKAR: Vključitev računalniško podprte kefalometrične analize v sistem e-Zdravje
71. JAKA SIMŠIČ: Gradnja širokopasovnega dostopovnega omrežja po smernicah Evropske digitalne agende
72. Matej Bertoncelj: Varen dostop do internetnih storitev z uporabo požarne pregrade naslednje generacije
73. Urban Leben: Programska rešitev avtomatizacije procesa sestave turističnega itinerarja
74. MATIC TKALEC: Zanesljivostna analiza vzorčnega socio - tehničnega sistema na podlagi FRAM metode
75. ALJOŠA POČIČ: Principi zaznavanja neželjenih dogodkov v večjih informacijskih sistemih
76. NIVES BRICMAN: Zasnova fizičnega omrežja za potrebe novega ponudnika internetnih storitev
77. JAKOB PREDIN: Oblačni informacijski sistem za podporo delovanja zagonskih podjetij
78. EDO LJUBIJANKIĆ: Vzorčna anonimizacija umetne zdravstvene podatkovne baze
79. MATEVŽ OGRINC: Model prometa v vzorčnem fiksnem računalniškem omrežju
80. Aleksandar Petrović: Razvoj modularnega orodja za potrebe računske biologije
81. Maja Somrak: Računalniško modeliranje zdravljenja s produkcijo biološkega zdravila v tarčnem tkivu
82. Gašper Stipanič: Računalniški model in simulacija avtomatiziranega skladišča
83. Klemen Oblak: Meritve in analiza prometa v komunikacijskih omrežjih
84. MATIC PIRNAT: Vzorčni primeri konfiguriranja virtualiziranih sistemov v poslovnih okoljih
85. ROBERT MODIC: Model podatkovnega prometa v mobilnem omrežju na fizično omejenem področju
86. Tea Zupančič: Analiza vpliva medprihodnih časov zahtev na njihove čakalne čase v procesu strežbe
87. MATIC TRPIN: Analiza internetnega prometa v večjem vzorčnem slovenskem podjetju
88. Jan Kastelic: Monitoriranje in upravljanje konfiguracij naprav v računalniških omrežjih
89. MIMI KLINEC: Agentno modeliranje dinamike tropov volkov v okolju NetLogo
90. Mojca Kompara: Primerjava generatorjev omrežnega prometa in testiranje popačenja porazdelitve medprihodnih časov
91. ŽAN BENEDEJČIČ: Postavitev računalniškega modela delovanja turističnega žičničarskega centra
92. JANŽE PRAZNIK: Bremensko testiranje zmogljivosti spletne aplikacije v oblaku
93. Vid Stamenković: Postavitev javnega rekurzivnega razreševalnika v DNS sistemu
94. MAJ MALENŠEK: Vzpostavitev sistema dvofazne avtentikacije na osnovi pametne kartice ter prstnega odtisa
95. Andraž Sovinec: Analiza zmogljivosti modeliranega računalniškega omrežja za potrebe prenosa sporočil o stanju porabe električnih števcev
96. Kevin Požar: Modeliranje, analiza in optimizacija obrata z aditivno proizvodnjo
97. Matija Tomažič: Agentno modeliranje širjenja nalezljivih bolezni

Druga dela (9)

1. Tadeja Režen, Alexandre Martins, Miha Mraz, Nikolaj Zimic, Damjana Rozman, Miha Moškon: Integration of omics data to generate and analyse COVID-19 specific genome-scale metabolic models
2. Tanja Cvitanović Tomaš, Žiga Urlep, Miha Moškon, Miha Mraz, Damjana Rozman: LiverSex computational model
3. Andrew Walakira, Damjana Rozman, Tadeja Režen, Miha Mraz, Miha Moškon: Guided extraction of genome-scale metabolic models for the integration and analysis of omics data
4. Kaja Blagotinšek Cokan, Žiga Urlep, Miha Moškon, Miha Mraz, Xiang Yi Kong, Winnie Eskild, Damjana Rozman, Peter Juvan, Tadeja Režen: Common transcriptional program of liver fibrosis in mouse genetic models and humans
5. Lidija Magdevska, Miha Mraz, Nikolaj Zimic, Miha Moškon: Initial state perturbations as a validation method for data-driven fuzzy models of cellular networks
6. Žiga Pušnik, Miha Mraz, Nikolaj Zimic, Miha Moškon: Review and assessment of Boolean approaches for inference of gene regulatory networks
7. Miha Moškon, Žiga Pušnik, Lidija Stanovnik, Nikolaj Zimic, Miha Mraz: A computational design of a programmable biological processor
8. Andrew Walakira, Cene Skubic, Nejc Nadižar, Damjana Rozman, Tadeja Režen, Miha Mraz, Miha Moškon: Integrative computational modeling to unravel novel potential biomarkers in hepatocellular carcinoma
9. Žiga Pušnik, Miha Mraz, Nikolaj Zimic, Miha Moškon: SAILoR