Cristina Sirangelo

Assistant Professor
 
École Normale Supérieure de Cachan
Laboratoire Spécification et Vérification
61 avenue du Président Wilson
94235 CACHAN Cedex — France
 
E-mail: cristina.sirangelo at lsv.ens-cachan.fr
 
Phone: +33 1 47 40 77 86
Fax: +33 1 47 40 75 21

My homepage at LSV.

Previous Positions

• Post-doc at Database Group, Laboratory for the Foundations of Computer Science, School of Informatics at the University of Edinburgh
• Post-Doc at INRIA Saclay, Gemo Team
• Ph.D at the Dipartimento di Elettronica Informatica e Sistemistica, Università della Calabria

Research Interests

• Database theory: data exchange and integration, data stream processing, data summarization
• Logic, automata theory

Selected Publications

DBLP

P. Barcelo, L. Libkin, A. Poggi, C. Sirangelo. XML with Incomplete Information: Models, Properties, and Query Answering, 28th ACM-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2009), Providence (RI), USA, July 2009. To appear. [ pdf ]

L. Libkin, C. Sirangelo. Reasoning about XML with Temporal Logics and Automata, 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008), Doha, Qatar, November 2008, LNAI 5330, pages 97—112. [ pdf ]

L. Libkin, C. Sirangelo. Data Exchange and Schema Mappings in Open and Closed Worlds, 27th ACM-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2008), Vancouver, Canada, June 2008, pp. 139—148. [ pdf ]

L. Segoufin, C. Sirangelo. Constant-memory validation of streaming XML documents against DTDs, 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain, January 2007, pp. 299—313. [ pdf ]

F. Furfaro, G. M. Mazzeo, D. Sacca, C. Sirangelo. Compressed Hierarchical Binary Histograms for Summarizing Multi-dimensional Data, (extended version of SAC05) "The International Journal on Knowledge and Information Systems", KAIS, July 2007. [ pdf ]

F. Furfaro, G. M. Mazzeo, C. Sirangelo. Exploiting cluster analysis for constructing multi-dimensional histograms on both static and evolving data, 10th International Conference on Extending Database Technology (EDBT 2006), Munich, Germany, March 2006, pp. 442—459. [ pdf ]

L. Caroprese, S. Greco, C. Sirangelo, E. Zumpano. Declarative Semantics of Production Rules for Integrity Maintenance, 22nd International Conference on Logic Programming (ICLP 2006), Seattle (WA), USA, August 2006, pp 26—40. [ pdf ]

F. Furfaro, G. M. Mazzeo, D. Sacca, C. Sirangelo. Hierarchical Binary Histograms for Summarizing Multi-Dimensional Data, ACM Symposium on Applied Computing (SAC 2005), Santa Fe (NM), USA, March 2005, pp. 598—603. [ pdf ]

F. Buccafurri, F. Furfaro, D. Sacca, C. Sirangelo. A Quad-Tree Based Multiresolution Approach for Two-dimensional Summary Data, 15th International Conference on Scientific and Statistical Database Management (SSDBM 2003), Cambridge (MA), USA, July 2003, pp. 127—137. [ pdf ]

Ph.D. Thesis

C. Sirangelo. Approximate Query Answering on Multi-dimensional Data, Ph.D. Thesis, University of Calabria, November 2005.