Istraživači



Rezultati 1-13 od 13
GodinaNaslovAutor(i)Tip rezultataMp-kat.
2025Metaheuristic approaches to the green vehicle routing problem including alternative fuel vehiclesMatijević, LukaDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2024Развој модела приступачности саобраћајног система у функцији одрживе урбане мобилностиPočuč, MiodragDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2024Probabilistic reasoning in computation and simple type theoryProkić, SimonaDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2023Strong positional gamesStratijev, Jelena  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2022Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanjaDedeić, Jovana  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2022Clones of Nondeterministic OperationsČolić Oravec, JelenaDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2021Модел процене ефективности управљања заштићеним подручјима у АП ВојводиниBanjac, NikolaDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2020Parallel software system for counting finite modelsPejović, AleksandarDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2020Model za utvrđivanje uticaja izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnicaGarunović, NemanjaDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2020Formal modeling and analysis of resource usage and sharing in distributed software systemsProkić, Ivan  Doktorska disertacija
70M70 - Odbranjena doktorska disertacija
2018(uređivanje) - TYPES 2016 postproceedingsNema autoraUređivački rad
Mp kategorija će biti prikazana naknadno.
2016Types for Access and Memory ControlJakšić, SvetlanaDoktorska disertacija
70M70 - Odbranjena doktorska disertacija
2016(uređivanje) - Uredjivanje zbornika radova sa konferencijeNema autoraUređivački rad
Mp kategorija će biti prikazana naknadno.