eNauka - pregled
Pregled prema Autor Marić, Filip
Prikaz rezultata 1 do 20 od 81
sledeće >
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2023 | A Proof System for Graph (Non)-Isomorphism Verification | Bankovic, Milan M   ; Drecun, Ivan ; Maric, Filip M | Naučni članak | 21M21 - Vodeći međunarodni časopis kategorije M21 |
| 2015 | A Survey of Interactive Theorem Proving | Marić, Filip | Poglavlje u monografiji | Mp kategorija će biti prikazana naknadno. |
| 2010 | An Alldifferent constraint solver in SMT | Banković, Milan ; Marić, Filip | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2018 | An Incremental Simplex Algorithm with Unsatisfiable Core Generation | Marić, Filip ; Spasić, Mirko ; Thiemann, René | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2012 | Application of exact and heuristic methods to low autocorrelation binary sequences problem | Marić, Miroslav R. ; Marić, Filip M. ; A. Đenić | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2004 | ARGO-LIB: A generic platform for decision procedures | Maric, Filip M ; Janicic, Predrag | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2023 | Automated triangle constructions in hyperbolic geometry | Marinkovic, Vesna ; Sukilovic, Tijana ; Maric, Filip M | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2013 | Automatsko generisanje i proveravanje uslova ispravnosti programa | Vujošević-Janičić, Milena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2015 | Аутоматско решавање конструктивних проблема у геометрији | Marinković, Vesna | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 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 | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2018 | Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике | Шћепановић, Данијела; Лечић-Цветковић, Даница ; Марић, Филип | Ostalo | Mp kategorija će biti prikazana naknadno. |
| 2019 | Дигитална учионица / дигитално компетентан наставник - увођење електронских уџбеника и дигиталних образовних материјала - приручник за наставнике, 2. издање | Шћепановић, Данијела; Лечић-Цветковић, Даница ; Марић, Филип | Udžbenik | Mp kategorija će biti prikazana naknadno. |
| 2021 | Faradzev Read-type enumeration of non-isomorphic CC systems | Bankovic, Milan M ; Maric, Filip M | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2019 | Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points | Marić, Filip | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2010 | Formal Correctness Proof for DPLL Procedure | Marić, Filip ; Janičić, Predrag | Naučni članak | 21aM21a - Vodeći međunarodni časopis kategorije M21a |
| 2025 | Formal Verification of a Fail-Safe Cross-Chain Bridge | Maric, Filip ; Scholz, Bernhard; Subotić, Pavle | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL | Marić, Filip | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2016 | Формализација и аутоматско доказивање теорема еуклидске геометрије | Stojanović, Sana | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2017 | Формализација различитих модела геометрије и примене у верификацији аутоматских доказивача теорема | Simić, Danijela | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2009 | Formalizacija, implementacija i primene SAT rešavača | Marić, Filip | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |