Lavinia Egidi

According to our database, Lavinia Egidi authored at least 31 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

SecuriDN: a customizable GUI generating cybersecurity models for DER control architectures.

Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia, Davide Savarro

Proceedings of the 8th Italian Conference on Cyber Security (ITASEC 2024), 2024

2022

Space Efficient Merging of de Bruijn Graphs and Wheeler Graphs.

Lavinia Egidi, Felipe A. Louza, Giovanni Manzini

Algorithmica, 2022

Multiparty-session-types Coordination for Core Erlang.

Lavinia Egidi, Paola Giannini, Lorenzo Ventura

Proceedings of the 17th International Conference on Software Technologies, 2022

2020

Lightweight merging of compressed indices based on BWT variants.

Lavinia Egidi, Giovanni Manzini

Theor. Comput. Sci., 2020

2019

External memory BWT and LCP computation for sequence collections with applications.

Lavinia Egidi, Felipe A. Louza, Giovanni Manzini, Guilherme P. Telles

Algorithms Mol. Biol., 2019

Space-Efficient Merging of Succinct de Bruijn Graphs.

Lavinia Egidi, Felipe A. Louza, Giovanni Manzini

Proceedings of the String Processing and Information Retrieval, 2019

A Bayesian Network Approach for the Interpretation of Cyber Attacks to Power Systems.

Davide Cerotti, Daniele Codetta Raiteri, Giovanna Dondossola, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Roberta Terruggia

Proceedings of the Third Italian Conference on Cyber Security, 2019

Analysis and Detection of Cyber Attack Processes targeting Smart Grids.

Davide Cerotti, Daniele Codetta Raiteri, Lavinia Egidi, Giuliana Franceschinis, Luigi Portinale, Giovanna Dondossola, Roberta Terruggia

Proceedings of the 2019 IEEE PES Innovative Smart Grid Technologies Europe, 2019

2017

Lightweight BWT and LCP Merging via the Gap Algorithm.

Lavinia Egidi, Giovanni Manzini

Proceedings of the String Processing and Information Retrieval, 2017

2015

Multiple seeds sensitivity using a single seed with threshold.

Lavinia Egidi, Giovanni Manzini

J. Bioinform. Comput. Biol., 2015

2014

Design and analysis of periodic multiple seeds.

Lavinia Egidi, Giovanni Manzini

Theor. Comput. Sci., 2014

Spaced Seed Design Using Perfect Rulers.

Lavinia Egidi, Giovanni Manzini

Fundam. Informaticae, 2014

2013

Better spaced seeds using Quadratic Residues.

Lavinia Egidi, Giovanni Manzini

J. Comput. Syst. Sci., 2013

2011

Double-exponential inseparability of Robinson subsystem Q₊.

Lavinia Egidi, Giovanni Faglia

J. Symb. Log., 2011

Spaced Seeds Design Using Perfect Rulers.

Lavinia Egidi, Giovanni Manzini

Proceedings of the String Processing and Information Retrieval, 2011

2008

A modular approach to user-defined symbolic periodicities.

Lavinia Egidi, Paolo Terenziani

Data Knowl. Eng., 2008

2006

From digital audiobook to secure digital multimedia-book.

Lavinia Egidi, Marco Furini

Comput. Entertain., 2006

A mathematical framework for the semantics of symbolic languages representing periodic time.

Lavinia Egidi, Paolo Terenziani

Ann. Math. Artif. Intell., 2006

2005

Bringing multimedia contents into MP3 files.

Lavinia Egidi, Marco Furini

IEEE Commun. Mag., 2005

A flexible approach to user-defined symbolic granularities in temporal databases.

Lavinia Egidi, Paolo Terenziani

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

Modelling a Secure Agent with Team Automata.

Lavinia Egidi, Marinella Petrocchi

Proceedings of the First International Workshop on Views on Designing Complex Architectures, 2004

A Lattice of Classes of User-Defined Symbolic Periodicities.

Lavinia Egidi, Paolo Terenziani

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Anonymity and certification: e-mail, a case study.

Lavinia Egidi, Giovanni Porcelli

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Orthogonal Operators for User-Defined Symbolic Periodicities.

Lavinia Egidi, Paolo Terenziani

Proceedings of the Artificial Intelligence: Methodology, 2004

2003

Minimal Information Disclosure in a Centralized Authorization System.

Lavinia Egidi, Giovanni Porcelli

Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

Authentication and Access Delegation with User-Released Certificates.

Lavinia Egidi, Maurizio Melato

Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), 2003

1999

Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions.

Anna Bernasconi, Lavinia Egidi

Inf. Comput., 1999

1998

A quantifier elimination for the theory of <i>p</i>-adic numbers.

Lavinia Egidi

Comput. Complex., 1998

1993

The Complexity of the Theory of p-adic Numbers

Lavinia Egidi

Proceedings of the 34th Annual Symposium on Foundations of Computer Science, 1993

1992

Operational, denotational and logical descriptions: a case study.

Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca

Fundam. Informaticae, 1992

1991

The lazy call-by-value Lamda-Calculus.

Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991