| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2023 | A Proof System for Graph (Non)-Isomorphism Verification | Bankovic, Milan M   ; Drecun, Ivan ; Maric, Filip M | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2021 | Faradzev Read-type enumeration of non-isomorphic CC systems | Bankovic, Milan M ; Maric, Filip M | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 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; | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2017 | Parallelizing simplex within SMT solvers | Banković, Milan | Научни чланак | 21aM21a - Водећи међународни часопис категорије M21a |
| 2016 | Solving finite-domain linear constraints in presence of the alldifferent | Banković, Milan | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2016 | Extending SMT solvers with support for finite domain alldifferent constraint | Banković, Milan | Научни чланак | 21M21 - Водећи међународни часопис категорије M21 |
| 2012 | ArgoSMTExpression: an SMT-LIB 2.0 compliant expression library | Banković, Milan | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | An Alldifferent constraint solver in SMT | Banković, Milan ; Marić, Filip | Конференцијски рад | Мп категорија ће бити приказана накнадно. |