A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs. - Sana Stojanovic; Vesna Pavlovic; Predrag Janicic (Automated Deduction in Geometry, 2010)

Fast file existence checking in archiving systems. - Saso Tomazic; Vesna Pavlovic; Jasna Milovanovic; Jaka Sodnik; Anton Kos; Sara Stancin; Veljko M. Milutinovic (ACM Trans. Storage, 2011)

Towards Understanding Triangle Construction Problems. - Vesna Marinkovic; Predrag Janicic (AISC/MKM/Calculemus, 2012)

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems. - Vesna Marinkovic; Predrag Janicic; Pascal Schreck (ADG, 2014)

Proof Simplification in the Framework of Coherent Logic. - Vesna Marinkovic (Comput. Informatics, 2015)

Constructibility Classes for Triangle Location Problems. - Pascal Schreck; Vesna Marinkovic; Predrag Janicic (Math. Comput. Sci., 2016)

ArgoTriCS - automated triangle construction solver. - Vesna Marinkovic (J. Exp. Theor. Artif. Intell., 2017)

Portfolio theorem proving and prover runtime prediction for geometry. - Mladen Nikolic; Vesna Marinkovic; Zoltán Kovács; Predrag Janicic (Ann. Math. Artif. Intell., 2019)

New dynamics in dynamic geometry: Dragging constructed points. - Milica Selakovic; Vesna Marinkovic; Predrag Janicic (J. Symb. Comput., 2020)

On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (ADG, 2021)

Towards Automated Readable Proofs of Ruler and Compass Constructions. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (ADG, 2023)

Prolog in Automated Reasoning in Geometry. - Vesna Marinkovic (Prolog: The Next 50 Years, 2023)

Automated triangle constructions in hyperbolic geometry. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (Ann. Math. Artif. Intell., 2023)