1. Research with MATF
  2. Research Outputs

Browsing by Author Simić, Danijela

Showing results 1 to 9 of 9
Issue DateTitleAuthor(s)Rank
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
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-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 9 of 9