Истраживачи



Резултати 1-20 од 32
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2025A solution for manual code smell annotation based on prescriptive annotation paradigmProkić, SimonaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2025Razvoj modela za predikciju ponašanja pešaka na semaforizovanim raskrsnicamaJović, AndrijanaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2025Metaheuristic approaches to the green vehicle routing problem including alternative fuel vehiclesMatijević, LukaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2023Прилог решењу брзе промене канала дигиталног ТВ пријемникаFimić, NemanjaДокторска дисертација
70M70 - Одбрањена докторска дисертација
2023Strong positional gamesStratijev, Jelena  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2022Dynamic formation of the distributed micro cloudsSimić, Miloš  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2021Uticaj kružnih raskrsnica na uslove odvijanja saobraćaja na gradskim arterijamaDavidović, SlavkoДокторска дисертација
70M70 - Одбрањена докторска дисертација
2021Моделовање упитних језика са применама у рефакторисању и оптимизацији кодаSpasić, Mirko  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2021Formalno verifikovana distribuirana softverska transakciona memorija otporna na otkazePopović, MarkoDoctoral theses
70M70
2020Integration of Software Security Design Analysis to the Agile Development ProcessLuburić, Nikola  Doctoral theses
70M70
2020Формална верификација софтверске трансакционе меморије засноване на временским аутоматимаКордић, Бранислав  Doctoral theses
70M70
2020Parallel software system for counting finite modelsPejović, AleksandarDoctoral theses
70M70
2020Formalni sistemi za dokazivanje teorema incidencijeMilićević, MarinaDoctoral theses
70M70
2020Formal modeling and analysis of resource usage and sharing in distributed software systemsProkić, Ivan  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2020Model za utvrđivanje uticaja nerezidentnih vozača na kapacitet prioritetnih kružnih raskrsnicaStanimirović, DraganДокторска дисертација
70M70 - Одбрањена докторска дисертација
2019Application of new shape descriptors and theory of uncertainty in image processingIlić, VladimirДокторска дисертација
70M70 - Одбрањена докторска дисертација
2018Namenski jezik za vizuelizaciju evaluiranu statističkom analizom malih skupova podatakaPetrović, VeljkoДокторска дисертација
70M70 - Одбрањена докторска дисертација
2018Интерактивно састављање машински читљивих и разумљивих судских писмена базирано на знањуMarković, MarkoДокторска дисертација
70M70 - Одбрањена докторска дисертација
2018(uređivanje) - TYPES 2016 postproceedingsНема аутораУређивачки рад
Мп категорија ће бити приказана накнадно.
2017Поређење скупова података помоћу графоваIvančević, VladimirДокторска дисертација
70M70 - Одбрањена докторска дисертација