Edit Profile (opens in new tab) Ivetić, Jelena Compute Distance To: Compute Author ID: ivetic.jelena Published as: Ivetić, Jelena; Ivetić, J. Documents Indexed: 7 Publications since 2007 1 Contribution as Editor Co-Authors: 9 Co-Authors with 8 Joint Publications 190 Co-Co-Authors all top 5 Co-Authors 0 single-authored 7 Ghilezan, Silvia 2 Espírito Santo, José Carlos 2 Kašterović, Simona 2 Lescanne, Pierre 2 Likavec, Silvia 2 Ognjanović, Zoran 2 Savić, Nenad 1 Geuvers, Jan Herman 1 Žunić, Dragisa Serials 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Fundamenta Informaticae 1 LIPIcs – Leibniz International Proceedings in Informatics Fields 7 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 5 times in 3 Documents Cited by ▼ Year ▼ Characterising strongly normalising intuitionistic terms. Zbl 1277.03003Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia 3 2012 Intuitionistic sequent-style calculus with explicit structural rules. Zbl 1341.03019Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Žunić, Dragisa 1 2011 Intersection types for the resource control lambda calculi. Zbl 1351.03008Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia 1 2011 Characterising strongly normalising intuitionistic terms. Zbl 1277.03003Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia 3 2012 Intuitionistic sequent-style calculus with explicit structural rules. Zbl 1341.03019Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Žunić, Dragisa 1 2011 Intersection types for the resource control lambda calculi. Zbl 1351.03008Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia 1 2011 all top 5 Cited by 9 Authors 2 Lima Ventura, Daniel 1 Ayala-Rincón, Mauricio 1 Fernández, Maribel 1 Ghilezan, Silvia 1 Ivetić, Jelena 1 Kesner, Delia 1 Lescanne, Pierre 1 Likavec, Silvia 1 Rocha-Oliveira, Ana Cristina Cited in 2 Serials 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science Cited in 2 Fields 2 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) Citations by Year