Filip Maric
发表
Ivan Markovic,
Ivan Petrovic,
Filip Maric,
2016,
2016 39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).
Filip Maric,
2017,
Journal of Automated Reasoning.
Filip Maric,
Mirko Stojadinovic,
Filip Marić,
2014,
Constraints.
Sparse Bounded Degree Sum of Squares Optimization for Certifiably Globally Optimal Rotation Averaging
pdf
Jonathan Kelly,
Filip Maric,
Matthew Giamou,
2019,
ArXiv.
Predrag Janicic,
Filip Maric,
2010,
IJCAR.
Ivan Petrovic,
Luka Petrovic,
Jonathan Kelly,
2019,
2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).
Miodrag Zivkovic,
Bojan Vuckovic,
Filip Maric,
2012,
AISC/MKM/Calculemus.
Predrag Janicic,
Filip Maric,
Filip Marić,
2010,
Informatica.
Filip Maric,
Matthew Giamou,
Ivan Petrovic,
2019,
2020 IEEE International Conference on Robotics and Automation (ICRA).
Predrag Janicic,
Filip Maric,
Marko Malikovic,
2015,
CADE.
Filip Maric,
Filip Marić,
2009,
Journal of Automated Reasoning.
Filip Maric,
2008,
Arch. Formal Proofs.
Predrag Janicic,
Mladen Nikolic,
Filip Maric,
2011,
Artificial Intelligence Review.
René Thiemann,
Filip Maric,
Mirko Spasic,
2018,
Arch. Formal Proofs.
Predrag Janicic,
Filip Maric,
Filip Marić,
2011,
Log. Methods Comput. Sci..
Jonathan Kelly,
Filip Maric,
Oliver Limoyo,
2018,
2018 IEEE International Conference on Robotics and Automation (ICRA).
Filip Maric,
Danijela Petrovic,
Filip Marić,
2015,
Annals of Mathematics and Artificial Intelligence.
Filip Maric,
Mirko Spasic,
2012,
FM.
Predrag Janicic,
Mladen Nikolic,
Filip Maric,
2009,
SAT.
Filip Maric,
Filip Marić,
2010,
Theor. Comput. Sci..
Ivan Petrovic,
Luka Petrovic,
Jonathan Kelly,
2018,
ArXiv.
Predrag Janicic,
Filip Maric,
2004,
IJCAR.
Vesna Marinkovic,
Filip Maric,
Tijana Sukilovic,
2021,
ADG.