Ivetić, Jelena

Type

Date issued

59 2000 - 2027

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 21-40 of 59 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2019	The golden section in Gompertz mortality model	Mihailović, Biljana ; Ivetić, Jelena ; Doroslovački, Ksenija	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
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
2018	Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savic, Nenad	Conference Paper	Mp. category will be shown later
2018	Towards probabilistic reasoning about typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2018	Preface	Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena	Other	Mp. category will be shown later
2017	Towards Probabilistic reasoning about simply typed lambda terms	Gilezan, Silvia K. ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2017	Understanding the determinants of e-business adoption in ERP-enabled firms and non-ERP-enabled firms: A case study of the Western Balkan Peninsula	Ilin, Vladimir ; Ivetić, Jelena ; Simić, Dragan	Article	21aM21a
2016	Bajesove mreže - modeliranje u Netici i primer primene na tenis	Dojić, Ivana; Ivetić, Jelena	Article	53M53
2016	Towards probabilistic reasoning about lambda terms with intersection types	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2016	Probabilistic reasoning in types systems	Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2016	Probabilistic reasoning in type systems	Ghilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2015	Structural rules and resource control in logic and computation	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	Book parts	Mp. category will be shown later
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	Intersection Types Fit Well with Resource Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	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
2015	Normalisation in substructural term calculi	Gilezan, Silvia ; Ivetić, Jelena ; Savić, Nenad	Conference Paper	Mp. category will be shown later
2014	Internationalisation of Doctoral education - a good practise	Gilezan, Silvia ; Ivetić, Jelena ; Marković, Zoran; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; Stojaković, Mila	Conference Paper	Mp. category will be shown later
2014	Church-Rosser Theorem for sequent lambda calculi	Ghilezan, Silvia ; Ivetić, Jelena ; Likaves, Silvia	Conference Paper	Mp. category will be shown later