Results 1-20 of 32
| Issue Date | Title | Author(s) | Type | Мp-cat. |
| 2025 | Razvoj modela za predikciju ponašanja pešaka na semaforizovanim raskrsnicama | Jović, Andrijana | Doctoral theses | |
| 2025 | A solution for manual code smell annotation based on prescriptive annotation paradigm | Prokić, Simona | Doctoral theses | |
| 2025 | Metaheuristic approaches to the green vehicle routing problem including alternative fuel vehicles | Matijević, Luka | Doctoral theses | |
| 2023 | Прилог решењу брзе промене канала дигиталног ТВ пријемника | Fimić, Nemanja | Doctoral theses | |
| 2023 | Strong positional games | Stratijev, Jelena   | Doctoral theses | |
| 2022 | Dynamic formation of the distributed micro clouds | Simić, Miloš | Doctoral theses | |
| 2021 | Uticaj kružnih raskrsnica na uslove odvijanja saobraćaja na gradskim arterijama | Davidović, Slavko | Doctoral theses | |
| 2021 | Моделовање упитних језика са применама у рефакторисању и оптимизацији кода | Spasić, Mirko | Doctoral theses | |
| 2021 | Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkaze | Popović, Marko | Doctoral theses | |
| 2020 | Parallel software system for counting finite models | Pejović, Aleksandar | Doctoral theses | |
| 2020 | Formalni sistemi za dokazivanje teorema incidencije | Milićević, Marina | Doctoral theses | |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Doctoral theses | |
| 2020 | Формална верификација софтверске трансакционе меморије засноване на временским аутоматима | Кордић, Бранислав | Doctoral theses | |
| 2020 | Integration of Software Security Design Analysis to the Agile Development Process | Luburić, Nikola | Doctoral theses | |
| 2020 | Model za utvrđivanje uticaja nerezidentnih vozača na kapacitet prioritetnih kružnih raskrsnica | Stanimirović, Dragan | Doctoral theses | |
| 2019 | Application of new shape descriptors and theory of uncertainty in image processing | Ilić, Vladimir | Doctoral theses | |
| 2018 | Namenski jezik za vizuelizaciju evaluiranu statističkom analizom malih skupova podataka | Petrović, Veljko | Doctoral theses | |
| 2018 | (uređivanje) - TYPES 2016 postproceedings | No authors | Editorial works | |
| 2018 | Интерактивно састављање машински читљивих и разумљивих судских писмена базирано на знању | Marković, Marko | Doctoral theses | |
| 2017 | Поређење скупова података помоћу графова | Ivančević, Vladimir | Doctoral theses | |