Istraživači
Ivetić, Jelena
Godina
Mp-kat.
- 27 M30/M60
- 7 M20/M50
- 5 M21 - Vodeći međunarodni časopis kategorije M21
- 5 M22 - Međunarodni časopis kategorije M22
- 3 M21a - Vodeći međunarodni časopis kategorije M21a
- 3 M53 - Nacionalni časopis kategorije M53
- 2 ostalo
- 1 M10/M40
- 1 M23 - Međunarodni časopis kategorije M23
- 1 M70 - Odbranjena doktorska disertacija
- sledeći >
Godina - raspon
Rezultati 41-55 od 55
| Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
|---|---|---|---|---|
| 2013 | Resource aware computing with proofs | Gilezan, Silvia   ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2013 | Resource control and strong normalisation | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2013 | Intesection types and resource control in the intuitionistic sequent lambda calculus | Ivetić, Jelena | Doktorska disertacija | 70M70 - Odbranjena doktorska disertacija |
| 2013 | Constructive approach to relevant and affine term calculi | Gilezan, Silvia ; Ivetić, Jelena ; Pierre Lescanne; Likavec, Silvia | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Characterising Strongly Normalising Intuitionistic Terms | Santo, José Espírito; Ivetić, Jelena ; Likavec, Silvia | Naučni članak | 22M22 - Međunarodni časopis kategorije M22 |
| 2012 | The resource control and strong normalisation | Ghilezan, Silvia ; Ivetić, Jelena | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | A journey through resource control lambda calculi and explicit substitution using intersection types | Ghilezan, Silvia ; Ivetic, Jelena ; Lescanne, Pierre; Likavec, Silvia | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2012 | Formalni računi sa kontrolom resursa | Ivetić, Jelena | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2012 | Intersection types for explicit substitution with resource control | Ivetić, Jelena ; Silvia Gilezan ; Pierre Lescanne; Silvia Likavec | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Intersection types for the resource control lambda calculi | Silvia Ghilezan ; Ivetić, Jelena ; Silvia Likavec ; Pierre Lescanne | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2011 | Intuitionistic sequent-style calculus with explicit structural rules | Gilezan, Silvia ; Žunić, Dragiša ; Ivetić, Jelena ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2010 | Computational Interpretations of Some Substructural Logics | Ivetić, Jelena ; Lescanne, Pierre | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
| 2008 | Characterising strongly normalising intuitionistic sequent terms | Espírito Santo, José; Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Intersection types for intuitionistic lambda-Gentzen calculus | Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |
| 2007 | Intersection types for λGtz-calculus | Ghilezan, Silvia ; Ivetić, Jelena | Naučni članak | Mp kategorija će biti prikazana naknadno. |