| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2024 | Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational Awareness | Ferenc, Goran Z; Timotijevic, Dragoje; Tanasijevic, Ivana D   ; Simic, Danijela | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2021 | Formalization of the Poincare Disc Model of Hyperbolic Geometry | Simic, Danijela ; Maric, Filip M ; Boutry, Pierre | Научни чланак | 23M23 - Рад у међ. часопису |
| 2020 | Teaching graduate students how to review research articles and respond to reviewer comments | Banković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad ; Kotlar, Miloš; Krdžavac, Nenad B. ;
Marić, Filip
; Malkov, Saša ; Milutinović, Veljko ; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović Lažetić, Gordana ; Simić, Danijela ; Stojanović, Djurdjević Sana ; Vujičić Stanković, Staša ; Vujošević, Janičić Milena ; Živković, Miodrag; | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2019 | Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C) | Janičić, Vujošević Milena ; Kovačević, Jovana ; Simić, Danijela ; Zečević, Anđelka ; Kocić, Aleksandra | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | Formalizing Algebrization of Geometry Statements | Simić, Danijela D. | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2015 | Using Small-Step Refinement for Algorithm Verification in Computer Science Education | Petrović, Danijela | Научни чланак | 51M51 - Рад у врхунском часопису нац. значаја |
| 2014 | Using Small-Step Refinement For Algorithm - Verification In Computer Science Education | Petrović, Danijela | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Formalizing complex plane geometry | Marić, Filip ; Simić, Danijela | Научни чланак | 23M23 - Рад у међ. часопису |
| 2012 | Formalization and Implementation of Algebraic Methods in Geometry | Marić, Filip ; Petrović, Ivan; Simić, Danijela ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalizing Analytic Geometries | Marić, Filip ; Petrović, Danijela | Конференцијски рад | Мп категорија ће бити приказана накнадно. |