argo-lib: A Generic Platform for Decision Procedures. - Filip Maric; Predrag Janicic (IJCAR, 2004)

Formal Verification of Modern SAT Solvers. - Filip Maric (Arch. Formal Proofs, 2008)

Instance-Based Selection of Policies for SAT Solvers. - Mladen Nikolic; Filip Maric; Predrag Janicic (SAT, 2009)

Formalization and Implementation of Modern SAT Solvers. - Filip Maric (J. Autom. Reason., 2009)

URBiVA: Uniform Reduction to Bit-Vector Arithmetic. - Filip Maric; Predrag Janicic (IJCAR, 2010)

Formal Correctness Proof for DPLL Procedure. - Filip Maric; Predrag Janicic (Informatica, 2010)

Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. - Filip Maric (Theor. Comput. Sci., 2010)

Formalization of Abstract State Transition Systems for SAT - Filip Maric; Predrag Janicic (Log. Methods Comput. Sci., 2011)

Formalization and Implementation of Algebraic Methods in Geometry - Filip Maric; Ivan Petrovic; Danijela Petrovic; Predrag Janicic (ThEdu, 2011)

Formalizing Frankl's Conjecture: FC-Families. - Filip Maric; Miodrag V. Zivkovic; Bojan Vuckovic (AISC/MKM/Calculemus, 2012)

Formalization of Incremental Simplex Algorithm by Stepwise Refinement. - Mirko Spasic; Filip Maric (FM, 2012)

Simple algorithm portfolio for SAT. - Mladen Nikolic; Filip Maric; Predrag Janicic (Artif. Intell. Rev., 2013)

meSAT: multiple encodings of CSP to SAT. - Mirko Stojadinovic; Filip Maric (Constraints An Int. J., 2014)

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. - Filip Maric; Predrag Janicic; Marko Malikovic (CADE, 2015)

Formalizing complex plane geometry. - Filip Maric; Danijela Petrovic (Ann. Math. Artif. Intell., 2015)

Short Portfolio Training for CSP Solving. - Mirko Stojadinovic; Mladen Nikolic; Filip Maric (CoRR, 2015)

Robot arm teleoperation via RGBD sensor palm tracking. - Filip Maric; Ivan Jurin; Ivan Markovic; Zoran Kalafatic; Ivan Petrovic (MIPRO, 2016)

Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. - Oliver Limoyo; Trevor Ablett; Filip Maric; Luke Volpatti; Jonathan Kelly (ICRA, 2018)

An Incremental Simplex Algorithm with Unsatisfiable Core Generation. - Filip Maric; Mirko Spasic; René Thiemann (Arch. Formal Proofs, 2018)

Singularity Avoidance as Manipulability Maximization Using Continuous Time Gaussian Processes. - Filip Maric; Oliver Limoyo; Luka Petrovic; Ivan Petrovic; Jonathan Kelly (CoRR, 2018)

Fast Manipulability Maximization Using Continuous-Time Trajectory optimization. - Filip Maric; Oliver Limoyo; Luka Petrovic; Trevor Ablett; Ivan Petrovic; Jonathan Kelly (IROS, 2019)

Complex Geometry. - Filip Maric; Danijela Simic (Arch. Formal Proofs, 2019)

Poincaré Disc Model. - Danijela Simic; Filip Maric; Pierre Boutry (Arch. Formal Proofs, 2019)

Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families. - Filip Maric; Bojan Vuckovic; Miodrag V. Zivkovic (CoRR, 2019)

Sparse Bounded Degree Sum of Squares Optimization for Certifiably Globally Optimal Rotation Averaging. - Matthew Giamou; Filip Maric; Valentin Peretroukhin; Jonathan Kelly (CoRR, 2019)

Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points. - Filip Maric (J. Autom. Reason., 2019)

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. - Predrag Janicic; Filip Maric; Marko Malikovic (Log. Methods Comput. Sci., 2019)

Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation. - Filip Maric (IJCAR (2), 2020)

Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. - Filip Maric; Matthew Giamou; Soroush Khoubyarian; Ivan Petrovic; Jonathan Kelly (ICRA, 2020)

Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. - Milan Bankovic; Vladimir Filipovic; Jelena Graovac; Jelena Hadzi-Puric; Ali R. Hurson; Aleksandar Kartelj; Jovana J. Kovacevic; Nenad Korolija; Milos Kotlar; Nenad B. Krdzavac; Filip Maric; Sasa N. Malkov; et al. (Adv. Comput., 2020)

Regression verification for automated evaluation of students programs. - Milena Vujosevic-Janicic; Filip Maric (Comput. Sci. Inf. Syst., 2020)

Fighting Failures with FIRE: Failure Identification to Reduce Expert Burden in Intervention-Based Learning. - Trevor Ablett; Filip Maric; Jonathan Kelly (CoRR, 2020)

Formalizing IMO Problems and Solutions in Isabelle/HOL. - Filip Maric; Sana Stojanovic Durdevic (ThEdu@IJCAR, 2020)

Inverse Kinematics as Low-Rank Euclidean Distance Matrix Completion. - Filip Maric; Matthew Giamou; Ivan Petrovic; Jonathan Kelly (CoRR, 2020)

The Canadian Planetary Emulation Terrain Energy-Aware Rover Navigation Dataset. - Olivier Lamarre; Oliver Limoyo; Filip Maric; Jonathan Kelly (Int. J. Robotics Res., 2020)

Heteroscedastic Uncertainty for Robust Generative Latent Dynamics. - Oliver Limoyo; Bryan Chan 002; Filip Maric; Brandon Wagstaff; A. Rupam Mahmood; Jonathan Kelly (IEEE Robotics Autom. Lett., 2020)

Faradžev Read-type enumeration of non-isomorphic CC systems. - Milan Bankovic; Filip Maric (Comput. Geom., 2021)

On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (ADG, 2021)

Formalization of the Poincaré Disc Model of Hyperbolic Geometry. - Danijela Simic; Filip Maric; Pierre Boutry (J. Autom. Reason., 2021)

A Riemannian metric for geometry-aware singularity avoidance by articulated robots. - Filip Maric; Luka Petrovic; Marko Guberina; Jonathan Kelly; Ivan Petrovic (Robotics Auton. Syst., 2021)

One Network, Many Robots: Generative Graphical Inverse Kinematics. - Oliver Limoyo; Filip Maric; Matthew Giamou; Petra Alexson; Ivan Petrovic; Jonathan Kelly (CoRR, 2022)

Convex Iteration for Distance-Geometric Inverse Kinematics. - Matthew Giamou; Filip Maric; David M. Rosen; Valentin Peretroukhin; Nicholas Roy; Ivan Petrovic; Jonathan Kelly (IEEE Robotics Autom. Lett., 2022)

Riemannian Optimization for Distance-Geometric Inverse Kinematics. - Filip Maric; Matthew Giamou; Adam W. Hall; Soroush Khoubyarian; Ivan Petrovic; Jonathan Kelly (IEEE Trans. Robotics, 2022)

A Distance-Geometric Method for Recovering Robot Joint Angles From an RGB Image. - Ivan Bilic; Filip Maric; Ivan Markovic; Ivan Petrovic (CoRR, 2023)

Euclidean Equivariant Models for Generative Graphical Inverse Kinematics. - Oliver Limoyo; Filip Maric; Matthew Giamou; Petra Alexson; Ivan Petrovic; Jonathan Kelly (CoRR, 2023)

Towards Automated Readable Proofs of Ruler and Compass Constructions. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (ADG, 2023)

A proof system for graph (non)-isomorphism verification. - Milan Bankovic; Ivan Drecun; Filip Maric (Log. Methods Comput. Sci., 2023)

A geometric approach for generating feasible configurations of robotic manipulators ; Geometrijski pristup generiranju ostvarivih konfiguracija robotskih manipulatora. - Filip Maric (2023)

CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots. - Hanna Jiamei Zhang; Matthew Giamou; Filip Maric; Jonathan Kelly; Jessica Burgner-Kahrs (IEEE Robotics Autom. Lett., 2023)

Automated triangle constructions in hyperbolic geometry. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (Ann. Math. Artif. Intell., 2023)

GISR: Geometric Initialization and Silhouette-Based Refinement for Single-View Robot Pose and Configuration Estimation. - Ivan Bilic; Filip Maric; Fabio Bonsignorio; Ivan Petrovic (IEEE Robotics Autom. Lett., 2024)

Formal Verification of a Fail-Safe Cross-Chain Bridge. - Filip Maric; Bernhard Scholz; Pavle Subotic (FMBC, 2025)

Formalization of Gyrovector Spaces as Models of Hyperbolic Geometry and Special Relativity. - Filip Maric; Jelena Markovic (Arch. Formal Proofs, 2025)

Generative Graphical Inverse Kinematics. - Oliver Limoyo; Filip Maric; Matthew Giamou; Petra Alexson; Ivan Petrovic; Jonathan Kelly (IEEE Trans. Robotics, 2025)