Edit Profile (opens in new tab) Likavec, Silvia Compute Distance To: Compute Author ID: likavec.silvia Published as: Likavec, Silvia External Links: MGP Documents Indexed: 9 Publications since 2003 Co-Authors: 8 Co-Authors with 9 Joint Publications 182 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Ghilezan, Silvia 3 Lescanne, Pierre 2 Bettini, Lorenzo 2 Bono, Viviana 2 Ivetić, Jelena 1 Dezani-Ciancaglini, Mariangiola 1 Dougherty, Daniel J. 1 Espírito Santo, José Carlos Serials 1 Publications de l’Institut Mathématique. Nouvelle Série 1 Theoretical Computer Science 1 Fundamenta Informaticae Fields 7 Mathematical logic and foundations (03-XX) 5 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 20 times in 16 Documents Cited by ▼ Year ▼ Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia 7 2004 Strong normalization of the dual classical sequent calculus. Zbl 1143.03360Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia 4 2005 A core calculus of higher-order mixins and classes. Zbl 1100.68544Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia 3 2004 Characterising strongly normalising intuitionistic terms. Zbl 1277.03003Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia 3 2012 Safe object composition in the presence of subtyping. Zbl 1171.68413Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia 1 2005 Intersection types for the resource control lambda calculi. Zbl 1351.03008Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia 1 2011 Computational interpretations of logics. Zbl 1313.03002Ghilezan, Silvia; Likavec, Silvia 1 2009 Characterising strongly normalising intuitionistic terms. Zbl 1277.03003Espírito Santo, José; Ivetić, Jelena; Likavec, Silvia 3 2012 Intersection types for the resource control lambda calculi. Zbl 1351.03008Ghilezan, Silvia; Ivetić, Jelena; Lescanne, Pierre; Likavec, Silvia 1 2011 Computational interpretations of logics. Zbl 1313.03002Ghilezan, Silvia; Likavec, Silvia 1 2009 Strong normalization of the dual classical sequent calculus. Zbl 1143.03360Dougherty, Daniel; Ghilezan, Silvia; Lescanne, Pierre; Likavec, Silvia 4 2005 Safe object composition in the presence of subtyping. Zbl 1171.68413Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia 1 2005 Behavioural inverse limit \(\lambda\)-models. Zbl 1055.03014Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Likavec, Silvia 7 2004 A core calculus of higher-order mixins and classes. Zbl 1100.68544Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia 3 2004 all cited Publications top 5 cited Publications all top 5 Cited by 31 Authors 3 Alessi, Fabio 2 Bettini, Lorenzo 2 Bono, Viviana 2 Dezani-Ciancaglini, Mariangiola 2 Ghilezan, Silvia 2 Lescanne, Pierre 2 Venneri, Betti 2 Lima Ventura, Daniel 1 Alpuim, Joao 1 Ayala-Rincón, Mauricio 1 Barbanera, Franco 1 Berardi, Stefano 1 de’Liguoro, Ugo 1 Devesas Campos, Marco 1 Dougherty, Daniel J. 1 Fernández, Maribel 1 Fiore, Marcelo P. 1 Ivetić, Jelena 1 Kesner, Delia 1 Lengrand, Stéphane Jean Eric 1 Likavec, Silvia 1 Lusin, Stefania 1 Miquel, Alexandre 1 Oliveira, Bruno C.d. S. 1 Paolini, Luca 1 Piccolo, Mauro 1 Rocha-Oliveira, Ana Cristina 1 Ronchi Della Rocca, Simona 1 Shi, Zhiyuan 1 van Bakel, Steffen 1 Wilkie, Alex James all top 5 Cited in 6 Serials 6 Theoretical Computer Science 2 Annals of Pure and Applied Logic 1 Acta Informatica 1 Science of Computer Programming 1 MSCS. Mathematical Structures in Computer Science 1 The Bulletin of Symbolic Logic Cited in 4 Fields 12 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) Citations by Year