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

Bibliometrics

Total Citations
SCOPUSTM

24
checked on Oct 16, 2025

Works indexed in
SCOPUSTM

5
checked on Oct 16, 2025

Publications

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

Issue DateTitleAuthor(s)Rank
11-Jul-2024Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational AwarenessFerenc, Goran; Timotijević, Dragoje; Tanasijević, Ivana ; Simić, Danijela M21
21-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
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
42019Formalizing Algebrization of Geometry StatementsSimić, Danijela M53
52019Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C)Vujošević Janičić, Milena ; Kovačević, Jovana ; Simić, Danijela ; Anđelka Zečević; Kocić, Aleksandra
61-Jan-2015Using small-step refinement for algorithm verification in computer science educationSimić, Danijela M24+
72014Using Small-Step Refinement For Algorithm - Verification In Computer Science EducationSimić, Danijela M33
82014Formalizing complex plane geometryMarić, Filip ; Simić, Danijela M22
92012Formalizing Analytic GeometriesMarić, Filip ; Simić, Danijela М30