Filip Maric - RankMe

71 papers A* 3A 5B 1Journal 53Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	EgoPoseFormer v2: Accurate Egocentric Human Motion Estimation for AR/VR. CoRR Zhenyu Li, Sai Kumar Dwivedi, Filip Maric, Carlos Chacón, Nadine Bertsch, Filippo Arcadu, Tomas Hodan, Michael Ramamonjisoa, Peter Wonka, Amy Zhao, Robin Kips, Cem Keskin, Anastasia Tkach, Chenhongyi Yang
2026	A*	`conf`	Generative Graphical Inverse Kinematics (Abstract Reprint). AAAI Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly
2025	—	`conf`	Formal Verification of a Fail-Safe Cross-Chain Bridge. FMBC Filip Maric, Bernhard Scholz, Pavle Subotic
2025	J	`jnl`	Formalization of Gyrovector Spaces as Models of Hyperbolic Geometry and Special Relativity. Arch. Formal Proofs Filip Maric, Jelena Markovic
2025	J	`jnl`	Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity. Ann. Math. Artif. Intell. Jelena Markovic, Filip Maric
2025	J	`jnl`	Generative Graphical Inverse Kinematics. IEEE Trans. Robotics Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly
2025	J	`jnl`	Readable automated proofs of ruler and compass constructions. Ann. Math. Artif. Intell. Vesna Marinkovic, Tijana Sukilovic, Viktor Novakovic, Filip Maric
2024	J	`jnl`	GISR: Geometric Initialization and Silhouette-Based Refinement for Single-View Robot Pose and Configuration Estimation. IEEE Robotics Autom. Lett. Ivan Bilic, Filip Maric, Fabio Bonsignorio, Ivan Petrovic
2024	J	`jnl`	GISR: Geometric Initialization and Silhouette-based Refinement for Single-View Robot Pose and Configuration Estimation. CoRR Ivan Bilic, Filip Maric, Fabio Bonsignorio, Ivan Petrovic
2023	J	`jnl`	A Distance-Geometric Method for Recovering Robot Joint Angles From an RGB Image. CoRR Ivan Bilic, Filip Maric, Ivan Markovic, Ivan Petrovic
2023	—	`—`	A geometric approach for generating feasible configurations of robotic manipulators ; Geometrijski pristup generiranju ostvarivih konfiguracija robotskih manipulatora. Filip Maric
2023	J	`jnl`	A proof system for graph (non)-isomorphism verification. Log. Methods Comput. Sci. Milan Bankovic, Ivan Drecun, Filip Maric
2023	J	`jnl`	Automated triangle constructions in hyperbolic geometry. Ann. Math. Artif. Intell. Vesna Marinkovic, Tijana Sukilovic, Filip Maric
2023	J	`jnl`	CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots. CoRR Hanna Jiamei Zhang, Matthew Giamou, Filip Maric, Jonathan Kelly, Jessica Burgner-Kahrs
2023	J	`jnl`	CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots. IEEE Robotics Autom. Lett. Hanna Jiamei Zhang, Matthew Giamou, Filip Maric, Jonathan Kelly, Jessica Burgner-Kahrs
2023	J	`jnl`	Euclidean Equivariant Models for Generative Graphical Inverse Kinematics. CoRR Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly
2023	—	`conf`	Towards Automated Readable Proofs of Ruler and Compass Constructions. ADG Vesna Marinkovic, Tijana Sukilovic, Filip Maric
2022	J	`jnl`	Convex Iteration for Distance-Geometric Inverse Kinematics. IEEE Robotics Autom. Lett. Matthew Giamou, Filip Maric, David M. Rosen, Valentin Peretroukhin, Nicholas Roy, Ivan Petrovic, Jonathan Kelly
2022	J	`jnl`	One Network, Many Robots: Generative Graphical Inverse Kinematics. CoRR Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly
2022	J	`jnl`	Riemannian Optimization for Distance-Geometric Inverse Kinematics. IEEE Trans. Robotics Filip Maric, Matthew Giamou, Adam W. Hall, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
2021	J	`jnl`	A Riemannian Metric for Geometry-Aware Singularity Avoidance by Articulated Robots. CoRR Filip Maric, Luka Petrovic, Marko Guberina, Jonathan Kelly, Ivan Petrovic
2021	J	`jnl`	A Riemannian metric for geometry-aware singularity avoidance by articulated robots. Robotics Auton. Syst. Filip Maric, Luka Petrovic, Marko Guberina, Jonathan Kelly, Ivan Petrovic
2021	J	`jnl`	A proof system for graph (non)-isomorphism verification. CoRR Milan Bankovic, Ivan Drecun, Filip Maric
2021	J	`jnl`	Convex Iteration for Distance-Geometric Inverse Kinematics. CoRR Matthew Giamou, Filip Maric, David M. Rosen, Valentin Peretroukhin, Nicholas Roy, Ivan Petrovic, Jonathan Kelly
2021	J	`jnl`	Faradžev Read-type enumeration of non-isomorphic CC systems. Comput. Geom. Milan Bankovic, Filip Maric
2021	J	`jnl`	Formalization of the Poincaré Disc Model of Hyperbolic Geometry. J. Autom. Reason. Danijela Simic, Filip Maric, Pierre Boutry
2021	—	`conf`	On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. ADG Vesna Marinkovic, Tijana Sukilovic, Filip Maric
2021	J	`jnl`	Riemannian Optimization for Distance Geometric Inverse Kinematics. CoRR Filip Maric, Matthew Giamou, Adam W. Hall, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
2020	J	`jnl`	Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. Adv. Comput. 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, Veljko Milutinovic, Nenad S. Mitic, Stefan Miskovic, Mladen Nikolic, Gordana Pavlovic-Lazetic, Danijela Simic, Miodrag V. Zivkovic
2020	J	`jnl`	Fighting Failures with FIRE: Failure Identification to Reduce Expert Burden in Intervention-Based Learning. CoRR Trevor Ablett, Filip Maric, Jonathan Kelly
2020	—	`conf`	Formalizing IMO Problems and Solutions in Isabelle/HOL. ThEdu@IJCAR Filip Maric, Sana Stojanovic Durdevic
2020	J	`jnl`	Heteroscedastic Uncertainty for Robust Generative Latent Dynamics. CoRR Oliver Limoyo, Bryan Chan, Filip Maric, Brandon Wagstaff, A. Rupam Mahmood, Jonathan Kelly
2020	J	`jnl`	Heteroscedastic Uncertainty for Robust Generative Latent Dynamics. IEEE Robotics Autom. Lett. Oliver Limoyo, Bryan Chan, Filip Maric, Brandon Wagstaff, A. Rupam Mahmood, Jonathan Kelly
2020	J	`jnl`	Inverse Kinematics as Low-Rank Euclidean Distance Matrix Completion. CoRR Filip Maric, Matthew Giamou, Ivan Petrovic, Jonathan Kelly
2020	A*	`conf`	Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. ICRA Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
2020	J	`jnl`	Regression verification for automated evaluation of students programs. Comput. Sci. Inf. Syst. Milena Vujosevic-Janicic, Filip Maric
2020	J	`jnl`	The Canadian Planetary Emulation Terrain Energy-Aware Rover Navigation Dataset. Int. J. Robotics Res. Olivier Lamarre, Oliver Limoyo, Filip Maric, Jonathan Kelly
2020	—	`conf`	Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation. IJCAR (2) Filip Maric
2019	J	`jnl`	Complex Geometry. Arch. Formal Proofs Filip Maric, Danijela Simic
2019	J	`jnl`	Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. Log. Methods Comput. Sci. Predrag Janicic, Filip Maric, Marko Malikovic
2019	J	`jnl`	Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points. J. Autom. Reason. Filip Maric
2019	J	`jnl`	Fast Manipulability Maximization Using Continuous-Time Trajectory Optimization. CoRR Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly
2019	A	`conf`	Fast Manipulability Maximization Using Continuous-Time Trajectory optimization. IROS Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly
2019	J	`jnl`	Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families. CoRR Filip Maric, Bojan Vuckovic, Miodrag V. Zivkovic
2019	J	`jnl`	Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. CoRR Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly
2019	J	`jnl`	Poincaré Disc Model. Arch. Formal Proofs Danijela Simic, Filip Maric, Pierre Boutry
2019	J	`jnl`	Sparse Bounded Degree Sum of Squares Optimization for Certifiably Globally Optimal Rotation Averaging. CoRR Matthew Giamou, Filip Maric, Valentin Peretroukhin, Jonathan Kelly
2018	J	`jnl`	An Incremental Simplex Algorithm with Unsatisfiable Core Generation. Arch. Formal Proofs Filip Maric, Mirko Spasic, René Thiemann
2018	J	`jnl`	Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. CoRR Predrag Janicic, Filip Maric, Marko Malikovic
2018	A*	`conf`	Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. ICRA Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly
2018	J	`jnl`	Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. CoRR Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly
2018	J	`jnl`	Singularity Avoidance as Manipulability Maximization Using Continuous Time Gaussian Processes. CoRR Filip Maric, Oliver Limoyo, Luka Petrovic, Ivan Petrovic, Jonathan Kelly
2016	—	`conf`	Robot arm teleoperation via RGBD sensor palm tracking. MIPRO Filip Maric, Ivan Jurin, Ivan Markovic, Zoran Kalafatic, Ivan Petrovic
2015	J	`jnl`	Formalizing complex plane geometry. Ann. Math. Artif. Intell. Filip Maric, Danijela Petrovic
2015	A	`conf`	Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. CADE Filip Maric, Predrag Janicic, Marko Malikovic
2015	J	`jnl`	Short Portfolio Training for CSP Solving. CoRR Mirko Stojadinovic, Mladen Nikolic, Filip Maric
2014	J	`jnl`	meSAT: multiple encodings of CSP to SAT. Constraints An Int. J. Mirko Stojadinovic, Filip Maric
2013	J	`jnl`	Simple algorithm portfolio for SAT. Artif. Intell. Rev. Mladen Nikolic, Filip Maric, Predrag Janicic
2012	B	`conf`	Formalization of Incremental Simplex Algorithm by Stepwise Refinement. FM Mirko Spasic, Filip Maric
2012	—	`conf`	Formalizing Frankl's Conjecture: FC-Families. AISC/MKM/Calculemus Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic
2012	J	`jnl`	Formalizing Frankl's Conjecture: FC-families CoRR Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic
2011	—	`conf`	Formalization and Implementation of Algebraic Methods in Geometry ThEdu Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic
2011	J	`jnl`	Formalization of Abstract State Transition Systems for SAT Log. Methods Comput. Sci. Filip Maric, Predrag Janicic
2011	J	`jnl`	Simple Algorithm Portfolio for SAT CoRR Mladen Nikolic, Filip Maric, Predrag Janicic
2010	J	`jnl`	Formal Correctness Proof for DPLL Procedure. Informatica Filip Maric, Predrag Janicic
2010	J	`jnl`	Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. Theor. Comput. Sci. Filip Maric
2010	A	`conf`	URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR Filip Maric, Predrag Janicic
2009	J	`jnl`	Formalization and Implementation of Modern SAT Solvers. J. Autom. Reason. Filip Maric
2009	A	`conf`	Instance-Based Selection of Policies for SAT Solvers. SAT Mladen Nikolic, Filip Maric, Predrag Janicic
2008	J	`jnl`	Formal Verification of Modern SAT Solvers. Arch. Formal Proofs Filip Maric
2004	A	`conf`	argo-lib: A Generic Platform for Decision Procedures. IJCAR Filip Maric, Predrag Janicic