Carlo Sartiani

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 28

Top Topics

Extended Abstract

Regular Path Queries

Top Venues

Publications

Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Validation of Modern JSON Schema: Formalization and Complexity. Proc. ACM Program. Lang. 8 (POPL) (2024)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Negation-closure for JSON Schema. Theor. Comput. Sci. 955 (2023)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Validation of Modern JSON Schema: Formalization and Complexity. CoRR (2023)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
The Usage of Negation in Real-World JSON Schema Documents. SEBD (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Witness Generation for JSON Schema. CoRR (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Witness Generation for JSON Schema. Proc. VLDB Endow. 15 (13) (2022)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Negation-Closure for JSON Schema. CoRR (2022)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Francesco Falleni, Giorgio Ghelli, Cristiano Landi, Carlo Sartiani, Stefanie Scherzinger
A Tool for JSON Schema Witness Generation. EDBT (2021)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Not Elimination and Witness Generation for JSON Schema. CoRR (2021)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents. ER (2021)
Lyes Attouche, Mohamed Amine Baazizi, Dario Colazzo, Yunchen Ding, Michael Fruth, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
A Test Suite for JSON Schema Containment. ER Demos/Posters (2021)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version). CoRR (2021)
Mohamed Amine Baazizi, Clément Berti, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Human-in-the-Loop Schema Inference for Massive JSON Datasets. EDBT (2020)
Mohammad Amin Farvardin, Dario Colazzo, Khalid Belhajjame, Carlo Sartiani
Scalable Saturation of Streaming RDF Triples. Trans. Large Scale Data Knowl. Centered Syst. 44 (2020)
Michael Fruth, Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger
Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas. ER (Workshops) (2020)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schemas and Types for JSON Data: From Theory to Practice. SIGMOD Conference (2019)
Mohammad Amin Farvardin, Dario Colazzo, Khalid Belhajjame, Carlo Sartiani
Streaming saturation for large RDF graphs with dynamic schema information. DBPL (2019)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schemas And Types For JSON Data. EDBT (2019)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Parametric schema inference for massive JSON datasets. VLDB J. 28 (4) (2019)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
A Type System for Interactive JSON Schema Inference (Extended Abstract). ICALP (2019)
Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
Evaluating Queries and Updates on Big XML Documents. Inf. Syst. Frontiers 20 (1) (2018)
Dario Colazzo, Vincenzo Mecca, Maurizio Nolé, Carlo Sartiani
PathGraph: querying and exploring big data graphs. SSDBM (2018)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation. ACM Trans. Database Syst. 42 (4) (2017)
Mohamed Amine Baazizi, Houssem Ben Lahmar, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schema Inference for Massive JSON Datasets. EDBT (2017)
Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Counting types for massive JSON datasets. DBPL (2017)
Maurizio Nolé, Carlo Sartiani
A Distributed Implementation of GXPath. EDBT/ICDT Workshops (2016)
Simone Romano, Giuseppe Scanniello, Carlo Sartiani, Michele Risi
A graph-based approach to detect unreachable methods in Java software. SAC (2016)
Maurizio Nolé, Carlo Sartiani
Regular Path Queries on Massive Graphs. SSDBM (2016)
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
Andromeda: A System for Processing Queries and Updates on Big XML Documents. ADBIS (Short Papers and Workshops) (2015)
Dario Colazzo, Carlo Sartiani
Typing regular path query languages for data graphs. DBPL (2015)
Dario Colazzo, Carlo Sartiani
Typing Regular Path Query Languages for Data Graphs. CoRR (2015)
Nicole Bidoit, Dario Colazzo, Carlo Sartiani, Alessandro Solimando, Federico Ulliana
Queries and Updates on Big XML Documents (Extended Abstract). SEBD (2015)
Maurizio Nolé, Carlo Sartiani
Processing Regular Path Queries on Giraph. EDBT/ICDT Workshops (2014)
Dario Colazzo, Carlo Sartiani
Typing query languages for data graphs. ICDE Workshops (2014)
Nicole Bidoit, Dario Colazzo, Noor Malla, Federico Ulliana, Maurizio Nolé, Carlo Sartiani
Processing XML queries and updates on map/reduce clusters. EDBT (2013)
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. Theor. Comput. Sci. 492 (2013)
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
Almost-linear inclusion for XML regular expression types. ACM Trans. Database Syst. 38 (3) (2013)
Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
Partitioning XML documents for iterative queries. IDEAS (2012)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Schemas for safe and efficient XML processing. ICDE (2011)
Dario Colazzo, Carlo Sartiani
Precision and complexity of XQuery type inference. PPDP (2011)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Efficient inclusion for a class of XML types with interleaving and counting. Inf. Syst. 34 (7) (2009)
Dario Colazzo, Giorgio Ghelli, Luca Pardini, Carlo Sartiani
Linear inclusion for XML regular expression types. CIKM (2009)
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
Efficient asymmetric inclusion between regular expression types. ICDT (2009)
Dario Colazzo, Carlo Sartiani
Detection of corrupted schema mappings in XML data integration systems. ACM Trans. Internet Techn. 9 (4) (2009)
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Linear Time Membership for a Class of XML Types with Interleaving and Counting. PLAN-X (2008)
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Linear time membership in a class of regular expressions with interleaving and counting. CIKM (2008)
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. SEBD (2008)
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Scalable Query Dissemination in XPeer. IDEAS (2007)
Dario Colazzo, Carlo Sartiani
XML Type Projection: A Maximum Flow Approach. SEBD (2007)
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
Efficient Inclusion for a Class of XML Types with Interleaving and Counting. DBPL (2007)
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Scalable Query Dissemination in XPeer. EROW (2007)
Dario Colazzo, Carlo Sartiani
Mapping Maintenance in XML P2P Databases. SEBD (2006)
Dario Colazzo, Carlo Sartiani
An efficient algorithm for XML type projection. PPDP (2006)
Carlo Sartiani
A Query Algebra for XML P2P Databases. EDBT Workshops (2006)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Static analysis for path correctness of XML queries. J. Funct. Program. 16 (4-5) (2006)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Types for Path Correctness of XML Queries. SEBD (2005)
Carlo Sartiani, Dario Colazzo
Detecting Corrupted Schema Mappings in XML P2P Databases. SEBD (2005)
Carlo Sartiani
Correctness of Query Results in XML P2P Databases. SEBD (2005)
Dario Colazzo, Carlo Sartiani
Mapping Maintenance in XML P2P Databases. DBPL (2005)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Types for path correctness of XML queries. ICFP (2004)
Carlo Sartiani
On the Correctness of Query Results in XML P2P Databases. Peer-to-Peer Computing (2004)
Carlo Sartiani, Paolo Manghi, Giorgio Ghelli, Giovanni Conforti
XPeer: A Self-Organizing XML P2P Database System. EDBT Workshops (2004)
Carlo Sartiani
A query algebra for xml p2p databases. WWW (Alternate Track Papers & Posters) (2004)
Giovanni Conforti, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
A Self-organizing XML P2P Database System. SEBD (2004)
Carlo Sartiani
A Framework for Estimating XML Query Cardinality. WebDB (2003)
Carlo Sartiani
Evaluating Nested Queries on XML Data. IDEAS (2003)
Carlo Sartiani
A General Framework for Estimating XML Query Cardinality. DBPL (2003)
Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
The Query Language TQL. WebDB (2002)
Giovanni Conforti, Giorgio Ghelli, Antonio Albano, Dario Colazzo, Paolo Manghi, Carlo Sartiani
The Query Language TQL - Demo Presentation. SEBD (2002)
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
Types for Correctness of Queries over Semistructured Data. WebDB (2002)
Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo Manghi, Giorgio Ghelli, Luca Lini, Michele Paoli
A typed text retrieval query language for XML documents. J. Assoc. Inf. Sci. Technol. 53 (6) (2002)
Carlo Sartiani, Antonio Albano
Yet Another Query Algebra For XML Data. IDEAS (2002)