@phdthesis{pmf:12545,
	author = {{Horvat, Sebastijan}},
	title = {{Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku}},
}
@mastersthesis{pmf:12628,
	author = {{Sokolaj, Iva}},
	title = {{Metode interpretacije, kvazimodela i mozaika za dokazivanje odlučivosti modalnih logika}},
}
@misc{pmf:12262,
	title = {{Red predavanja 2023./2024.}},
}
@mastersthesis{pmf:12591,
	author = {{Dujić, Mateo}},
	title = {{Konačni automati kao model evaluacije za upite na grafovima}},
}
@mastersthesis{pmf:12605,
	author = {{Marić, Igor}},
	title = {{Randomizirana metoda optimizacije ADAM}},
}
@mastersthesis{pmf:12611,
	author = {{Wrigley-Pimley-McKerr, Karmela}},
	title = {{Rekurzija u nastavi informatike}},
}
@mastersthesis{pmf:11180,
	author = {{Kraš, Valentina}},
	title = {{Definicije u nastavi matematike u osnovnoj i srednjoj školi}},
}
@mastersthesis{pmf:11255,
	author = {{Šarić, Rebeka}},
	title = {{O matematici digitalnog potpisa}},
}
@mastersthesis{pmf:11188,
	author = {{Marciuš, Helena}},
	title = {{Složenost modalnih logika}},
}
@mastersthesis{pmf:10719,
	author = {{Drmić, Božidar Grgur}},
	title = {{Hindmanov teorem}},
}
@misc{pmf:12261,
	title = {{Red predavanja 2022./2023.}},
}
@mastersthesis{pmf:10592,
	author = {{Marijanović, Katarina}},
	title = {{Pascalov trokut}},
}
@mastersthesis{pmf:10483,
	author = {{Jukić, Ivan}},
	title = {{Algoritamske i implementacijske optimizacije pristupa za traženje redeskripcija CLUS-RM}},
}
@mastersthesis{pmf:10304,
	author = {{Pleskina, Marijeta}},
	title = {{Numerička i teorijska analiza epidemiološkog SIR modela i inačica}},
}
@mastersthesis{pmf:10301,
	author = {{Novak, Lorena}},
	title = {{Serverska strana web-aplikacija i JavaScript}},
}
@mastersthesis{pmf:10296,
	author = {{Martinić, Mislav}},
	title = {{Traženje podgrupa iz višepoglednih podataka}},
}
@mastersthesis{pmf:10197,
	author = {{Šestak, Teo}},
	title = {{Kategorička logika}},
}
@mastersthesis{pmf:10134,
	author = {{Kujundžić, Marija}},
	title = {{Relacije i funkcije u srednjoškolskoj nastavi matematike}},
}
@mastersthesis{pmf:10201,
	author = {{Šobak, Iva}},
	title = {{Skupovi u nastavi matematike u osnovnoj i srednjoj školi}},
}
@mastersthesis{pmf:10219,
	author = {{Živković, Alen}},
	title = {{Automatski dokazivači teorema}},
}
@misc{pmf:12260,
	title = {{Red predavanja 2021./2022.}},
}
@phdthesis{pmf:9686,
	author = {{Mikec, Luka}},
	title = {{On logics and semantics for interpretability}},
}
@mastersthesis{pmf:9333,
	author = {{Begić, Marija}},
	title = {{Hestonov model stohastičke volatilnosti}},
}
@mastersthesis{pmf:9335,
	author = {{Dugandžić, Ana}},
	title = {{Paradoksi i učeničke konceptualne poteškoće u teoriji vjerojatnosti}},
}
@mastersthesis{pmf:9363,
	author = {{Sindičić, Lovro}},
	title = {{Realna kvadratna proširenja}},
}
@mastersthesis{pmf:9446,
	author = {{Šenjuk, Anja}},
	title = {{Kut, krug i kružnica u nastavi matematike}},
}
@mastersthesis{pmf:9490,
	author = {{Trajbar, Željka}},
	title = {{Eksponencijalna funkcija i derivabilnost}},
}
@mastersthesis{pmf:9378,
	author = {{Kraljević, Petra}},
	title = {{Elementarni aspekti izračunljivosti}},
}
@mastersthesis{pmf:9379,
	author = {{Krmpotić, Ana}},
	title = {{Maksimalne strukture izračunljivosti}},
}
@mastersthesis{pmf:9076,
	author = {{Bistrović, Tamara}},
	title = {{Odlučivost modalnih logika}},
}
@mastersthesis{pmf:9072,
	author = {{Bašić, Bjanka}},
	title = {{Ordinalni kalkulator}},
}
@mastersthesis{pmf:9026,
	author = {{Krunić, Jakov}},
	title = {{Lindströmov teorem za modalnu logiku}},
}
@mastersthesis{pmf:9018,
	author = {{Gunja, Marin}},
	title = {{Zornova lema i srodne tvrdnje}},
}
@mastersthesis{pmf:8905,
	author = {{Vreš, Maja}},
	title = {{Izračunljive strukture}},
}
@mastersthesis{pmf:8703,
	author = {{Penzar, Davor}},
	title = {{Metode strojnog učenja u predviđanju najniže svojstvene vrijednosti Laplaceovog operatora}},
}
@mastersthesis{pmf:8794,
	author = {{Petrović, Katarina}},
	title = {{Sinkroni mrežni algoritmi}},
}
@mastersthesis{pmf:9477,
	author = {{Skrinjar, Filip}},
	title = {{Algoritmi za standardnu translaciju modalnih formula}},
}
@mastersthesis{pmf:8436,
	author = {{Ravlić, Domagoj}},
	title = {{Interpretabilnost modela dubokog učenja}},
}
@mastersthesis{pmf:7773,
	author = {{Curman, Andreja}},
	title = {{Elementarni aspekti integrabilnosti}},
}
@mastersthesis{pmf:7876,
	author = {{Peterfaj, Ana}},
	title = {{Klasifikacija vjerojatnosnih algoritama}},
}
@mastersthesis{pmf:7775,
	author = {{Čelar, Matea}},
	title = {{Topološki prostori izračunljivog tipa}},
}
@mastersthesis{pmf:8354,
	author = {{Škiljan, Paula}},
	title = {{Linearna regresija u aktuarstvu}},
}
@mastersthesis{pmf:7657,
	author = {{Terzić, Filip}},
	title = {{Funkcije i njihov grafički prikaz u srednjoškolskoj nastavi matematike}},
}
@mastersthesis{pmf:6225,
	author = {{Brekalo, Lucija}},
	title = {{Integrali funkcija jedne varijable u srednjoškolskoj nastavi matematike}},
}
@mastersthesis{pmf:7323,
	author = {{Meštrić, Lenka}},
	title = {{Linearna regresija u srednjoškolskoj nastavi matematike}},
}
@mastersthesis{pmf:7327,
	author = {{Mustapić, Tomislava}},
	title = {{Linearno programiranje u srednjoškolskoj nastavi matematike}},
}
@mastersthesis{pmf:6145,
	author = {{Horvat, Martina}},
	title = {{Kelvinova kapaljka}},
}
@mastersthesis{pmf:5883,
	author = {{Dujić, Marko}},
	title = {{Aproksimacijski algoritmi - klase složenosti i dizajn}},
}
@mastersthesis{pmf:5669,
	author = {{Babić, Tin}},
	title = {{Metoda tableauxa za modalnu logiku}},
}
@mastersthesis{pmf:5680,
	author = {{Barać, Katarina}},
	title = {{Primjena koordinatne metode u planimetriji}},
}
@mastersthesis{pmf:5983,
	author = {{Kolačko, Lucija}},
	title = {{Redovi brojeva i konvergencija}},
}
@mastersthesis{pmf:6013,
	author = {{Maruna, Petra}},
	title = {{Demonstracijski pokusi u nastavi fizike: kvantna fizika u osnovnoj školi}},
}
@mastersthesis{pmf:5947,
	author = {{Henezi, Nikola}},
	title = {{Kartezijanski zatvorene kategorije}},
}
@mastersthesis{pmf:5690,
	author = {{Bračun, Snježana}},
	title = {{Terenska nastava fizike: posjet znanstvenom laboratoriju}},
}
@mastersthesis{pmf:5696,
	author = {{Brkić, Martin}},
	title = {{Van Benthem-Rosenov teorem}},
}
@mastersthesis{pmf:6072,
	author = {{Vinceljak, Lucija}},
	title = {{Položaj realnih nultočaka polinoma}},
}
@mastersthesis{pmf:6008,
	author = {{Manojlović, Iva}},
	title = {{Redukcija dimenzije parametarski ovisnih nelinearnih sustava}},
}
@mastersthesis{pmf:5122,
	author = {{Dujaković, Andrija}},
	title = {{Filtri i ultrafiltri}},
}
@mastersthesis{pmf:5129,
	author = {{Horvat, Sebastijan}},
	title = {{Modalna potpunost logika interpretabilnosti}},
}
@mastersthesis{pmf:5098,
	author = {{Barbiš, Apolinar}},
	title = {{Tokovi najmanjeg troška i tokovi maksimalne vrijednosti}},
}
@mastersthesis{pmf:6027,
	author = {{Pintarić, Monika}},
	title = {{Učenje istraživanjem na primjeru sadržajnog područja geometrije}},
}
@phdthesis{pmf:5777,
	author = {{Pažek, Bojan}},
	title = {{Izračunljivost skupova s nepovezanim komplementima}},
}
@mastersthesis{pmf:4759,
	author = {{Milišić, Ivan}},
	title = {{Algoritmi u nastavi informatike u gimnazijama}},
}
@mastersthesis{pmf:4758,
	author = {{Marić, Tina}},
	title = {{Deep machine learning for syntactic annotation projection}},
}
@mastersthesis{pmf:4650,
	author = {{Britvić, Tihana}},
	title = {{Semi-supervised neural part-of-speech tagging}},
}
@mastersthesis{pmf:3493,
	author = {{Matijašević, Ivo}},
	title = {{Polimodalna logika dokazivosti GLP}},
}
@mastersthesis{pmf:7872,
	author = {{Pavlović, Andrej}},
	title = {{Parcijalno rekurzivni funkcionali}},
}
@mastersthesis{pmf:3820,
	author = {{Peula, Ivan}},
	title = {{Statistička analiza kineskog dioničarskog tržišta}},
}
@mastersthesis{pmf:4026,
	author = {{Šömen, Lucija}},
	title = {{Vizualizacija kompleksnih funkcija}},
}
@mastersthesis{pmf:3234,
	author = {{Gačić, Jaka}},
	title = {{NoSQL baze podataka}},
}
@mastersthesis{pmf:3243,
	author = {{Haberl, Silva}},
	title = {{Razvoj aplikacija za operacijski sustav Android}},
}
@mastersthesis{pmf:3233,
	author = {{Franić, Nives}},
	title = {{Pokusi sa strujnim krugovima u osnovnoj školi}},
}
@mastersthesis{pmf:3824,
	author = {{Radošević, Matea}},
	title = {{Poželjne karakteristike jezika za poučavanje programiranja u osnovnoj školi}},
}
@mastersthesis{pmf:990,
	author = {{Vujičić, Barbara}},
	title = {{Crveno-crna stabla}},
}
@mastersthesis{pmf:843,
	author = {{Kobovac, Mihaela}},
	title = {{Neki aspekti iterativnog pretraživanja proteoma}},
}
@mastersthesis{pmf:576,
	author = {{Badrov, Nikola}},
	title = {{Optimizacija na matroidu}},
}
@mastersthesis{pmf:5561,
	author = {{Valentić, Grgur}},
	title = {{Konvergencija cikličke Jacobijeve metode za hermitsku matricu reda 4}},
}
@mastersthesis{pmf:5372,
	author = {{Pelin, Helena}},
	title = {{Spektralno klasteriranje}},
}
@mastersthesis{pmf:5396,
	author = {{Posavčević, Ivan}},
	title = {{Izračunljivost na skupovima Z, Q, R i C}},
}
@mastersthesis{pmf:5495,
	author = {{Kiršek, Filip}},
	title = {{Skupovne interpretacije modalne logike}},
}
@mastersthesis{pmf:5403,
	author = {{Ivančić, Antonio}},
	title = {{Teorijski model računalnih virusa}},
}
@mastersthesis{pmf:5306,
	author = {{Mikec, Luka}},
	title = {{Topološka potpunost logika dokazivosti}},
}
@mastersthesis{pmf:5569,
	author = {{Kovačević, Petra}},
	title = {{Razvoj geometrijskog mišljenja u nastavi matematike u osnovnoj školi}},
}
@mastersthesis{pmf:5662,
	author = {{Šutalo, Juraj}},
	title = {{Učenje rješavanjem problema - problemska nastava matematike na primjeru sadržajnog područja Podatci}},
}
@mastersthesis{pmf:5517,
	author = {{Šoltić, Klara}},
	title = {{Fibonometrija}},
}
@mastersthesis{pmf:5398,
	author = {{Pošpaić, Ana - Marija}},
	title = {{Transcendentni brojevi}},
}
@mastersthesis{pmf:5465,
	author = {{Souček, Amalia}},
	title = {{Algoritmi za podudaranje znakovnih nizova}},
}
@mastersthesis{pmf:5452,
	author = {{Sačić, Marko}},
	title = {{Algebarski pristup iterativnim metodama tangente i sekante}},
}
@mastersthesis{pmf:1235,
	author = {{Balaško, Lea}},
	title = {{Izrada strategija trgovanja električnom energijom u Njemačkoj korištenjem metode potpornih vektora}},
}
@phdthesis{pmf:5726,
	author = {{Burnik, Konrad}},
	title = {{Izračunljivost 1-mnogostrukosti}},
}
@mastersthesis{pmf:5356,
	author = {{Grubelić, Neven}},
	title = {{Poravnanje više nizova}},
}
@mastersthesis{pmf:5212,
	author = {{Čulina, Tina}},
	title = {{Cjelobrojno programiranje}},
}
@mastersthesis{pmf:5653,
	author = {{Lustek, Matea}},
	title = {{Difuzijski modeli u turizmu}},
}
@mastersthesis{pmf:5524,
	author = {{Štimac, Jelena}},
	title = {{Algoritamsko rješavanje problema u nastavi informatike u srednjoj školi korištenjem projektne nastave}},
}
@mastersthesis{pmf:5382,
	author = {{Petric Maretić, Hermina}},
	title = {{Analiza tekstova projektnih prijedloga primjenom postupaka statističke obrade prirodnoga jezika}},
}
@mastersthesis{pmf:5592,
	author = {{Vukić, Slavica}},
	title = {{Hahn-Mazurkiewiczev teorem}},
}
@mastersthesis{pmf:5413,
	author = {{Jelušić, Daniel}},
	title = {{Nepotpunost i neodlučivost aritmetike}},
}
@mastersthesis{pmf:5205,
	author = {{Čičković, Eugen}},
	title = {{Poluizračunljivost}},
}
@mastersthesis{pmf:1237,
	author = {{Baltić, Elvir}},
	title = {{Rekurzivne multifunkcije}},
}
@mastersthesis{pmf:5397,
	author = {{Posavec, Ivana}},
	title = {{Gilbreathov princip s primjenama na fraktale, popločavanja i magične trikove}},
}
@mastersthesis{pmf:5537,
	author = {{Tepić, Martina}},
	title = {{Kompleksnost skrivenih Markovljevih modela}},
}
@mastersthesis{pmf:5386,
	author = {{Pijević, Marija}},
	title = {{Igra sparivanja na konačnim podgrafovima pravilnih rešetki}},
}
@mastersthesis{pmf:1509,
	author = {{Burić, Krešimir}},
	title = {{Linearna temporalna logika}},
}
@mastersthesis{pmf:5333,
	author = {{Grgurica, Josip}},
	title = {{Problem PRIMES pripada klasi PTIME}},
}
@mastersthesis{pmf:5490,
	author = {{Šain, Ivana}},
	title = {{Arnoldijev algoritam za nelinearne probleme svojstvenih vrijednosti}},
}
@mastersthesis{pmf:1472,
	author = {{Blažević, Đurđica}},
	title = {{Balansiranje linearnih dinamičkih sistema i redukcija dimenzije}},
}
@mastersthesis{pmf:5488,
	author = {{Kešinović, Katarina}},
	title = {{LQR kontrola linearnih dinamičkih sistema}},
}
@mastersthesis{pmf:5201,
	author = {{Čabraja, Anto}},
	title = {{Paralelni algoritmi za problem grupiranja podataka}},
}
@misc{pmf:12248,
	title = {{Red predavanja 2012./2013.}},
}
@misc{pmf:12244,
	title = {{Red predavanja 2011./2012.}},
}