Autori: Marinkovic Vesna
| Naslov | ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern Applications (Proceedings Paper) |
| Autori | Cugurovic Milan Ristovic Ivan Stanojevic Strahinja Spasic Marko Marinkovic Vesna Vujosevic-Janicic Milena M |
| Info | 2025 12TH INTERNATIONAL CONFERENCE ON ELECTRICAL, ELECTRONIC AND COMPUTING ENGINEERING, ICETRAN, (2025), vol. br. , str. - |
| Projekat | Ministry of Science, Technology and Innovation of the Republic of Serbia [451-03-47/2023-01/200104]; Oracle America, Inc. |
| Ispravka | ISI/Web of Science Članak |
| Naslov | Readable automated proofs of ruler and compass constructions (Article; Early Access) |
| Autori | Marinkovic Vesna Sukilovic Tijana Novakovic Viktor Maric Filip M |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2025), vol. br. , str. - |
| Projekat | Serbian Ministry of Education, Science and Technological Development [451-03-47/2023-01/ 200104]; Serbian Ministry of Education, Science and Technological Development through the University of Belgrade [7744592]; Science Fund of the Republic of Serbia |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | Angle Trisection with Origami and Proving Its Correctness Using Grobner Basis (Article) |
| Autori | Milojkovic Dara Marinkovic Vesna |
| Info | TEACHING OF MATHEMATICS, (2024), vol. 27 br. 2, str. 59-78 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through the University of Belgrade, Faculty of Mathematics [451-03-47/2023-01/200104] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa |
| Naslov | Towards Automated Readable Proofs ofRuler and Compass Constructions (Proceedings Paper) |
| Autori | Marinkovic Vesna Sukilovic Tijana Maric Filip M |
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2024), vol. br. 398, str. - |
| Ispravka | ISI/Web of Science Članak Elečas |
| Naslov | Towards Automated Readable Proofs of Ruler and Compass Constructions (Proceedings Paper) |
| Autori | Marinkovic Vesna Sukilovic Tijana Maric Filip M |
| Info | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (2023), vol. 398 br. , str. 11-20 |
| Ispravka | ISI/Web of Science Članak Elečas |
| Naslov | Automated triangle constructions in hyperbolic geometry (Article) |
| Autori | Marinkovic Vesna Sukilovic Tijana Maric Filip M |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. 91 br. 6, str. 821-849 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through the University of Belgrade, Faculty of Mathematics [451-03-47/2023-01/s200104]; Science Fund of the Republic of Serbia [7744592]; Integrability and Extremal Problems in Mechanics, Geometry and Combinatorics - MEGIC |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | New dynamics in dynamic geometry: Dragging constructed points (Article) |
| Autori | Selakovic Milica Marinkovic Vesna Janicic Predrag |
| Info | JOURNAL OF SYMBOLIC COMPUTATION, (2020), vol. 97 br. , str. 3-15 |
| Projekat | Ministry of Science, Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Portfolio theorem proving and prover runtime prediction for geometry (Article; Proceedings Paper) |
| Autori | Nikolic Mladen Marinkovic Vesna Kovacs Zoltan Janicic Predrag |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2019), vol. 85 br. 2-4, str. 119-146 |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | ArgoTriCS - automated triangle construction solver (Article) |
| Autori | Marinkovic Vesna |
| Info | JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, (2017), vol. 29 br. 2, str. 247-271 |
| Projekat | Serbian Ministry of Education, Science and Technological Development [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Proceedings Paper) |
| Autori | Marinkovic Vesna Janicic Predrag Schreck Pascal |
| Info | AUTOMATED DEDUCTION IN GEOMETRY, (2015), vol. 9201 br. , str. 72-93 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
