Istraživači



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