Istraživači

eNauka > Istraživači > Simić, Danijela

Simić, Danijela

Tip

Godina

3 2020 - 2027
7 2010 - 2019

Mp-kat.

Godina - raspon

Godina od:

Godina do:

Rezultati 1-10 od 10 Rezultati/stranica

Godina	Naslov	Autor(i)	Tip rezultata	Mp-kat.
2024	Towards Enhanced Autonomous Driving Takeovers: Fuzzy Logic Perspective for Predicting Situational Awareness	Ferenc, Goran Z; Timotijevic, Dragoje; Tanasijevic, Ivana D ; Simic, Danijela	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2021	Formalization of the Poincare Disc Model of Hyperbolic Geometry	Simic, Danijela ; Maric, Filip M ; Boutry, Pierre	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2020	Teaching graduate students how to review research articles and respond to reviewer comments	Banković, 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ć, Miodrag;	Naučni članak	21M21 - Vodeći međunarodni časopis kategorije M21
2019	Programiranje 1 - Zbirka zadataka sa rešenjima (u programskom jeziku C)	Janičić, Vujošević Milena ; Kovačević, Jovana ; Simić, Danijela ; Zečević, Anđelka ; Kocić, Aleksandra	Udžbenik	Mp kategorija će biti prikazana naknadno.
2019	Formalizing Algebrization of Geometry Statements	Simić, Danijela D.	Naučni članak	Mp kategorija će biti prikazana naknadno.
2015	Using Small-Step Refinement for Algorithm Verification in Computer Science Education	Petrović, Danijela	Naučni članak	24+M24+ - Međunarodni časopis kategorije M24+
2014	Using Small-Step Refinement For Algorithm - Verification In Computer Science Education	Petrović, Danijela	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2014	Formalizing complex plane geometry	Marić, Filip ; Simić, Danijela	Naučni članak	22M22 - Međunarodni časopis kategorije M22
2012	Formalizing Analytic Geometries	Marić, Filip ; Petrović, Danijela	Konferencijski rad	Mp kategorija će biti prikazana naknadno.
2012	Formalization and Implementation of Algebraic Methods in Geometry	Marić, Filip ; Petrović, Ivan; Simić, Danijela ; Janičić, Predrag	Konferencijski rad	Mp kategorija će biti prikazana naknadno.