dblp.uni-trier.dewww.uni-trier.de

Lavinia Egidi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
16EELavinia Egidi, Paolo Terenziani: A modular approach to user-defined symbolic periodicities. Data Knowl. Eng. 66(1): 163-198 (2008)
2006
15EELavinia Egidi, Paolo Terenziani: A mathematical framework for the semantics of symbolic languages representing periodic time. Ann. Math. Artif. Intell. 46(3): 317-347 (2006)
14EELavinia Egidi, Marco Furini: From digital audiobook to secure digital multimedia-book. Computers in Entertainment 4(3): (2006)
13EELavinia Egidi, Marinella Petrocchi: Modelling a Secure Agent with Team Automata. Electr. Notes Theor. Comput. Sci. 142: 111-127 (2006)
2005
12EELavinia Egidi, Paolo Terenziani: A flexible approach to user-defined symbolic granularities in temporal databases. SAC 2005: 592-597
2004
11EELavinia Egidi, Paolo Terenziani: Orthogonal Operators for User-Defined Symbolic Periodicities. AIMSA 2004: 137-147
10EELavinia Egidi, Giovanni Porcelli: Anonymity and certification: e-mail, a case study. SAC 2004: 397-403
9EELavinia Egidi, Paolo Terenziani: A Lattice of Classes of User-Defined Symbolic Periodicities. TIME 2004: 13-20
8EELavinia 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
6EELavinia 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
4EELavinia 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)