@ARTICLE{
author={Maric Filip M,Scholz Bernhard,Subotic Pavle},
year={2025},
title={Formal Verification of a Fail-Safe Cross-Chain Bridge},
journal={6TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS, FMBC 2025},
volume={129},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Markovic Jelena,Maric Filip M},
year={2025},
title={Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Novakovic Viktor,Maric Filip M},
year={2025},
title={Readable automated proofs of ruler and compass constructions},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2024},
title={Towards Automated Readable Proofs ofRuler and Compass Constructions},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={398},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2023},
title={Towards Automated Readable Proofs of Ruler and Compass Constructions},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={398},
number={},
pages={11-20},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Maric Filip M},
year={2023},
title={Formalization, Automatization and Visualization of Hyperbolic Geometry},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={398},
number={},
pages={2-2},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2023},
title={Automated triangle constructions in hyperbolic geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={91},
number={6},
pages={821-849},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M,Drecun Ivan,Maric Filip M},
year={2021},
title={A Proof System for Graph (Non)-Isomorphism Verification},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={19},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Bankovic Milan M,Maric Filip M},
year={2021},
title={Faradzev Read-type enumeration of non-isomorphic CC systems},
journal={COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS},
volume={97},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Simic Danijela,Maric Filip M,Boutry Pierre},
year={2021},
title={Formalization of the Poincare Disc Model of Hyperbolic Geometry},
journal={JOURNAL OF AUTOMATED REASONING},
volume={65},
number={1},
pages={31-73},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M},
year={2020},
title={Verifying Faradzev-Read Type Isomorph-Free Exhaustive Generation},
journal={AUTOMATED REASONING, PT II},
volume={12167},
number={},
pages={270-287},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Bankovic Milan M,Filipovic Vladimir J,Graovac Jelena B,Hadzi-Puric Jelena Z,...,Kartelj Aleksandar A,Kovacevic Jovana J,Korolija Nenad,Kotlar Milos,Krdzavac Nenad B,Maric Filip M,Malkov Sasa N,Milutinovic Veljko M,Mitic Nenad S,Miskovic Stefan Z,Nikolic Mladen,Pavlovic-Lazetic Gordana M,Simic Danijela,Stojanovic-Djurdjevic Sana,Vujicic-Stankovic Stasa,Vujosevic-Janicic Milena M,Zivkovic Miodrag V},
year={2020},
title={Teaching graduate students how to review research articles and respond to reviewer comments},
journal={ADVANCES IN COMPUTERS, VOL 116},
volume={116},
number={},
pages={1-63},
document_type={Review; Book Chapter},
} 

@ARTICLE{
author={Vujosevic-Janicic Milena M,Maric Filip M},
year={2020},
title={Regression Verification for Automated Evaluation of Students Programs},
journal={COMPUTER SCIENCE AND INFORMATION SYSTEMS},
volume={17},
number={1},
pages={205-227},
document_type={Article},
} 

@ARTICLE{
author={Janicic Predrag,Maric Filip M,Malikovic Marko},
year={2019},
title={Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={15},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M},
year={2019},
title={Fast Formal Proof of the Erds-Szekeres Conjecture for Convex Polygons with at Most 6 Points},
journal={JOURNAL OF AUTOMATED REASONING},
volume={62},
number={3},
pages={301-329},
document_type={Article},
} 

@ARTICLE{
author={Botana Francisco,Brucker Achim,Hasek Roman,Maric Filip M,Neuper Walther,Pech Pavel,Quaresma Pedro,Santos Vanda,Schreiner Wolfgang,Wolff Burkhart},
year={2018},
title={Preface},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={267},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Stojadinovic Mirko S,Maric Filip M},
year={2015},
title={meSAT: Multiple Encodings of CSP to SAT},
journal={PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015},
volume={9255},
number={},
pages={741-741},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag,Malikovic Marko},
year={2015},
title={Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3},
journal={AUTOMATED DEDUCTION - CADE-25},
volume={9195},
number={},
pages={256-271},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Maric Filip M,Petrovic Danijela},
year={2015},
title={Formalizing complex plane geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={74},
number={3-4},
pages={271-308},
document_type={Article},
} 

@ARTICLE{
author={Stojadinovic Mirko S,Maric Filip M},
year={2014},
title={meSAT: multiple encodings of CSP to SAT},
journal={CONSTRAINTS},
volume={19},
number={4},
pages={380-403},
document_type={Article},
} 

@ARTICLE{
author={Nikolic Mladen,Maric Filip M,Janicic Predrag},
year={2013},
title={Simple algorithm portfolio for SAT},
journal={ARTIFICIAL INTELLIGENCE REVIEW},
volume={40},
number={4},
pages={457-465},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag},
year={2011},
title={Formalization of Abstract State Transition System for Sat},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={7},
number={3},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag},
year={2010},
title={URBiVA: Uniform Reduction to Bit-Vector Arithmetic},
journal={AUTOMATED REASONING},
volume={6173},
number={},
pages={346-352},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Maric Filip M},
year={2010},
title={Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL},
journal={THEORETICAL COMPUTER SCIENCE},
volume={411},
number={50},
pages={4333-4356},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag},
year={2010},
title={Formal Correctness Proof for DPLL Procedure},
journal={INFORMATICA},
volume={21},
number={1},
pages={57-78},
document_type={Article},
} 

@ARTICLE{
author={Nikolic Mladen,Maric Filip M,Janicic Predrag},
year={2009},
title={Instance-Based Selection of Policies for SAT Solvers},
journal={THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS},
volume={5584},
number={},
pages={326-340},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Maric Filip M},
year={2009},
title={Formalization and Implementation of Modern SAT Solvers},
journal={JOURNAL OF AUTOMATED REASONING},
volume={43},
number={1},
pages={81-119},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag},
year={2004},
title={ARGO-LIB: A generic platform for decision procedures},
journal={AUTOMATED REASONING, PROCEEDINGS},
volume={3097},
number={},
pages={213-217},
document_type={Article},
}