Browsing eNauka
Browsing by Author Ivetić, Jelena
Showing results 1 to 20 of 68
next >
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia   ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Article | Mp. category will be shown later |
| 2023 | Algoritmi klaster analize sa primenom | Galogaža, Dragana; Ivetić, Jelena | Article | 53M53 |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2015 | An optimization of lambda type assignment via resource control | Ivetić, Jelena ; Ghilezan, Silvia ; Savić, Nenad | Conference Paper | Mp. category will be shown later |
| 2015 | An Optimization of Lambda Type assignments via Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad | Article | Mp. category will be shown later |
| 2019 | Analiza prijemnog ispita iz matematike na FTN | Ivetić, Jelena B. ; Delić, Marija D. ; Kovačević, Ilija | Conference Paper | Mp. category will be shown later |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Conference Paper | Mp. category will be shown later |
| 2021 | Assessment of international trade-related transport CO2 emissions – A logistics responsibility perspective | STOJANOVIĆ, ĐURĐICA M. ; Jelena Ivetić ; VELIČKOVIĆ, MARKO S. | Article | 22M22 |
| 2016 | Bajesove mreže - modeliranje u Netici i primer primene na tenis | Dojić, Ivana; Ivetić, Jelena | Article | 53M53 |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Article | Mp. category will be shown later |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Article | 22M22 |
| 2024 | Characteristics of Multisystem Inflammatory Syndrome in Children Across COVID-19 Variants in Vojvodina | Vijatov-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 |
| 2014 | Church-Rosser Theorem for sequent lambda calculi | Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia | Conference Paper | Mp. category will be shown later |
| 2022 | Clones of Nondeterministic Operations | Čolić Oravec, Jelena | Doctoral theses | 70M70 |
| 2025 | Comparative Meta-Analysis of Survival, Risk, and Treatment Efficacy in Immunotherapy for Metastatic Melanoma Using Random-, Fixed-, and Mixed-Effects Models | Ivetić, Jelena B. ; Dedeić, Jovana ; Milićević, Srđan Lj. ; Vidojević, Katarina ; Delić, Marija D. | Reviews | 21M21 |
| 2010 | Computational Interpretations of Some Substructural Logics | Ivetić, Jelena ; Lescanne, Pierre | Conference Paper | Mp. category will be shown later |
| 2019 | Concentration of nitrates in public water systems and gastrointestinal cancer incidence in the municipalities of Bogatic and Ljubovija | Dragičević, Igor; Srećković, Marijana; Backović, Dušan ; Ivetić, Jelena ; Lazić, Vesna; Pajić-Nikolić, Ljubica; Bogdanović-Vasić, Slobodanka; Damnjanović, Bojan | Conference Paper | Mp. category will be shown later |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Conference Paper | Mp. category will be shown later |
| 2020 | Formal modeling and analysis of resource usage and sharing in distributed software systems | Prokić, Ivan | Doctoral theses | 70M70 |
| 2012 | Formalni računi sa kontrolom resursa | Ivetić, Jelena | Conference Paper | Mp. category will be shown later |