@ARTICLE{
author={Cugurovic Milan,Ristovic Ivan,Stanojevic Strahinja,Spasic Marko,Marinkovic Vesna,Vujosevic-Janicic Milena M},
year={2025},
title={ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications},
journal={2025 12TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONIC AND COMPUTING ENGINEERING, ICETRAN},
volume={},
number={},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Novakovic Viktor,Maric Filip M},
year={2025},
title={Readable automated proofs of ruler and compass constructions},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Article; Early Access},
} 

@ARTICLE{
author={Milojkovic Dara,Marinkovic Vesna},
year={2024},
title={Angle Trisection with Origami and Proving Its Correctness Using Grobner Basis},
journal={TEACHING OF MATHEMATICS},
volume={27},
number={2},
pages={59-78},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2024},
title={Towards Automated Readable Proofs ofRuler and Compass Constructions},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={},
number={398},
pages={-},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2023},
title={Towards Automated Readable Proofs of Ruler and Compass Constructions},
journal={ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE},
volume={398},
number={},
pages={11-20},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna,Sukilovic Tijana,Maric Filip M},
year={2023},
title={Automated triangle constructions in hyperbolic geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={91},
number={6},
pages={821-849},
document_type={Article},
} 

@ARTICLE{
author={Selakovic Milica,Marinkovic Vesna,Janicic Predrag},
year={2020},
title={New dynamics in dynamic geometry: Dragging constructed points},
journal={JOURNAL OF SYMBOLIC COMPUTATION},
volume={97},
number={},
pages={3-15},
document_type={Article},
} 

@ARTICLE{
author={Nikolic Mladen,Marinkovic Vesna,Kovacs Zoltan,Janicic Predrag},
year={2019},
title={Portfolio theorem proving and prover runtime prediction for geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={85},
number={2-4},
pages={119-146},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna},
year={2017},
title={ArgoTriCS - automated triangle construction solver},
journal={JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE},
volume={29},
number={2},
pages={247-271},
document_type={Article},
} 

@ARTICLE{
author={Marinkovic Vesna,Janicic Predrag,Schreck Pascal},
year={2015},
title={Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems},
journal={AUTOMATED DEDUCTION IN GEOMETRY},
volume={9201},
number={},
pages={72-93},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Marinkovic Vesna},
year={2015},
title={Proof Simplification in the Framework of Coherent Logic},
journal={COMPUTING AND INFORMATICS},
volume={34},
number={2},
pages={337-366},
document_type={Article},
}