Istraživači
Pantović, Jovanka
Rezultati 1-14 od 14
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2022 | Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja | Dedeić, Jovana   | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2022 | Clones of Nondeterministic Operations | Čolić Oravec, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2021 | Утицај система обуке возача на ставове и понашање младих возача у саобраћају | Jakšić, Dragana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2020 | Моделирање екстерних трошкова у системима дистрибуције робе у градским подручјима | Veličković, Marko | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2020 | Algebarska i kombinatorna svojstva grafova pridruzenih stepeno-asocijativnim grupoidima | Zahirović, Samir | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2019 | Утицај субјективних фактора понашања возача на појаву брзе вожње у саобраћају | Matović, Boško | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2018 | Partial closure operators and applications in ordered set theory | Slivková, Anna | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2017 | Development, implementation and theoretical analysis of the bee colony optimization meta-heuristic method | Jakšić-Krüger, Tatjana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2016 | Types for Access and Memory Control | Jakšić, Svetlana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2014 | Vremenski pristup u metodama istraživanja frekvencije saobraćajnih nezgoda | Bačkalić, Svetlana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Development and verification of probability logics and logical frameworks | Maksimović, Petar | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2011 | Regularized Problems in Image Processing | Lukić, Tibor | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |