Marinkovic Vesna,Sukilovic Tijana,Novakovic Viktor,Maric Filip M (2025) Readable automated proofs of ruler and compass constructions, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. , br. , str. - (Article; Early Access) 

Milojkovic Dara,Marinkovic Vesna (2024) Angle Trisection with Origami and Proving Its Correctness Using Grobner Basis, TEACHING OF MATHEMATICS, vol. 27, br. 2, str. 59-78 (Article) 

Marinkovic Vesna,Sukilovic Tijana,Maric Filip M (2023) Automated triangle constructions in hyperbolic geometry, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 91, br. 6, str. 821-849 (Article) 

Selakovic Milica,Marinkovic Vesna,Janicic Predrag (2020) New dynamics in dynamic geometry: Dragging constructed points, JOURNAL OF SYMBOLIC COMPUTATION, vol. 97, br. , str. 3-15 (Article) 

Nikolic Mladen,Marinkovic Vesna,Kovacs Zoltan,Janicic Predrag (2019) Portfolio theorem proving and prover runtime prediction for geometry, ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, vol. 85, br. 2-4, str. 119-146 (Article; Proceedings Paper) 

Marinkovic Vesna (2017) ArgoTriCS - automated triangle construction solver, JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, vol. 29, br. 2, str. 247-271 (Article) 

Marinkovic Vesna (2015) Proof Simplification in the Framework of Coherent Logic, COMPUTING AND INFORMATICS, vol. 34, br. 2, str. 337-366 (Article)