Истраживачи
Ivetić, Jelena
Година
- 55 2000 - 2027
Мп-кат.
- 27 M30/M60
- 7 M20/M50
- 5 M21 - Водећи међународни часопис категорије M21
- 5 M22 - Међународни часопис категорије M22
- 3 M21a - Водећи међународни часопис категорије M21a
- 3 M53 - Национални часопис категорије M53
- 2 остало
- 1 M10/M40
- 1 M23 - Међународни часопис категорије M23
- 1 M70 - Одбрањена докторска дисертација
- следећи >
Година - распон
Резултати 41-55 од 55
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia   ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena | Докторска дисертација | 70M70 - Одбрањена докторска дисертација |
| 2013 | Resource control and strong normalisation | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2013 | Resource aware computing with proofs | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; 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 | Ghilezan, Silvia ; Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Научни чланак | 22M22 - Међународни часопис категорије M22 |
| 2012 | Formalni računi sa kontrolom resursa | Ivetić, Jelena | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2010 | Computational Interpretations of Some Substructural Logics | Ivetić, Jelena ; Lescanne, Pierre | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2007 | Intersection types for λGtz-calculus | Ghilezan, Silvia ; Ivetić, Jelena | Научни чланак | Мп категорија ће бити приказана накнадно. |