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

Doktorska dela (5)

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. Miha Janež: Metode razmeščanja in povezovanja logičnih primitivov kvantnih celičnih avtomatov
4. Miha Moškon: Modeli in metrike dinamike preklopa v enostavnih bioloških sistemih za potrebe računalniških struktur prihodnosti
5. 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 (98)

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. MATJAŽ ŠKABAR: Avtomatizacija ocene kompleksnosti izvorne programske kode
51. Gregor Komljenović: Uporaba storitve eRecept
52. JURIJ KOLENIK: Analiza porazdelitev medprihodnih časov paketov pri sprejemu pretakanja videoposnetka
53. Janez Eržen: Agilen razvoj vnosnih form za potrebe shranjevanja podatkov pacientov na osnovi OpenEHR specifikacij
54. TADEJ HUDOBIVNIK: Postavitev vzorčnega LoRaWAN IoT omrežja
55. Matej Papler: Algoritemsko nadzorovano trgovanje z vrednostnimi papirji
56. Silvo Gazvoda: Analiza delovanja računalniških omrežij s programskim orodjem CACTI
57. Ožbolt Menegatti: Vzorčni primeri programskih rešitev za Raspberry Pi
58. Andrej Dolenc: Uporaba openEHR standarda za razvoj zdravstvenih aplikacij v presejalnem programu Dora
59. Nik Mišković: Analiza storitve FlipIT z vidika časa dostopa
60. Jernej Oblak: Zmogljivostna analiza prenosa podatkov po standardu 802.11n
61. Matej Dolenc: Verifikacija komunikacijskih protokolov na osnovi barvnih Petrijevih mrež
62. MATIJA ANDREJČIČ: Analiza vpliva tipa čakalnih vrst na zakasnitve paketov
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. Aleksandar Petrović: Razvoj modularnega orodja za potrebe računske biologije
82. Maja Somrak: Računalniško modeliranje zdravljenja s produkcijo biološkega zdravila v tarčnem tkivu
83. Gašper Stipanič: Računalniški model in simulacija avtomatiziranega skladišča
84. Klemen Oblak: Meritve in analiza prometa v komunikacijskih omrežjih
85. MATIC PIRNAT: Vzorčni primeri konfiguriranja virtualiziranih sistemov v poslovnih okoljih
86. ROBERT MODIC: Model podatkovnega prometa v mobilnem omrežju na fizično omejenem področju
87. Tea Zupančič: Analiza vpliva medprihodnih časov zahtev na njihove čakalne čase v procesu strežbe
88. MATIC TRPIN: Analiza internetnega prometa v večjem vzorčnem slovenskem podjetju
89. Jan Kastelic: Monitoriranje in upravljanje konfiguracij naprav v računalniških omrežjih
90. MIMI KLINEC: Agentno modeliranje dinamike tropov volkov v okolju NetLogo
91. Mojca Kompara: Primerjava generatorjev omrežnega prometa in testiranje popačenja porazdelitve medprihodnih časov
92. ŽAN BENEDEJČIČ: Postavitev računalniškega modela delovanja turističnega žičničarskega centra
93. JANŽE PRAZNIK: Bremensko testiranje zmogljivosti spletne aplikacije v oblaku
94. Vid Stamenković: Postavitev javnega rekurzivnega razreševalnika v DNS sistemu
95. MAJ MALENŠEK: Vzpostavitev sistema dvofazne avtentikacije na osnovi pametne kartice ter prstnega odtisa
96. Andraž Sovinec: Analiza zmogljivosti modeliranega računalniškega omrežja za potrebe prenosa sporočil o stanju porabe električnih števcev
97. Kevin Požar: Modeliranje, analiza in optimizacija obrata z aditivno proizvodnjo
98. 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