Lavinia Egidi - RankMe

41 papers A* 1B 1C 7Misc 4Journal 21Unranked 7

Year	Rank	Type	Title / 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