default search action
Filip Maric
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i22]Ivan Bilic, Filip Maric, Fabio Bonsignorio, Ivan Petrovic:
GISR: Geometric Initialization and Silhouette-based Refinement for Single-View Robot Pose and Configuration Estimation. CoRR abs/2405.04890 (2024) - 2023
- [j25]Vesna Marinkovic, Tijana Sukilovic, Filip Maric:
Automated triangle constructions in hyperbolic geometry. Ann. Math. Artif. Intell. 91(6): 821-849 (2023) - [j24]Milan Bankovic, Ivan Drecun, Filip Maric:
A proof system for graph (non)-isomorphism verification. Log. Methods Comput. Sci. 19(1) (2023) - [j23]Hanna Jiamei Zhang, Matthew Giamou, Filip Maric, Jonathan Kelly, Jessica Burgner-Kahrs:
CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots. IEEE Robotics Autom. Lett. 8(11): 7679-7686 (2023) - [c15]Vesna Marinkovic, Tijana Sukilovic, Filip Maric:
Towards Automated Readable Proofs of Ruler and Compass Constructions. ADG 2023: 11-20 - [i21]Ivan Bilic, Filip Maric, Ivan Markovic, Ivan Petrovic:
A Distance-Geometric Method for Recovering Robot Joint Angles From an RGB Image. CoRR abs/2301.02051 (2023) - [i20]Hanna Jiamei Zhang, Matthew Giamou, Filip Maric, Jonathan Kelly, Jessica Burgner-Kahrs:
CIDGIKc: Distance-Geometric Inverse Kinematics for Continuum Robots. CoRR abs/2306.13617 (2023) - [i19]Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly:
Euclidean Equivariant Models for Generative Graphical Inverse Kinematics. CoRR abs/2307.01902 (2023) - 2022
- [j22]Matthew Giamou, Filip Maric, David M. Rosen, Valentin Peretroukhin, Nicholas Roy, Ivan Petrovic, Jonathan Kelly:
Convex Iteration for Distance-Geometric Inverse Kinematics. IEEE Robotics Autom. Lett. 7(2): 1952-1959 (2022) - [j21]Filip Maric, Matthew Giamou, Adam W. Hall, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly:
Riemannian Optimization for Distance-Geometric Inverse Kinematics. IEEE Trans. Robotics 38(3): 1703-1722 (2022) - [i18]Oliver Limoyo, Filip Maric, Matthew Giamou, Petra Alexson, Ivan Petrovic, Jonathan Kelly:
One Network, Many Robots: Generative Graphical Inverse Kinematics. CoRR abs/2209.08812 (2022) - 2021
- [j20]Milan Bankovic, Filip Maric:
Faradžev Read-type enumeration of non-isomorphic CC systems. Comput. Geom. 97: 101770 (2021) - [j19]Danijela Simic, Filip Maric, Pierre Boutry:
Formalization of the Poincaré Disc Model of Hyperbolic Geometry. J. Autom. Reason. 65(1): 31-73 (2021) - [j18]Filip Maric, Luka Petrovic, Marko Guberina, Jonathan Kelly, Ivan Petrovic:
A Riemannian metric for geometry-aware singularity avoidance by articulated robots. Robotics Auton. Syst. 145: 103865 (2021) - [c14]Vesna Marinkovic, Tijana Sukilovic, Filip Maric:
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. ADG 2021: 14-26 - [i17]Filip Maric, Luka Petrovic, Marko Guberina, Jonathan Kelly, Ivan Petrovic:
A Riemannian Metric for Geometry-Aware Singularity Avoidance by Articulated Robots. CoRR abs/2103.05362 (2021) - [i16]Filip Maric, Matthew Giamou, Adam W. Hall, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly:
Riemannian Optimization for Distance Geometric Inverse Kinematics. CoRR abs/2108.13720 (2021) - [i15]Matthew Giamou, Filip Maric, David M. Rosen, Valentin Peretroukhin, Nicholas Roy, Ivan Petrovic, Jonathan Kelly:
Convex Iteration for Distance-Geometric Inverse Kinematics. CoRR abs/2109.03374 (2021) - [i14]Milan Bankovic, Ivan Drecun, Filip Maric:
A proof system for graph (non)-isomorphism verification. CoRR abs/2112.14303 (2021) - 2020
- [j17]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:
Chapter One - Teaching graduate students how to review research articles and respond to reviewer comments. Adv. Comput. 116: 1-63 (2020) - [j16]Milena Vujosevic-Janicic, Filip Maric:
Regression verification for automated evaluation of students programs. Comput. Sci. Inf. Syst. 17(1): 205-227 (2020) - [j15]Olivier Lamarre, Oliver Limoyo, Filip Maric, Jonathan Kelly:
The Canadian Planetary Emulation Terrain Energy-Aware Rover Navigation Dataset. Int. J. Robotics Res. 39(6) (2020) - [j14]Oliver Limoyo, Bryan Chan, Filip Maric, Brandon Wagstaff, A. Rupam Mahmood, Jonathan Kelly:
Heteroscedastic Uncertainty for Robust Generative Latent Dynamics. IEEE Robotics Autom. Lett. 5(4): 6654-6661 (2020) - [c13]Filip Maric:
Verifying Faradžev-Read Type Isomorph-Free Exhaustive Generation. IJCAR (2) 2020: 270-287 - [c12]Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly:
Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. ICRA 2020: 7101-7107 - [c11]Filip Maric, Sana Stojanovic Durdevic:
Formalizing IMO Problems and Solutions in Isabelle/HOL. ThEdu@IJCAR 2020: 35-55 - [i13]Trevor Ablett, Filip Maric, Jonathan Kelly:
Fighting Failures with FIRE: Failure Identification to Reduce Expert Burden in Intervention-Based Learning. CoRR abs/2007.00245 (2020) - [i12]Oliver Limoyo, Bryan Chan, Filip Maric, Brandon Wagstaff, A. Rupam Mahmood, Jonathan Kelly:
Heteroscedastic Uncertainty for Robust Generative Latent Dynamics. CoRR abs/2008.08157 (2020) - [i11]Filip Maric, Matthew Giamou, Ivan Petrovic, Jonathan Kelly:
Inverse Kinematics as Low-Rank Euclidean Distance Matrix Completion. CoRR abs/2011.04850 (2020)
2010 – 2019
- 2019
- [j13]Filip Maric, Danijela Simic:
Complex Geometry. Arch. Formal Proofs 2019 (2019) - [j12]Danijela Simic, Filip Maric, Pierre Boutry:
Poincaré Disc Model. Arch. Formal Proofs 2019 (2019) - [j11]Filip Maric:
Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points. J. Autom. Reason. 62(3): 301-329 (2019) - [j10]Predrag Janicic, Filip Maric, Marko Malikovic:
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. Log. Methods Comput. Sci. 15(1) (2019) - [c10]Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly:
Fast Manipulability Maximization Using Continuous-Time Trajectory optimization. IROS 2019: 8258-8264 - [i10]Filip Maric, Bojan Vuckovic, Miodrag V. Zivkovic:
Fully Automatic, Verified Classification of all Frankl-Complete (FC(6)) Set Families. CoRR abs/1902.08765 (2019) - [i9]Matthew Giamou, Filip Maric, Valentin Peretroukhin, Jonathan Kelly:
Sparse Bounded Degree Sum of Squares Optimization for Certifiably Globally Optimal Rotation Averaging. CoRR abs/1904.01645 (2019) - [i8]Filip Maric, Oliver Limoyo, Luka Petrovic, Trevor Ablett, Ivan Petrovic, Jonathan Kelly:
Fast Manipulability Maximization Using Continuous-Time Trajectory Optimization. CoRR abs/1908.02963 (2019) - [i7]Filip Maric, Matthew Giamou, Soroush Khoubyarian, Ivan Petrovic, Jonathan Kelly:
Inverse Kinematics for Serial Kinematic Chains via Sum of Squares Optimization. CoRR abs/1909.09318 (2019) - 2018
- [j9]Filip Maric, Mirko Spasic, René Thiemann:
An Incremental Simplex Algorithm with Unsatisfiable Core Generation. Arch. Formal Proofs 2018 (2018) - [c9]Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly:
Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. ICRA 2018: 1-8 - [i6]Predrag Janicic, Filip Maric, Marko Malikovic:
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. CoRR abs/1801.07528 (2018) - [i5]Oliver Limoyo, Trevor Ablett, Filip Maric, Luke Volpatti, Jonathan Kelly:
Self-Calibration of Mobile Manipulator Kinematic and Sensor Extrinsic Parameters Through Contact-Based Interaction. CoRR abs/1803.06406 (2018) - [i4]Filip Maric, Oliver Limoyo, Luka Petrovic, Ivan Petrovic, Jonathan Kelly:
Singularity Avoidance as Manipulability Maximization Using Continuous Time Gaussian Processes. CoRR abs/1803.09493 (2018) - 2016
- [c8]Filip Maric, Ivan Jurin, Ivan Markovic, Zoran Kalafatic, Ivan Petrovic:
Robot arm teleoperation via RGBD sensor palm tracking. MIPRO 2016: 1093-1098 - 2015
- [j8]Filip Maric, Danijela Petrovic:
Formalizing complex plane geometry. Ann. Math. Artif. Intell. 74(3-4): 271-308 (2015) - [c7]Filip Maric, Predrag Janicic, Marko Malikovic:
Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. CADE 2015: 256-271 - [i3]Mirko Stojadinovic, Mladen Nikolic, Filip Maric:
Short Portfolio Training for CSP Solving. CoRR abs/1505.02070 (2015) - 2014
- [j7]Mirko Stojadinovic, Filip Maric:
meSAT: multiple encodings of CSP to SAT. Constraints An Int. J. 19(4): 380-403 (2014) - 2013
- [j6]Mladen Nikolic, Filip Maric, Predrag Janicic:
Simple algorithm portfolio for SAT. Artif. Intell. Rev. 40(4): 457-465 (2013) - 2012
- [c6]Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic:
Formalizing Frankl's Conjecture: FC-Families. AISC/MKM/Calculemus 2012: 248-263 - [c5]Mirko Spasic, Filip Maric:
Formalization of Incremental Simplex Algorithm by Stepwise Refinement. FM 2012: 434-449 - [i2]Filip Maric, Miodrag V. Zivkovic, Bojan Vuckovic:
Formalizing Frankl's Conjecture: FC-families. CoRR abs/1207.3604 (2012) - 2011
- [j5]Filip Maric, Predrag Janicic:
Formalization of Abstract State Transition Systems for SAT. Log. Methods Comput. Sci. 7(3) (2011) - [c4]Filip Maric, Ivan Petrovic, Danijela Petrovic, Predrag Janicic:
Formalization and Implementation of Algebraic Methods in Geometry. ThEdu 2011: 63-81 - [i1]Mladen Nikolic, Filip Maric, Predrag Janicic:
Simple Algorithm Portfolio for SAT. CoRR abs/1107.0268 (2011) - 2010
- [j4]Filip Maric, Predrag Janicic:
Formal Correctness Proof for DPLL Procedure. Informatica 21(1): 57-78 (2010) - [j3]Filip Maric:
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL. Theor. Comput. Sci. 411(50): 4333-4356 (2010) - [c3]Filip Maric, Predrag Janicic:
URBiVA: Uniform Reduction to Bit-Vector Arithmetic. IJCAR 2010: 346-352
2000 – 2009
- 2009
- [j2]Filip Maric:
Formalization and Implementation of Modern SAT Solvers. J. Autom. Reason. 43(1): 81-119 (2009) - [c2]Mladen Nikolic, Filip Maric, Predrag Janicic:
Instance-Based Selection of Policies for SAT Solvers. SAT 2009: 326-340 - 2008
- [j1]Filip Maric:
Formal Verification of Modern SAT Solvers. Arch. Formal Proofs 2008 (2008) - 2004
- [c1]Filip Maric, Predrag Janicic:
argo-lib: A Generic Platform for Decision Procedures. IJCAR 2004: 213-217
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint