Истраживачи
Ivetić, Jelena
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2020 | Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case | Ghilezan, Silvia   ; Ivetić, Jelena ; Kašterović, Simona ; Ognjanović, Zoran ; Savić, Nenad | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | The golden section in Gompertz mortality model | Mihailović, Biljana ; Ivetić, Jelena ; Doroslovački, Ksenija | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Analiza prijemnog ispita iz matematike na FTN | IVETIĆ, JELENA B. ; DELIĆ, MARIJA D. ; Ilija Kovačević | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2019 | Incoterms clauses in trade between Serbia and the neighbouring countries | STOJANOVIĆ, ĐURĐICA M. ; Marko Veličković; IVETIĆ, JELENA B. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; Nenad Savic | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2018 | Towards probabilistic reasoning about typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Zoran Ognjanović ; Nenad Savić | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2017 | Towards Probabilistic reasoning about simply typed lambda terms | Gilezan, Silvia K. ; IVETIĆ, JELENA B. ; KAŠTEROVIĆ, SIMONA Đ. ; Ognjanović, Zoran D. ; SAVIĆ, NENAD D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Probabilistic reasoning in types systems | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2016 | Towards probabilistic reasoning about lambda terms with intersection types | Gilezan, Silvia ; Ivetić, Jelena ; Ognjanović, Zoran ; SAVIĆ, NENAD D. | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Normalisation in substructural term calculi | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | An optimisation of lambda type assignments via resource control | Gilezan, Silvia ; Ivetić, Jelena ; SAVIĆ, NENAD | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2015 | Intersection Types Fit Well with Resource Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Approaching substructural term calculi via the resource control calculus | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Some Advantages of the Lambda Calculi with Resourse Control | Gilezan, Silvia ; Ivetić, Jelena ; Likavec, Silvia ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2014 | Internationalisation of Doctoral education - a good practise | Gilezan, Silvia ; Ivetić, Jelena ; Zoran Marković; Ognjanović, Zoran ; Pantović, Jovanka ; Davidović, Tatjana ; M. Lenisa; STOJAKOVIĆ, MILA | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Computational interpretations of some substructural logics | Ivetić, Jelena ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource aware computing with proofs | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | The resource control and strong normalisation | Silvia Ghilezan ; Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |