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 (7)

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

Diplomska dela (95)

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

Druga dela (8)

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