| 2026 | PADS | Attack Graph driven Discrete Event Simulation for Security Assessment in Power Systems. | Davide Savarro, Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia |
| 2022 | ICSoft | Multiparty-session-types Coordination for Core Erlang. | Lavinia Egidi, Paola Giannini, Lorenzo Ventura |
| 2019 | SPIRE | Space-Efficient Merging of Succinct de Bruijn Graphs. | Lavinia Egidi, Felipe A. Louza, Giovanni Manzini |
| 2018 | WABI | External memory BWT and LCP computation for sequence collections with applications. | Lavinia Egidi, Felipe A. Louza, Giovanni Manzini, Guilherme P. Telles |
| 2017 | SPIRE | Lightweight BWT and LCP Merging via the Gap Algorithm. | Lavinia Egidi, Giovanni Manzini |
| 2011 | SPIRE | Spaced Seeds Design Using Perfect Rulers. | Lavinia Egidi, Giovanni Manzini |
| 2005 | SAC | A flexible approach to user-defined symbolic granularities in temporal databases. | Lavinia Egidi, Paolo Terenziani |
| 2004 | AIMSA | Orthogonal Operators for User-Defined Symbolic Periodicities. | Lavinia Egidi, Paolo Terenziani |
| 2004 | SAC | Anonymity and certification: e-mail, a case study. | Lavinia Egidi, Giovanni Porcelli |
| 2004 | TIME | A Lattice of Classes of User-Defined Symbolic Periodicities. | Lavinia Egidi, Paolo Terenziani |
| 2004 | TIME | A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. | Lavinia Egidi, Paolo Terenziani |
| 2003 | SAC | Authentication and Access Delegation with User-Released Certificates. | Lavinia Egidi, Maurizio Melato |
| 1993 | FOCS | The Complexity of the Theory of p-adic Numbers | Lavinia Egidi |
| 1991 | MFCS | The lazy call-by-value Lamda-Calculus. | Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca |