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-14 of 14 (Search time: 0.003 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
32024Enhancing Driver Monitoring and Decision-Making in Autonomous VehiclesSimić, Danijela ; Tanasijević, Ivana ; Timotijević, Dragoje; Ferenc, Goran; Žarković, Mihailo; Filipović, Sofija; Veselinović, Dušan; Amokrane-Ferka, KahinaM33
42024Implementacija sistema za upozorenje na napuštanje saobraćajne trakeFilipović, Sofija; Žarković, Mihailo; Veselinović, Dušan; Ferenc, Goran; Timotijević, Dragoje; Simić, Danijela M33
52024Implementacija stereovizije korišćenjem dve kamere na ugrađenom hardveruŽarković, Mihailo; Veselinović, Dušan; Filipović, Sofija; Ferenc, Goran; Timotijević, Dragoje; Simić, Danijela M33
61-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
71-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
82019Formalizing Algebrization of Geometry StatementsSimić, Danijela M53
92019Programiranje 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
102019Improving performance of sorting small arrays on MIPS CPUs using bitonic sort and SIMD instructionsBranković, S.; Marković, A.; Simić, Danijela ; Rikalo, A.M63
111-Jan-2015Using small-step refinement for algorithm verification in computer science educationSimić, Danijela M24+
122014Using Small-Step Refinement For Algorithm - Verification In Computer Science EducationSimić, Danijela M33
132014Formalizing complex plane geometryMarić, Filip ; Simić, Danijela M22
142012Formalizing Analytic GeometriesMarić, Filip ; Simić, Danijela М30