 | 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): (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 |
