1. Research with MATF

Marinković, Vesna

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Marinković, Vesna
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Publications

Results 1-20 of 31 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
14-Dec-2025Machine Learning-Driven Prediction of Optimal Control Flow Graph Traversal StrategyRistović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M50
1621-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
1631-Jan-2025ML-Driven Prediction of Optimal Control Flow Graph Traversal Algorithm in Modern ApplicationsČugurović, Milan ; Ristović, Ivan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M33
16422-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
1652024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
1662024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
1672024Angle trisection with origami and proving its correctness using Gröbner basisMilojković, Dara ; Marinković, Vesna M23
1682024Efikasan obilazak grafova kontrole tokaRistović, Ivan ; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M63
1692024Interaktivni udžbenik iz oblasti algoritama i struktura podatakaMarić, Filip ; Marinković, Vesna M34
1701-Dec-2023Automated triangle constructions in hyperbolic geometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M22
1712023Automatsko rešavanje konstruktivnih problema u geometrijiBanković, Milan ; Marinković, Vesna M64
1722023Edukativni sistemi za automatsko rešavanje konstruktivnih problema u geometrijiMarinković, Vesna ; Marić, Filip M64
1732023Automatsko rešavanje konstruktivnih problema u geometrijiMarinković, Vesna ; Banković, Milan M64
1742023Prolog in Automated Reasoning in GeometryMarinković, Vesna M14
17530-Dec-2021On Automating Triangle Constructions in Absolute and Hyperbolic GeometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M33
1762021Automatsko rešavanje konstruktivnih problema u apsolutnoj i hiperboličkoj geometrijiMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M64
1772021Moderna nastava matematike zasnovana na metodama veštačke inteligencijeMarinković, Vesna M63
1781-Mar-2020New dynamics in dynamic geometry: Dragging constructed pointsSelaković, Milica; Marinković, Vesna ; Janičić, Predrag M22
17915-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M22
1802019Методичка збирка алгоритамских задатака са решењима - C# - основни нивоMarić, Filip ; Alimpić, Nina; Vasiljević, Nebojša; Vugdelija, Milan; Vuković, Duša; Đurišić, Miodrag; Marinković, Vesna ; Matković, Stanka; Hadži-Purić, Jelena; Čabarkapa, Milan