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