Researchers



Results 1-14 of 14
Issue DateTitleAuthor(s)TypeМp-cat.
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Утицај система обуке возача на ставове и понашање младих возача у саобраћајуJakšić, Dragana  Doctoral theses
70M70
2020Моделирање екстерних трошкова у системима дистрибуције робе у градским подручјимаVeličković, Marko  Doctoral theses
70M70
2020Formal modeling and analysis of resource usage and sharing in distributed software systemsProkić, Ivan  Doctoral theses
70M70
2020Algebarska i kombinatorna svojstva grafova pridruzenih stepeno-asocijativnim grupoidimaZahirović, Samir  Doctoral theses
70M70
2019Утицај субјективних фактора понашања возача на појаву брзе вожње у саобраћајуMatović, BoškoDoctoral theses
70M70
2018Partial closure operators and applications in ordered set theorySlivková, Anna  Doctoral theses
70M70
2017Development, implementation and theoretical analysis of the bee colony optimization meta-heuristic methodJakšić-Krüger, Tatjana  Doctoral theses
70M70
2016Types for Access and Memory ControlJakšić, SvetlanaDoctoral theses
70M70
2014Vremenski pristup u metodama istraživanja frekvencije saobraćajnih nezgodaBačkalić, Svetlana  Doctoral theses
70M70
2013Intesection types and resource control in the intuitionistic sequent lambda calculusIvetić, Jelena  Doctoral theses
70M70
2013Development and verification of probability logics and logical frameworksMaksimović, PetarDoctoral theses
70M70
2011Regularized Problems in Image ProcessingLukić, Tibor  Doctoral theses
70M70