1. Research with MATF

Stojanović-Đurđević. Sana

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Stojanović-Đurđević. Sana
Variants
Stojanovic-Djurdjevic Sana
Sana Stojanovic-Đurđević
Stojanović-Djurdjević. Sana
 
Main Affiliation
 
Email
sana.stojanovic.djurdjevic@matf.bg.ac.rs
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Bibliometrics

Total Citations
SCOPUSTM

93
checked on Dec 17, 2025

Works indexed in
SCOPUSTM

8
checked on Dec 17, 2025

Publications

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

Issue DateTitleAuthor(s)Rank
11-Jan-2025Towards automated proving in solid geometrySimić, Danijela ; Stojanović-Đurđević. Sana ; Tanasijević, Ivana M22
230-Oct-2020Formalizing IMO problems and solutions in Isabelle/HOLMarić, Filip ; Stojanović-Djurdjević. Sana M33
31-Jan-2020Teaching graduate students how to review research articles and respond to reviewer commentsBanković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad; Kotlar, Miloš; Krdžavac, Nenad B.; Marić, Filip ; Malkov, Saša ; Milutinović, Veljko; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović-Lažetić, Gordana; Simić, Danijela ; Stojanović-Djurdjević. Sana ; Vujičić Stanković, Staša ; Vujošević Janičić, Milena ; Živković, MiodragM22
415-Apr-2019From informal to formal proofs in Euclidean geometryStojanović-Djurdjević. Sana M22
51-Jan-2017A Systematic Approach to Generation of New Ideas for PhD Research in ComputingBlagojević, V.; Bojić, D.; Bojović, M.; Cvetanović, M.; Đorđević, J.; Stojanović-Djurdjević. Sana ; Furlan, B.; Gajin, Slavko ; Jovanović, Z.; Milićev, D.; Milutinović, V.; Nikolić, B.; Protić, J.; Punt, M.; Radivojević, Z.; Stanisavljević; Stojanović-Djurdjević. Sana ; Tartalja, I.; Tomašević, M.; Vuletić, P.M22
62016Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrijeStojanović-Djurdjević. Sana M52
71-Aug-2015Automated generation of machine verifiable and readable proofs: A case study of Тarski’s geometryStojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag M22
81-Jan-2014A vernacular for coherent logicStojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag M33
92013Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter ProofsStojanović-Djurdjević. Sana M33
1025-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33