1. Research with MATF

Simić, Danijela

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Simić, Danijela
Main Affiliation
 
Email
danijela.simic@matf.bg.ac.rs
 
ORCID
 
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Publications

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

Issue DateTitleAuthor(s)Rank
11-Jan-2025Towards automated proving in solid geometrySimić, Danijela ; Stojanović-Đurđević. Sana ; Tanasijević, Ivana M22
21-Jul-2024Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational AwarenessFerenc, Goran; Timotijević, Dragoje; Tanasijević, Ivana ; Simić, Danijela M21
31-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
41-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
52019Formalizing Algebrization of Geometry StatementsSimić, Danijela M53
61-Jan-2015Using small-step refinement for algorithm verification in computer science educationSimić, Danijela M24+
72014Formalizing complex plane geometryMarić, Filip ; Simić, Danijela M22