Cristina Sirangelo

Professor of Computer Science
 
Paris Diderot University - Paris 7
Institut de Recherche en Informatique Fondamentale (IRIF)
E-mail: cristina at liafa.univ-paris-diderot.fr
 

Research Interests

Database theory, logic, automata theory.
For more details see my "Habilitation à diriger des recherches"

Selected Publications

DBLP

Journal papers

  • N. Francis, L. Segoufin and C. Sirangelo. Datalog Rewritings of Regular Path Queries using Views, Logical Methods in Computer Science (LMCS), to appearpdf ]
  • A. Gheerbrant, L. Libkin, C. Sirangelo. Naive evaluation of queries over incomplete databases, ACM Transactions on Database Systems (TODS) 39(4), December 2014. [ pdf ]
  • L. Libkin, C. Sirangelo. Data Exchange and Schema Mappings in Open and Closed Worlds, Journal of Computer and System Sciences (JCSS) 77(3), pages 542—571, 2011. [ pdf ]
  • P. Barcelo, L. Libkin, A. Poggi, C. Sirangelo. XML with Incomplete Information, Journal of the ACM (JACM) 58(1), 2010. [ pdf ]
  • L. Libkin, C. Sirangelo. Reasoning about XML with Temporal Logics and Automata, Journal of Applied Logic (JAL) 8(2), pages 210—232, 2010. [ pdf ]
  • L. Libkin, C. Sirangelo. Disjoint Pattern Matching and Implication in Strings, Information Processing Letters (IPL) 110(4), pages 143—147, 2010. [ pdf ]
  • F. Furfaro, G. M. Mazzeo, D. Sacca, C. Sirangelo. Compressed Hierarchical Binary Histograms for Summarizing Multi-dimensional Data, The International Journal on Knowledge and Information Systems, KAIS, July 2007. [ pdf ]
  • Conference Papers

  • N. Francis, L. Segoufin and C. Sirangelo. Datalog Rewritings of Regular Path Queries using Views., 17th International Conference on Database Theory (ICDT 2014) Athens, Greece, March 2014, pages 107—118 [ pdf ]
  • A. Gheerbrant, L. Libkin, C. Sirangelo. Reasoning About Pattern-Based XML Queries, 7th International Conference on Web Reasoning and Rule Systems (RR 2013) Mannheim, Germany, July 2013, pages 4—18 [ pdf ]
  • A. Gheerbrant, L. Libkin, C. Sirangelo. When is Naive Evaluation Possible?, 32nd ACM-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013), New York, USA, June 2013, pages 75—86 [ pdf ]
  • 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, pages 237—246. [ pdf ]
  • L. Libkin, C. Sirangelo. Open and Closed World Assumptions in Data Exchange, 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 2009 (Invited). [ 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, 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 ]
  • Theses

    Ph.D.

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

    HDR

    C. Sirangelo. Representing and querying incomplete information: a data interoperability perspective, Habilitaton à diriger des recherches, École Normale Supérieure de Cachan, December 2014. [ pdf ]

    Program Committees

    Teaching

    Previous Positions