Истраживачи
Marić, Filip
Година
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2012 | Formalizing Analytic Geometries (✓) | Marić, Filip   ; Petrović, Danijela | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Application of exact and heuristic methods to low autocorrelation binary sequences problem (✓) | Marić, Miroslav R. ; Marić, Filip M. ; A. Đenić | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalizing Frankl's conjecture: FC-families (✓) | Marić, Filip ; Živković, Miodrag ; Vučković, Bojan | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2012 | Formalization and Implementation of Algebraic Methods in Geometry (✓) | Marić, Filip ; Petrović, Ivan; Simić, Danijela ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Formalization of Abstract State Transition Systems for SAT (✓) | Marić, Filip ; Janičić, Predrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2010 | Formal Correctness Proof for DPLL Procedure (✓) | Marić, Filip ; Janičić, Predrag | Научни чланак | 21aM21a - Рад у међ. часопису изузетних вредности |
| 2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL (✓) | Marić, Filip | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2010 | An Alldifferent constraint solver in SMT (✓) | Banković, Milan ; Marić, Filip | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | URBiVA: Uniform Reduction to Bit-Vector Arithmetic (✓) | Marić, Filip ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2009 | ТЕX и ЛАТЕX (✓) | Марић, Филип | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2009 | Instance-Based Selection of Policies for SAT Solvers (✓) | Nikolić, Mladen ; Marić, Filip M ; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2009 | Formalizacija, implementacija i primene SAT rešavača (✓) | Marić, Filip | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2009 | Using simplex method in verifying software safety (✓) | Vujošević Janičić, Milena ; Marić, Filip ; Tošić, Dušan | Научни чланак | 24M24 - Рад у нац. часопису међ. значаја |
| 2009 | Formalization and implementation of modern SAT solvers (✓) | Marić, Filip | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
| 2005 | Numeričke metode : zbirka zadataka kroz C, Fortran i Matlab (✓) | Radunović, Desanka P.; Samardžić, Aleksandar B.; Marić, Filip | Уџбеник | Мп категорија ће бити приказана накнадно. |
| 2004 | ARGO-LIB: A generic platform for decision procedures (✓) | Maric, Filip M ; Janicic, Predrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |