Истраживачи
Marić, Filip
Година
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 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 - Рад у истакнутом међ. часопису |
| 2020 | Verifying Faradzev-Read Type Isomorph-Free Exhaustive Generation (✓) | Maric, Filip M | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Regression Verification for Automated Evaluation of Students Programs (✓) | Vujošević Janičić, Milena ; Marić, Filip | Научни чланак | 23M23 - Рад у међ. часопису |
| 2020 | Рачунарство и информатика 2 - уџбеник за други разред гимназије (✓) | Марић, Филип ; Машуловић, Драган | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике, 2. издање (✓) | Шћепановић, Данијела; Лечић-Цветковић, Даница ; Марић, Филип | Лексикографска/Енциклопедијска јединица | Мп категорија ће бити приказана накнадно. |
| 2019 | Рачунарство и информатика 1 - уџбеник за први разред гимназије (✓) | Марић, Филип | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture (✓) | Janičić, Predrag Đ. ; Marić, Filip M. ; Maliković, Marko | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2019 | Методичка збирка алгоритамских задатака са решењима - C# - основни ниво (✓) | Марић, Филип ; Алимпић, Нина; Васиљевић, Небојша; Вугделија, Милан; Вуковић, Душа; Ђуришић, Мијодраг; Маринковић, Весна; Матковић, Станка; Хаџи-Пурић, Јелена; Чабаркапа, Милан | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2019 | Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points (✓) | Marić, Filip | Научни чланак | 23M23 - Рад у међ. часопису |
| 2018 | Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике (✓) | Шћепановић, Данијела; Лечић-Цветковић, Даница ; Марић, Филип | Остало | Мп категорија ће бити приказана накнадно. |
| 2016 | Информатика 3 - уџбеник за трећи разред гимназије (✓) | Марић, Филип | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2016 | Информатика 1 - уџбеник за први разред гимназије (✓) | Марић, Филип | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2015 | Информатика 2 - уџбеник за други разред гимназије (✓) | Марић, Филип ; Трајковић, Срђан; Трифуновић, Душко; Кљајић, Иван; Грачанин, Оливера | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2015 | meSAT: Multiple Encodings of CSP to SAT (✓) | Stojadinovic, Mirko S; Maric, Filip M | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | A Survey of Interactive Theorem Proving (✓) | Marić, Filip | Поглавље у монографији | Мп категорија ће бити приказана накнадно. |
| 2015 | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (✓) | Marić, Filip ; Janičić, Predrag ; Maliković, Marko | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | meSAT: multiple encodings of CSP to SAT (✓) | Stojadinović, Mirko; Marić, Filip | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2014 | Formalizing complex plane geometry (✓) | Marić, Filip ; Simić, Danijela | Научни чланак | 23M23 - Рад у међ. часопису |
| 2013 | Simple algorithm portfolio for SAT (✓) | Nikolić, Mladen ; Marić, Filip ; Janičić, Predrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2012 | Formalization of Incremental Simplex Algorithm by Stepwise Refinement (✓) | Spasić, Mirko ; Marić, Filip | Конференцијски рад | Мп категорија ће бити приказана накнадно. |