еНаука - преглед

Преглед према Аутор Ivetić, Jelena

Приказ резултата 1 до 20 од 72  следеће >
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2012A journey through resource control lambda calculi and explicit substitution using intersection typesGhilezan, Silvia  ; Ivetic, Jelena  ; Lescanne, Pierre; Likavec, Silvia  Article
Mp. category will be shown later
2023Algoritmi klaster analize sa primenomGalogaža, Dragana; Ivetić, Jelena  Article
53M53
2015An optimisation of lambda type assignments via resource controlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Conference Paper
Mp. category will be shown later
2015An optimization of lambda type assignment via resource controlIvetić, Jelena  ; Ghilezan, Silvia ; Savić, NenadConference Paper
Mp. category will be shown later
2015An Optimization of Lambda Type assignments via Resource ControlGilezan, Silvia  ; Ivetić, Jelena  ; Savić, Nenad Article
Mp. category will be shown later
2019Analiza prijemnog ispita iz matematike na FTNIvetić, Jelena B.  ; Delić, Marija D.  ; Kovačević, Ilija Conference Paper
Mp. category will be shown later
2014Approaching substructural term calculi via the resource control calculusGilezan, Silvia  ; Ivetić, Jelena  ; Likavec, Silvia  ; Pierre LescanneConference Paper
Mp. category will be shown later
2021Assessment of international trade-related transport CO2 emissions – A logistics responsibility perspectiveSTOJANOVIĆ, ĐURĐICA M.  ; Jelena Ivetić  ; VELIČKOVIĆ, MARKO S.  Article
22M22
2016Bajesove mreže - modeliranje u Netici i primer primene na tenisDojić, Ivana; Ivetić, Jelena  Article
53M53
2008Characterising strongly normalising intuitionistic sequent termsEspírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena  Article
Mp. category will be shown later
2012Characterising Strongly Normalising Intuitionistic TermsSanto, José Espírito; Ivetić, Jelena  ; Likavec, Silvia  Article
22M22
2024Characteristics of Multisystem Inflammatory Syndrome in Children Across COVID-19 Variants in VojvodinaVijatov-Djuric, Gordana V  ; Milanovic, Borko D  ; Barisic, Nenad A  ; Ivetic, Jelena B  ; Djuretic, Andrea M; Kesic, Jelena  ; Lezakov, Ognjen  ; Vorgucin, Ivana  ; Vilotijevic-Dautovic, Gordana M  ; Ristic, Mioljub  ;
Koprivsek, Katarina M  ; Stojanovic, Vesna D  ;
Article
21M21
2014Church-Rosser Theorem for sequent lambda calculiGhilezan, Silvia ; Ivetić, Jelena  ; Likaves, SilviaConference Paper
Mp. category will be shown later
2022Clones of Nondeterministic OperationsČolić Oravec, JelenaDoctoral theses
70M70
2025Comparative Meta-Analysis of Survival, Risk, and Treatment Efficacy in Immunotherapy for Metastatic Melanoma Using Random-, Fixed-, and Mixed-Effects ModelsIvetić, Jelena B.  ; Dedeić, Jovana  ; Milićević, Srđan Lj.  ; Vidojević, Katarina  ; Delić, Marija D.  Научна критика и полемика
21M21 - Водећи међународни часопис категорије M21
2010Computational Interpretations of Some Substructural LogicsIvetić, Jelena  ; Lescanne, PierreКонференцијски рад
Мп категорија ће бити приказана накнадно.
2019Concentration of nitrates in public water systems and gastrointestinal cancer incidence in the municipalities of Bogatic and LjubovijaDragičević, Igor; Srećković, Marijana; Backović, Dušan  ; Ivetić, Jelena  ; Lazić, Vesna; Pajić-Nikolić, Ljubica; Bogdanović-Vasić, Slobodanka; Damnjanović, BojanКонференцијски рад
Мп категорија ће бити приказана накнадно.
2013Constructive approach to relevant and affine term calculiGilezan, Silvia  ; Ivetić, Jelena  ; Pierre Lescanne; Likavec, Silvia  Конференцијски рад
Мп категорија ће бити приказана накнадно.
2020Formal modeling and analysis of resource usage and sharing in distributed software systemsProkić, Ivan  Докторска дисертација
70M70 - Одбрањена докторска дисертација
2012Formalni računi sa kontrolom resursaIvetić, Jelena  Конференцијски рад
Мп категорија ће бити приказана накнадно.
Приказ резултата 1 до 20 од 72  следеће >