| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2022 | Heuristika za automatsko sastavljanje paralelnih testova znanja | Ignjatović, Miroslava | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2019 | Sistem za automatsko dokazivanje nekih klasa analitičkih nejednakosti![]() | Banjac, Bojan | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |