Lavinia Egidi

	2011
18		Lavinia Egidi, Giovanni Manzini: Spaced Seeds Design Using Perfect Rulers. SPIRE 2011: 32-43
17		Lavinia Egidi, Giovanni Faglia: Double-exponential inseparability of Robinson subsystem Q+. J. Symb. Log. 76(1): 94-124 (2011)
	2008
16		Lavinia Egidi, Paolo Terenziani: A modular approach to user-defined symbolic periodicities. Data Knowl. Eng. 66(1): 163-198 (2008)
	2006
15		Lavinia Egidi, Paolo Terenziani: A mathematical framework for the semantics of symbolic languages representing periodic time. Ann. Math. Artif. Intell. 46(3): 317-347 (2006)
14		Lavinia Egidi, Marco Furini: From digital audiobook to secure digital multimedia-book. Computers in Entertainment 4(3): (2006)
13		Lavinia Egidi, Marinella Petrocchi: Modelling a Secure Agent with Team Automata. Electr. Notes Theor. Comput. Sci. 142: 111-127 (2006)
	2005
12		Lavinia Egidi, Paolo Terenziani: A flexible approach to user-defined symbolic granularities in temporal databases. SAC 2005: 592-597
	2004
11		Lavinia Egidi, Paolo Terenziani: Orthogonal Operators for User-Defined Symbolic Periodicities. AIMSA 2004: 137-147
10		Lavinia Egidi, Giovanni Porcelli: Anonymity and certification: e-mail, a case study. SAC 2004: 397-403
9		Lavinia Egidi, Paolo Terenziani: A Lattice of Classes of User-Defined Symbolic Periodicities. TIME 2004: 13-20
8		Lavinia Egidi, Paolo Terenziani: A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. TIME 2004: 21-27
	2003
7		Lavinia Egidi, Maurizio Melato: Authentication and Access Delegation with User-Released Certificates. SAC 2003: 288-293
6		Lavinia Egidi, Giovanni Porcelli: Minimal Information Disclosure in a Centralized Authorization System. Electr. Notes Theor. Comput. Sci. 85(3): 89-104 (2003)
	1999
5		Anna Bernasconi, Lavinia Egidi: Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions. Inf. Comput. 153(1): 1-25 (1999)
	1998
4		Lavinia Egidi: A quantifier elimination for the theory of p-adic numbers. Computational Complexity 7(3): 205-263 (1998)
	1993
3		Lavinia Egidi: The Complexity of the Theory of p-adic Numbers FOCS 1993: 412-421
	1992
2		Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca: Operational, denotational and logical descriptions: a case study. Fundam. Inform. 16(1): 149-169 (1992)
	1991
1		Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca: The lazy call-by-value Lamda-Calculus. MFCS 1991: 161-169

Coauthor Index

1	Anna Bernasconi	[5]
2	Giovanni Faglia	[17]
3	Marco Furini	[14]
4	Furio Honsell	[1] [2]
5	Giovanni Manzini	[18]
6	Maurizio Melato	[7]
7	Marinella Petrocchi	[13]
8	Giovanni Porcelli	[6] [10]
9	Simona Ronchi Della Rocca	[1] [2]
10	Paolo Terenziani	[8] [9] [11] [12] [15] [16]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page