Yet Another Query Algebra For XML Data. - Carlo Sartiani; Antonio Albano (IDEAS, 2002)

The Query Language TQL - Demo Presentation. - Giovanni Conforti; Giorgio Ghelli; Antonio Albano; Dario Colazzo; Paolo Manghi; Carlo Sartiani (SEBD, 2002)

Types for Correctness of Queries over Semistructured Data. - Dario Colazzo; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (WebDB, 2002)

The Query Language TQL. - Giovanni Conforti; Giorgio Ghelli; Antonio Albano; Dario Colazzo; Paolo Manghi; Carlo Sartiani (WebDB, 2002)

A typed text retrieval query language for XML documents. - Dario Colazzo; Carlo Sartiani; Antonio Albano; Paolo Manghi; Giorgio Ghelli; Luca Lini; Michele Paoli (J. Assoc. Inf. Sci. Technol., 2002)

A General Framework for Estimating XML Query Cardinality. - Carlo Sartiani (DBPL, 2003)

Evaluating Nested Queries on XML Data. - Carlo Sartiani (IDEAS, 2003)

A Framework for Estimating XML Query Cardinality. - Carlo Sartiani (WebDB, 2003)

Efficient management of semistructured XLM data. - Carlo Sartiani (2003)

XPeer: A Self-Organizing XML P2P Database System. - Carlo Sartiani; Paolo Manghi; Giorgio Ghelli; Giovanni Conforti (EDBT Workshops, 2004)

A Self-organizing XML P2P Database System. - Giovanni Conforti; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (SEBD, 2004)

A query algebra for xml p2p databases. - Carlo Sartiani (WWW (Alternate Track Papers & Posters), 2004)

Types for Path Correctness of XML Queries. - Dario Colazzo; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (SEBD, 2005)

Correctness of Query Results in XML P2P Databases. - Carlo Sartiani (SEBD, 2005)

Detecting Corrupted Schema Mappings in XML P2P Databases. - Carlo Sartiani; Dario Colazzo (SEBD, 2005)

An efficient algorithm for XML type projection. - Dario Colazzo; Carlo Sartiani (PPDP, 2006)

Mapping Maintenance in XML P2P Databases. - Dario Colazzo; Carlo Sartiani (SEBD, 2006)

Static analysis for path correctness of XML queries. - Dario Colazzo; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (J. Funct. Program., 2006)

Scalable Query Dissemination in XPeer. - Giovanni Conforti; Giorgio Ghelli; Paolo Manghi; Carlo Sartiani (IDEAS, 2007)

XML Type Projection: A Maximum Flow Approach. - Dario Colazzo; Carlo Sartiani (SEBD, 2007)

Linear time membership in a class of regular expressions with interleaving and counting. - Giorgio Ghelli; Dario Colazzo; Carlo Sartiani (CIKM, 2008)

Linear Time Membership for a Class of XML Types with Interleaving and Counting. - Giorgio Ghelli; Dario Colazzo; Carlo Sartiani (PLAN-X, 2008)

Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting. - Giorgio Ghelli; Dario Colazzo; Carlo Sartiani (SEBD, 2008)

Linear inclusion for XML regular expression types. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (CIKM, 2009)

Efficient asymmetric inclusion between regular expression types. - Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ICDT, 2009)

Efficient inclusion for a class of XML types with interleaving and counting. - Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (Inf. Syst., 2009)

Detection of corrupted schema mappings in XML data integration systems. - Dario Colazzo; Carlo Sartiani (ACM Trans. Internet Techn., 2009)

Schemas for safe and efficient XML processing. - Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ICDE, 2011)

Precision and complexity of XQuery type inference. - Dario Colazzo; Carlo Sartiani (PPDP, 2011)

Partitioning XML documents for iterative queries. - Nicole Bidoit; Dario Colazzo; Noor Malla; Carlo Sartiani (IDEAS, 2012)

Processing XML queries and updates on map/reduce clusters. - Nicole Bidoit; Dario Colazzo; Noor Malla; Federico Ulliana; Maurizio Nolé; Carlo Sartiani (EDBT, 2013)

Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (Theor. Comput. Sci., 2013)

Almost-linear inclusion for XML regular expression types. - Dario Colazzo; Giorgio Ghelli; Luca Pardini; Carlo Sartiani (ACM Trans. Database Syst., 2013)

Processing Regular Path Queries on Giraph. - Maurizio Nolé; Carlo Sartiani (EDBT/ICDT Workshops, 2014)

Typing query languages for data graphs. - Dario Colazzo; Carlo Sartiani (ICDE Workshops, 2014)

Andromeda: A System for Processing Queries and Updates on Big XML Documents. - Nicole Bidoit; Dario Colazzo; Carlo Sartiani; Alessandro Solimando; Federico Ulliana (ADBIS (Short Papers and Workshops), 2015)

Typing regular path query languages for data graphs. - Dario Colazzo; Carlo Sartiani (DBPL, 2015)

Queries and Updates on Big XML Documents (Extended Abstract). - Nicole Bidoit; Dario Colazzo; Carlo Sartiani; Alessandro Solimando; Federico Ulliana (SEBD, 2015)

A Distributed Implementation of GXPath. - Maurizio Nolé; Carlo Sartiani (EDBT/ICDT Workshops, 2016)

A graph-based approach to detect unreachable methods in Java software. - Simone Romano 001; Giuseppe Scanniello; Carlo Sartiani; Michele Risi (SAC, 2016)

Regular Path Queries on Massive Graphs. - Maurizio Nolé; Carlo Sartiani (SSDBM, 2016)

Counting types for massive JSON datasets. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (DBPL, 2017)

Schema Inference for Massive JSON Datasets. - Mohamed-Amine Baazizi; Houssem Ben Lahmar; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (EDBT, 2017)

Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation. - Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ACM Trans. Database Syst., 2017)

PathGraph: querying and exploring big data graphs. - Dario Colazzo; Vincenzo Mecca; Maurizio Nolé; Carlo Sartiani (SSDBM, 2018)

Evaluating Queries and Updates on Big XML Documents. - Nicole Bidoit; Dario Colazzo; Noor Malla; Carlo Sartiani (Inf. Syst. Frontiers, 2018)

Streaming saturation for large RDF graphs with dynamic schema information. - Mohammad Amin Farvardin; Dario Colazzo; Khalid Belhajjame; Carlo Sartiani (DBPL, 2019)

Schemas And Types For JSON Data. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (EDBT, 2019)

A Type System for Interactive JSON Schema Inference (Extended Abstract). - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (ICALP, 2019)

Schemas and Types for JSON Data: From Theory to Practice. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (SIGMOD Conference, 2019)

Parametric schema inference for massive JSON datasets. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (VLDB J., 2019)

Human-in-the-Loop Schema Inference for Massive JSON Datasets. - Mohamed-Amine Baazizi; Clément Berti; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani (EDBT, 2020)

Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas. - Michael Fruth; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (ER (Workshops), 2020)

Scalable Saturation of Streaming RDF Triples. - Mohammad Amin Farvardin; Dario Colazzo; Khalid Belhajjame; Carlo Sartiani (Trans. Large Scale Data Knowl. Centered Syst., 2020)

A Tool for JSON Schema Witness Generation. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Francesco Falleni; Giorgio Ghelli; Cristiano Landi; Carlo Sartiani; Stefanie Scherzinger (EDBT, 2021)

A Test Suite for JSON Schema Containment. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Yunchen Ding; Michael Fruth; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (ER Demos/Posters, 2021)

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (ER, 2021)

Not Elimination and Witness Generation for JSON Schema. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2021)

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version). - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2021)

The Usage of Negation in Real-World JSON Schema Documents. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (SEBD, 2022)

Witness Generation for JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Proc. VLDB Endow., 2022)

Negation-closure for JSON Schema. - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Theor. Comput. Sci., 2023)

Validation of Modern JSON Schema: Formalization and Complexity. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (Proc. ACM Program. Lang., 2024)

JTutor: JSON Schema Validation Explained. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Kachimsirikwuo Caleb Imo; Stefan Klessinger; Carlo Sartiani; Stefanie Scherzinger (DBPL, 2025)

Everything You Always Wanted to Know About JSON Schema (But Were Afraid to Ask). - Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Carlo Sartiani; Stefanie Scherzinger (EDBT, 2025)

Elimination of annotation dependencies in validation for Modern JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo; Giorgio Ghelli; Stefan Klessinger; Carlo Sartiani; Stefanie Scherzinger (CoRR, 2025)