Results 1-13 of 13
| Issue Date | Title | Author(s) | Type | Мp-cat. |
| 2025 | Metaheuristic approaches to the green vehicle routing problem including alternative fuel vehicles | Matijević, Luka | Doctoral theses | |
| 2024 | Развој модела приступачности саобраћајног система у функцији одрживе урбане мобилности | Počuč, Miodrag | Doctoral theses | |
| 2024 | Probabilistic reasoning in computation and simple type theory | Prokić, Simona | Doctoral theses | |
| 2023 | Strong positional games | Stratijev, Jelena   | Doctoral theses | |
| 2022 | Clones of Nondeterministic Operations | Čolić Oravec, Jelena | Doctoral theses | |
| 2022 | Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja | Dedeić, Jovana | Doctoral theses | |
| 2021 | Модел процене ефективности управљања заштићеним подручјима у АП Војводини | Banjac, Nikola | Doctoral theses | |
| 2020 | Parallel software system for counting finite models | Pejović, Aleksandar | Doctoral theses | |
| 2020 | Model za utvrđivanje uticaja izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnica | Garunović, Nemanja | Doctoral theses | |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Doctoral theses | |
| 2018 | (uređivanje) - TYPES 2016 postproceedings | No authors | Editorial works | |
| 2016 | (uređivanje) - Uredjivanje zbornika radova sa konferencije | No authors | Editorial works | |
| 2016 | Types for Access and Memory Control | Jakšić, Svetlana | Doctoral theses | |