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

Bibliometrics

Total Citations
SCOPUSTM

73
checked on Dec 10, 2025

Works indexed in
SCOPUSTM

14
checked on Dec 10, 2025

Publications

Results 1-9 of 9 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
11-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
22024Efikasan obilazak grafova kontrole tokaRistović, Ivan; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M63
32024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
430-Dec-2021On Automating Triangle Constructions in Absolute and Hyperbolic GeometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M33
52019Методичка збирка алгоритамских задатака са решењима - 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
62016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
71-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna ; Janičić, Predrag ; Schreck, PascalM33
82015Аутоматско решавање конструктивних проблема у геометријиMarinković, Vesna M70
917-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33