Carlo Sartiani

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