Lavinia Egidi

41 papers A* 1B 1C 7Misc 4Journal 21Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Algorithms for Computing Very Large BWTs: a Short Survey.
The Expanding World of Compressed Data
Diego Díaz-Domínguez, Lavinia Egidi, Veronica Guerrini, Felipe A. Louza, Giovanna Rosone
2025 J jnl
Correct implementation of agent interaction protocols.
Frontiers Comput. Sci.
Federico Bergenti, Lavinia Egidi, Leonardo Galliera, Paola Giannini, Stefania Monica
2025 J jnl
Dynamic Bayesian Networks for the Detection and Analysis of Cyber Attacks to Power Systems.
IEEE Access
Davide Cerotti, Davide Savarro, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
2025 — conf
Risk Assessment Models in Hydroelectric Plants.
EPEW
Davide Cerotti, Lavinia Egidi, Daniele Codetta Raiteri, Marzio Pennisi, Giuliana Franceschinis, Andrea Bobbio, Luigi Portinale, Marco Cappicciola, Edoardo Martino L'Aurora, Noemi Silicato
2024 — conf
SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures.
ITASEC
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro
2022 C conf
Multiparty-session-types Coordination for Core Erlang.
ICSOFT
Lavinia Egidi, Paola Giannini, Lorenzo Ventura
2022 J jnl
Space Efficient Merging of de Bruijn Graphs and Wheeler Graphs.
Algorithmica
Lavinia Egidi, Felipe A. Louza, Giovanni Manzini
2020 J jnl
Lightweight merging of compressed indices based on BWT variants.
Theor. Comput. Sci.
Lavinia Egidi, Giovanni Manzini
2020 J jnl
Space efficient merging of de Bruijn graphs and Wheeler graphs.
CoRR
Lavinia Egidi, Felipe A. Louza, Giovanni Manzini
2019 — conf
A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems.
ITASEC
Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia
2019 — conf
Analysis and Detection of Cyber Attack Processes targeting Smart Grids.
ISGT Europe
Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia
2019 J jnl
External memory BWT and LCP computation for sequence collections with applications.
Algorithms Mol. Biol.
Lavinia Egidi, Felipe A. Louza, Giovanni Manzini, Guilherme P. Telles
2019 J jnl
Lightweight merging of compressed indices based on BWT variants.
CoRR
Lavinia Egidi, Giovanni Manzini
2019 C conf
Space-Efficient Merging of Succinct de Bruijn Graphs.
SPIRE
Lavinia Egidi, Felipe A. Louza, Giovanni Manzini
2019 J jnl
Space-efficient merging of succinct de Bruijn graphs.
CoRR
Lavinia Egidi, Felipe A. Louza, Giovanni Manzini
2018 C conf
External memory BWT and LCP computation for sequence collections with applications.
WABI
Lavinia Egidi, Felipe A. Louza, Giovanni Manzini, Guilherme P. Telles
2018 J jnl
External memory BWT and LCP computation for sequence collections with applications.
CoRR
Lavinia Egidi, Felipe A. Louza, Giovanni Manzini, Guilherme P. Telles
2017 C conf
Lightweight BWT and LCP Merging via the Gap Algorithm.
SPIRE
Lavinia Egidi, Giovanni Manzini
2015 J jnl
Multiple seeds sensitivity using a single seed with threshold.
J. Bioinform. Comput. Biol.
Lavinia Egidi, Giovanni Manzini
2014 J jnl
Design and analysis of periodic multiple seeds.
Theor. Comput. Sci.
Lavinia Egidi, Giovanni Manzini
2014 J jnl
Spaced Seed Design Using Perfect Rulers.
Fundam. Informaticae
Lavinia Egidi, Giovanni Manzini
2013 J jnl
Better spaced seeds using Quadratic Residues.
J. Comput. Syst. Sci.
Lavinia Egidi, Giovanni Manzini
2011 J jnl
Double-exponential inseparability of Robinson subsystem Q
J. Symb. Log.
Lavinia Egidi, Giovanni Faglia
2011 C conf
Spaced Seeds Design Using Perfect Rulers.
SPIRE
Lavinia Egidi, Giovanni Manzini
2008 J jnl
A modular approach to user-defined symbolic periodicities.
Data Knowl. Eng.
Lavinia Egidi, Paolo Terenziani
2006 J jnl
A mathematical framework for the semantics of symbolic languages representing periodic time.
Ann. Math. Artif. Intell.
Lavinia Egidi, Paolo Terenziani
2006 J jnl
From digital audiobook to secure digital multimedia-book.
Comput. Entertain.
Lavinia Egidi, Marco Furini
2005 Misc conf
A flexible approach to user-defined symbolic granularities in temporal databases.
SAC
Lavinia Egidi, Paolo Terenziani
2005 J jnl
Bringing multimedia contents into MP3 files.
IEEE Commun. Mag.
Lavinia Egidi, Marco Furini
2004 C conf
A Lattice of Classes of User-Defined Symbolic Periodicities.
TIME
Lavinia Egidi, Paolo Terenziani
2004 C conf
A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time.
TIME
Lavinia Egidi, Paolo Terenziani
2004 Misc conf
Anonymity and certification: e-mail, a case study.
SAC
Lavinia Egidi, Giovanni Porcelli
2004 — conf
Modelling a Secure Agent with Team Automata.
VODCA@FOSAD
Lavinia Egidi, Marinella Petrocchi
2004 Misc conf
Orthogonal Operators for User-Defined Symbolic Periodicities.
AIMSA
Lavinia Egidi, Paolo Terenziani
2003 Misc conf
Authentication and Access Delegation with User-Released Certificates.
SAC
Lavinia Egidi, Maurizio Melato
2003 — conf
Minimal Information Disclosure in a Centralized Authorization System.
SecCo
Lavinia Egidi, Giovanni Porcelli
1999 J jnl
Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions.
Inf. Comput.
Anna Bernasconi, Lavinia Egidi
1998 J jnl
A quantifier elimination for the theory of
Comput. Complex.
Lavinia Egidi
1993 A* conf
The Complexity of the Theory of p-adic Numbers
FOCS
Lavinia Egidi
1992 J jnl
Operational, denotational and logical descriptions: a case study.
Fundam. Informaticae
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
1991 B conf
The lazy call-by-value Lamda-Calculus.
MFCS
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca