| 2025 | ICTAC | On Asynchronous Multiparty Session Types for Federated Learning. | Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida |
| 2018 | LFCS | Probabilistic Reasoning About Simply Typed Lambda Terms. | Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic |
| 2017 | PPDP | Characterization of strong normalizability for a sequent lambda calculus with co-control. | Jos Esprito Santo, Silvia Ghilezan |
| 2011 | ICTAC | Intersection Types for the Resource Control Lambda Calculi. | Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec |
| 2008 | POPL | An approach to call-by-name delimited continuations. | Hugo Herbelin, Silvia Ghilezan |
| 2005 | LPAR | Strong Normalization of the Dual Classical Sequent Calculus. | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec |
| 2004 | PPDP | Characterizing strong normalization in a language with control operators. | Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne |
| 2000 | ICALP | Intersection Types and Topologies and Lambda Calculus. | Silvia Ghilezan |
| 1994 | LFCS | Application of Typed Lambda Calculi in the Untyped Lambda Calculus. | Silvia Ghilezan |