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