Lavinia Egidi's publications
|
Computer Science Institute
|
Approximate Pattern Matching
L. Egidi, G. Manzini, Multiple seeds sensitivity using a single seed with threshold, J. Bioinformatics and Computational Biology, 13(4) (2015), DOI 10.1142/S0219720015500110.
L. Egidi, G. Manzini, Design and analysis of periodic multiple seeds, Theoretical Computer Science 522 (2014) 62-76.
L. Egidi, G. Manzini, Spaced seed design using perfect rulers, Fundam. Inform. 131 (2), 2014, ISSN 0169-2968 (Print), 1875-8681 (Online), DOI 10.3233/FI-2014-1009.
L.Egidi, G.Manzini, Better Spaced Seeds Using Quadratic Residues, Journal of Computer and System Sciences 79 (2013), pp. 1144-1155. DOI information: 10.1016/j.jcss.2013.03.002
L.Egidi, G.Manzini, Spaced Seeds Design Using Perfect Rulers, International Symposium on String Processing and Information Retrieval, October 17-21,2011, SPIRE 2011: 32-43.
Presburger Arithmetic
L. Egidi, G. Faglia, Double Exponential Inseparability of Robinson's Subsystem Q+, J. Symbolic Logic Volume 76, Issue 1 (2011), 94-124.
Security
SCADA systems
A.Bobbio, L.Egidi, R.Terruggia, E.Ciancamerla, M.Minichino, Weighted attack tree for the cybersecurity analysis of SCADA systems, DHSS 2013, Athens (Greece), September 25-27,2013.
A.Bobbio, L.Egidi, R. Terruggia, A methodology for qualitative/quantitative analysis of weighted attack trees, DCDS 2013, University of York, UK, September 4-6, 2013.
Dematerialization of documental flows
L. Egidi, La posta elettronica. Considerazioni tecniche, in: A. Villecco, Gli strumenti telematici di conoscenza dei fatti e degli atti giuridici, Gedit Edizioni, 2006.
L.Egidi, M.Furini, From Digital Audiobook to Secure Digital Multimedia-book, ACM Computers in Entertainment, Vol. 4, No. 3, July 2006. ACM Computer Press. ISSN: 1544-3574
L. Egidi, M. Furini, The digital restyling of audiobooks, Communication Systems and Networks (CSN 2005), 2005.
Technical responses to legal requirements
L.Egidi, G. Porcelli, Policy Based Anonymous Channels, Technical Report, Dipartimento di Informatica, Università degli Studi del Piemonte Orientale, TR-INF-2005-11-05-UNIPMN
L. Egidi, G. Porcelli: Anonymity and certification: e-mail, a case study. ACM SAC 2004: 397-403
L. Egidi, G. Porcelli: Minimal Information Disclosure in a Centralized Authorization System. Proc. SecCo'03, Electr. Notes Theor. Comput. Sci. 85(3): (2003)
Low cost security solutions:
L. Egidi, P. Lova, G. Porcelli, Decentralized rate-limiting of outbound e-mail, CCN 2004.
L. Egidi, M. Melato, "Authentication and Access Delegation wit User-Released Certificates", Proc. of the 2003 ACM Symposium on Applied Computing, 2003, 288-293.(.pdf)
F. Bergadano, D. Cavagnino, L. Egidi. Partially sighted signatures on large documents. International Network Conference 2002, 16 - 18th July 2002, University of Plymouth, UK, pp. 373-380.
Protecting software in hostile environment
L. Egidi, M. Petrocchi: Modelling a secure agent with team automata, Proc. VODCA 2004, Electr. Notes Theor. Comput. Sci. : (2004)
L. Egidi, M.Furini, Bringing Multimedia Contents into MP3 Files, IEEE Communications Magazine, special issue on Entertainment Everywhere: System and Networking Issues in Emerging Network-Centric Entertainment Systems. Vol. 43, No. 5, pp. 90-97, May 2005. ISSN: 0163-6804.
L. Egidi, M. Furini, An Architecture to Securely Enrich and Distribute MP3 over the Internet, CCN 2004.
Temporal Representation
L.Egidi, P. Terenziani, Terenziani, A modular approach to user-defined symbolic periodicities, Data Knowledge and Engineering, Volume 66, Number 1, 2008, 163 - 198.
L. Egidi, P. Terenziani, A mathematical framework for the semantics of symbolic languages representing periodic time, Annals of Mathematics and Artificial Intelligence, 46(3): 317-347, 2006, ISSN: 1012-2443 (Paper) 1573-7470 (Online) DOI: 10.1007/s10472-006-9021-6
L. Egidi, P. Terenziani, A flexible approach to userdefined symbolic granularities in temporal databases, 20th ACM Symposium on Applied Computing (SAC'05), 2005.
L. Egidi, P. Terenziani: Orthogonal Operators for User-Defined Symbolic Periodicities. AIMSA 2004, LNAI 3192, 137-147
L. Egidi and P. Terenziani, A mathematical framework for the semantics of symbolic languages representing periodic time, TIME'04: 21-27.
L. Egidi and P. Terenziani, A lattice of classes of user-defined symbolic periodicities, TIME'04: 13-20, 2004.
p-adic numbers
L. Egidi "A quantifier elimination for the theory of p-adic numbers" Computational Complexity, 7, 1998, 205-263.(.pdf)
L. Egidi "Efficient Quantifier Elimination in p-adic Fields" Invited Talk, Workshop on Proof Theory, Complexity, Metamathematics, April 5-8, 1994, Vienna (Austria).
L. Egidi "La complessità| della teoria dei numeri p-adici" Tesi di Dottorato, Dottorato di Ricerca in Informatica delle Università| di Torino e Milano, Italy, February 1994 (in Italian).
L. Egidi "The Complexity of the Theory of p-adic Numbers" IEEE Proceeding of FOCS 93, 1993, 412-421.
Lower bounds and algebraic geometry
A. Bernasconi, L. Egidi: Hilbert Function and Complexity Lower Bounds for Symmetric Boolean Functions. Inf. Comput. 153(1): 1-25 (1999)
A. Bernasconi, L.Egidi "Algebraic geometry tools for complexity lower bounds: the case of symmetric functions", Technical Report of Dipartimento di Informatica, Universit\`a degli Studi di Torino, RT 42/97, 1997.
A. Bernasconi, B. Codenotti, L. Egidi "On the Hilbert Function of Zero Sets of Boolean Functions", Technical Report of CNR's Istituto di Matematica Computazionale no. IMC B4-96-06, 1996.
Extraction of Fractal Features
M. Baldoni, C. Baroglio, D. Cavagnino, L. Egidi "Learning to classify images by means of Iterated Function Systems", in Fractals and beyond: complexities in the sciences, Miroslav M. Novak (Ed.), World Scientific, 1998, 173-182.
Lambda calculus
L. Egidi, F. Honsell, S. Ronchi della Rocca "Operational, Denotational and Logical Descriptions: A Case Study", Fundamenta Informaticae 16, 1992, 149-169.
L. Egidi, F. Honsell, S. Ronchi della Rocca "The lazy call-by-value lambda calculus", Mathematical Foundations of Computer Science 1991, A. Tarlecki (ed.), Lecture Notes in Computer Science 520, Springer, 1991, 161-169.
L. Egidi, G. Mascari "Completeness, Structural Rules and Types", Proceedings of the Third Italian Conference on Theoretical Computer Science, Mantova November 2-4, 1989, Eds: A. Bertoni, C. Boehm and P. Miglioli, World Scientific, 1989.