Истраживачи
Ivetić, Jelena
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2024 | Развој модела приступачности саобраћајног система у функцији одрживе урбане мобилности | Počuč, Miodrag | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2024 | Probabilistic reasoning in computation and simple type theory | Prokić, Simona | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2023 | Strong positional games | Stratijev, Jelena   | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2022 | Clones of Nondeterministic Operations | Čolić, Oravec, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2022 | Relativna ekspresivnost procesnih računa koji poseduju mogućnost adaptacije i dinamičkog ažuriranja tokom izvršavanja | Dedeić, Jovana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2021 | Модел процене ефективности управљања заштићеним подручјима у АП Војводини | Banjac, 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 izdvojenih nesignalisanih pešačkih prelaza na nivo usluge gradskih saobraćajnica | Garunović, Nemanja | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2016 | Types for Access and Memory Control | Jakšić, Svetlana | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |