Subtyping Recursive Types in Kernel Fun. - Dario Colazzo; Giorgio Ghelli (LICS, 1999)

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)

Type Based Discretionary Access Control. - Michele Bugliesi; Dario Colazzo; Silvia Crafa (CONCUR, 2004)

Error Mining for Regular Expression Patterns. - Giuseppe Castagna; Dario Colazzo; Alain Frisch (ICTCS, 2005)

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

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

Subtyping recursion and parametric polymorphism in kernel fun. - Dario Colazzo; Giorgio Ghelli (Inf. Comput., 2005)

Capturing well typed references in DTDs. - Nicole Bidoit; Dario Colazzo (BDA, 2006)

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)

Type-Based XML Projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (VLDB, 2006)

Testing XML constraint satisfiability. - Nicole Bidoit; Dario Colazzo (HyLo@FLoC, 2006)

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

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)

Pattern by example: type-driven visual programming of XML queries. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Cédric Miachon (PPDP, 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)

A type system for Discretionary Access Control. - Michele Bugliesi; Dario Colazzo; Silvia Crafa; Damiano Macedonio (Math. Struct. Comput. Sci., 2009)

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

The WebStand Project - Benjamin Nguyen; François-Xavier Dudouet; Dario Colazzo; Antoine Vion; Ioana Manolescu; Pierre Senellart (CoRR, 2010)

WebStand, une plateforme de gestion de données web pour applications sociologiques. - Benjamin Nguyen; Antoine Vion; François-Xavier Dudouet; Dario Colazzo; Ioana Manolescu (Tech. Sci. Informatiques, 2010)

Schemas for safe and efficient XML processing. (Les schémas de traitement XML sûre et efficace). - Dario Colazzo (2011)

Projection for XML update optimization. - Mohamed-Amine Baazizi; Nicole Bidoit; Dario Colazzo; Noor Malla; Marina Sahakyan (EDBT, 2011)

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)

Efficient Encoding of Temporal XML Documents. - Mohamed-Amine Baazizi; Nicole Bidoit-Tollu; Dario Colazzo (TIME, 2011)

XML content warehousing: Improving sociological studies of mailing lists and web data - Benjamin Nguyen; Antoine Vion; François-Xavier Dudouet; Dario Colazzo; Ioana Manolescu; Pierre Senellart (CoRR, 2011)

AMADA: web data repositories in the amazon cloud. - Andrés Aranda-Andújar; Francesca Bugiotti; Jesús Camacho-Rodríguez; Dario Colazzo; François Goasdoué; Zoi Kaoudi; Ioana Manolescu (CIKM, 2012)

Building Large XML Stores in the Amazon Cloud. - Jesús Camacho-Rodríguez; Dario Colazzo; Ioana Manolescu (ICDE Workshops, 2012)

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

Type-Based Detection of XML Query-Update Independence. - Nicole Bidoit-Tollu; Dario Colazzo; Federico Ulliana (Proc. VLDB Endow., 2012)

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

Web data indexing in the cloud: efficiency and cost reductions. - Jesús Camacho-Rodríguez; Dario Colazzo; Ioana Manolescu (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)

Optimizing XML querying using type-based document projection. - Véronique Benzaken; Giuseppe Castagna; Dario Colazzo; Kim Nguyen 001 (ACM Trans. Database Syst., 2013)

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

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

PAXQuery: A Massively Parallel XQuery Processor. - Jesús Camacho-Rodríguez; Dario Colazzo; Ioana Manolescu (DanaC@SIGMOD, 2014)

RDF analytics: lenses over semantic graphs. - Dario Colazzo; François Goasdoué; Ioana Manolescu; Alexandra Roatis (WWW, 2014)

Analyse de données RDF. Lentilles pour graphes sémantiques. - Dario Colazzo; François Goasdoué; Ioana Manolescu; Alexandra Roatis (Ingénierie des Systèmes d Inf., 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)

PAXQuery: Parallel Analytical XML Processing. - Jesús Camacho-Rodríguez; Dario Colazzo; Ioana Manolescu; Juan Álvaro Muñoz Naranjo (SIGMOD Conference, 2015)

PAXQuery: Efficient Parallel Processing of Complex XQuery. - Jesús Camacho-Rodríguez; Dario Colazzo; Ioana Manolescu (IEEE Trans. Knowl. Data Eng., 2015)

Reuse-based Optimization for Pig Latin. - Jesús Camacho-Rodríguez; Dario Colazzo; Melanie Herschel; Ioana Manolescu; Soudip Roy Chowdhury (CIKM, 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)

CBPF: Leveraging Context and Content Information for Better Recommendations. - Zahra Vahidi Ferdousi; Dario Colazzo; Elsa Negre (ADMA, 2018)

Correlation-Based Pre-Filtering for Context-Aware Recommendation. - Zahra Vahidi Ferdousi; Dario Colazzo; Elsa Negre (PerCom Workshops, 2018)

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)

Optimistic Data Generation for JSON Schema. - Lyes Attouche; Mohamed-Amine Baazizi; Dario Colazzo (Trans. Large Scale Data Knowl. Centered Syst., 2024)

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)