Stojanović-Đurđević. Sana

Network Lab View Statistics Email Alert RSS Feed

Full Name

Variants

Stojanovic-Djurdjevic Sana
Sana Stojanovic-Đurđević
Stojanović-Djurdjević. Sana

Main Affiliation

Informatics and Computer Science

sana.stojanovic.djurdjevic@matf.bg.ac.rs

ORCID

https://orcid.org/0000-0002-5386-9100

Scopus Author ID

54401813300

Loading... 2 0 20 0 false

Loading... 3 0 20 0 false

checked on Apr 12, 2025

checked on Apr 12, 2025

Results 1-4 of 4 (Search time: 0.0 seconds).

	Issue Date	Title	Author(s)	Rank
1	1-Jan-2020	Teaching graduate students how to review research articles and respond to reviewer comments	Banković, 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ć, Miodrag	M22
2	1-Aug-2015	Automated generation of machine verifiable and readable proofs: A case study of Тarski’s geometry	Stojanović-Đurđević. Sana ; Narboux, Julien; Janičić, Predrag	М22
3	1-Jan-2014	A vernacular for coherent logic	Stojanović-Djurdjević. Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag	M33
4	25-Nov-2011	A coherent logic based geometry theorem prover capable of producing formal and readable proofs	Stojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag	M33