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