| 2026 | AAAI | Generative Graphical Inverse Kinematics (Abstract Reprint). | Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly |
| 2020 | CADE | Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation. | Filip Maric |
| 2020 | ICRA | Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. | Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly |
| 2019 | IROS | Fast Manipulability Maximization Using Continuous-Time Trajectory optimization. | Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly |
| 2018 | ICRA | Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. | Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly |
| 2015 | CADE | Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. | Filip Maric, Predrag Janicic, Marko Malikovic |
| 2012 | AISC | Formalizing Frankl's Conjecture: FC-Families. | Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic |
| 2012 | FM | Formalization of Incremental Simplex Algorithm by Stepwise Refinement. | Mirko Spasic, Filip Maric |
| 2010 | CADE | URBiVA: Uniform Reduction to Bit-Vector Arithmetic. | Filip Maric, Predrag Janicic |
| 2009 | SAT | Instance-Based Selection of Policies for SAT Solvers. | Mladen Nikolic, Filip Maric, Predrag Janicic |
| 2004 | CADE | argo-lib: A Generic Platform for Decision Procedures. | Filip Maric, Predrag Janicic |