Researchers



Results 1-13 of 13
Issue DateTitleAuthor(s)TypeМp-cat.
2025Metaheuristic approaches to the green vehicle routing problem including alternative fuel vehiclesMatijević, LukaDoctoral theses
70M70
2024Развој модела приступачности саобраћајног система у функцији одрживе урбане мобилностиPočuč, MiodragDoctoral theses
70M70
2024Probabilistic reasoning in computation and simple type theoryProkić, SimonaDoctoral theses
70M70
2023Strong positional gamesStratijev, Jelena  Doctoral theses
70M70
2022Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanjaDedeić, Jovana  Doctoral theses
70M70
2022Clones of Nondeterministic OperationsČolić Oravec, JelenaDoctoral theses
70M70
2021Модел процене ефективности управљања заштићеним подручјима у АП ВојводиниBanjac, NikolaDoctoral theses
70M70
2020Formal modeling and analysis of resource usage and sharing in distributed software systemsProkić, Ivan  Doctoral theses
70M70
2020Model za utvrđivanje uticaja izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnicaGarunović, NemanjaDoctoral theses
70M70
2020Parallel software system for counting finite modelsPejović, AleksandarDoctoral theses
70M70
2018(uređivanje) - TYPES 2016 postproceedingsNo authorsEditorial works
Mp. category will be shown later
2016Types for Access and Memory ControlJakšić, SvetlanaDoctoral theses
70M70
2016(uređivanje) - Uredjivanje zbornika radova sa konferencijeNo authorsEditorial works
Mp. category will be shown later