1. Research with MATF
  2. Research Outputs

Browsing by Author Simić, Danijela

Showing results 1 to 14 of 14
Issue DateTitleAuthor(s)Rank
2024Enhancing 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
1-Jan-2021Formalization of the Poincaré Disc Model of Hyperbolic GeometrySimić, Danijela ; Marić, Filip ; Boutry, Pierre
2019Formalizing Algebrization of Geometry StatementsSimić, Danijela M53
2012Formalizing Analytic GeometriesMarić, Filip ; Simić, Danijela М30
2014Formalizing complex plane geometryMarić, Filip ; Simić, Danijela M22
2024Implementacija sistema za upozorenje na napuštanje saobraćajne trakeFilipović, Sofija; Žarković, Mihailo; Veselinović, Dušan; Ferenc, Goran; Timotijević, Dragoje; Simić, Danijela M33
2024Implementacija stereovizije korišćenjem dve kamere na ugrađenom hardveruŽarković, Mihailo; Veselinović, Dušan; Filipović, Sofija; Ferenc, Goran; Timotijević, Dragoje; Simić, Danijela M33
2019Improving performance of sorting small arrays on MIPS CPUs using bitonic sort and SIMD instructionsBranković, S.; Marković, A.; Simić, Danijela ; Rikalo, A.M63
2019Programiranje 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
1-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
1-Jan-2025Towards automated proving in solid geometrySimić, Danijela ; Stojanović-Đurđević. Sana ; Tanasijević, Ivana M22
1-Jul-2024Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational AwarenessFerenc, Goran; Timotijević, Dragoje; Tanasijević, Ivana ; Simić, Danijela M21
2014Using Small-Step Refinement For Algorithm - Verification In Computer Science EducationSimić, Danijela M33
1-Jan-2015Using small-step refinement for algorithm verification in computer science educationSimić, Danijela M24+
Showing results 1 to 14 of 14