Markovic Jelena,Maric Filip M (2025) Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. , br. , str. - (Article; Early Access) 

Marinkovic Vesna,Sukilovic Tijana,Novakovic Viktor,Maric Filip M (2025) Readable automated proofs of ruler and compass constructions, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. , br. , str. - (Article; Early Access) 

Marinkovic Vesna,Sukilovic Tijana,Maric Filip M (2023) Automated triangle constructions in hyperbolic geometry, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 91, br. 6, str. 821-849 (Article) 

Bankovic Milan M,Drecun Ivan,Maric Filip M (2021) A Proof System for Graph (Non)-Isomorphism Verification, LOGICAL METHODS IN COMPUTER SCIENCE, vol. 19, br. 1, str. - (Article) 

Bankovic Milan M,Maric Filip M (2021) Faradzev Read-type enumeration of non-isomorphic CC systems, COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, vol. 97, br. , str. - (Article) 

Simic Danijela,Maric Filip M,Boutry Pierre (2021) Formalization of the Poincare Disc Model of Hyperbolic Geometry, JOURNAL OF AUTOMATED REASONING, vol. 65, br. 1, str. 31-73 (Article) 

Vujosevic-Janicic Milena M,Maric Filip M (2020) Regression Verification for Automated Evaluation of Students Programs, COMPUTER SCIENCE AND INFORMATION SYSTEMS, vol. 17, br. 1, str. 205-227 (Article) 

Janicic Predrag,Maric Filip M,Malikovic Marko (2019) Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture, LOGICAL METHODS IN COMPUTER SCIENCE, vol. 15, br. 1, str. - (Article) 

Maric Filip M (2019) Fast Formal Proof of the Erds-Szekeres Conjecture for Convex Polygons with at Most 6 Points, JOURNAL OF AUTOMATED REASONING, vol. 62, br. 3, str. 301-329 (Article) 

Maric Filip M,Petrovic Danijela (2015) Formalizing complex plane geometry, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 74, br. 3-4, str. 271-308 (Article) 

Stojadinovic Mirko S,Maric Filip M (2014) meSAT: multiple encodings of CSP to SAT, CONSTRAINTS, vol. 19, br. 4, str. 380-403 (Article) 

Nikolic Mladen,Maric Filip M,Janicic Predrag (2013) Simple algorithm portfolio for SAT, ARTIFICIAL INTELLIGENCE REVIEW, vol. 40, br. 4, str. 457-465 (Article) 

Maric Filip M,Janicic Predrag (2011) Formalization of Abstract State Transition System for Sat, LOGICAL METHODS IN COMPUTER SCIENCE, vol. 7, br. 3, str. - (Article) 

Maric Filip M (2010) Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL, THEORETICAL COMPUTER SCIENCE, vol. 411, br. 50, str. 4333-4356 (Article) 

Maric Filip M,Janicic Predrag (2010) Formal Correctness Proof for DPLL Procedure, INFORMATICA, vol. 21, br. 1, str. 57-78 (Article) 

Maric Filip M (2009) Formalization and Implementation of Modern SAT Solvers, JOURNAL OF AUTOMATED REASONING, vol. 43, br. 1, str. 81-119 (Article) 

Maric Filip M,Janicic Predrag (2004) ARGO-LIB: A generic platform for decision procedures, AUTOMATED REASONING, PROCEEDINGS, vol. 3097, br. , str. 213-217 (Article)