Ivetić, Jelena

Type

Date issued

Mp-cat.

Date issued - custom

Year from:

Year to:

Results 21-40 of 55 Results/Page

Issue Date	Title	Author(s)	Type	Мp-cat.
2018	Preface	Ghilezan, Silvia ; Geuvers, Herman; Ivetić, Jelena	Other	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
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
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
2016	Probabilistic reasoning in type systems	Ghilezan, 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	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	Bajesove mreže - modeliranje u Netici i primer primene na tenis	Dojić, Ivana; Ivetić, Jelena	Article	53M53
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
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	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 optimization of lambda type assignment via resource control	Ivetić, Jelena ; Ghilezan, Silvia ; 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
2014	Zbirka rešenih zadataka iz verovatnoće i statistike	Gilezan, Silvia ; Lužanin, Zorana ; Grbić, Tatjana ; Mihailović, Biljana ; Nedović, Ljubo ; Ovcin, Zoran ; Ivetić, Jelena ; Дорословачки, Ксенија	Text book	Mp. category will be shown later
2014	Resource control and intersection types: an intrinsic connection	Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia	Article	Mp. category will be shown later
2014	Some Advantages of the Lambda Calculi with Resourse Control	Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne	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
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
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