Dario Colazzo

95 papers A* 5A 7B 10C 6Journal 35Unranked 31
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
Optimistic Data Generation for JSON Schema.
Trans. Large Scale Data Knowl. Centered Syst.
Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo
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 C conf
CBPF: Leveraging Context and Content Information for Better Recommendations.
ADMA
Zahra Vahidi Ferdousi, Dario Colazzo, Elsa Negre
2018 J jnl
CBPF: leveraging context and content information for better recommendations.
CoRR
Zahra Vahidi Ferdousi, Dario Colazzo, Elsa Negre
2018 — conf
Correlation-Based Pre-Filtering for Context-Aware Recommendation.
PerCom Workshops
Zahra Vahidi Ferdousi, Dario Colazzo, Elsa Negre
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 A conf
Reuse-based Optimization for Pig Latin.
CIKM
Jesús Camacho-Rodríguez, Dario Colazzo, Melanie Herschel, Ioana Manolescu, Soudip Roy Chowdhury
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 J jnl
PAXQuery: Efficient Parallel Processing of Complex XQuery.
IEEE Trans. Knowl. Data Eng.
Jesús Camacho-Rodríguez, Dario Colazzo, Ioana Manolescu
2015 — conf
PAXQuery: Parallel Analytical XML Processing.
SIGMOD Conference
Jesús Camacho-Rodríguez, Dario Colazzo, Ioana Manolescu, Juan Álvaro Muñoz Naranjo
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 J jnl
Analyse de données RDF. Lentilles pour graphes sémantiques.
Ingénierie des Systèmes d Inf.
Dario Colazzo, François Goasdoué, Ioana Manolescu, Alexandra Roatis
2014 — conf
PAXQuery: A Massively Parallel XQuery Processor.
DanaC@SIGMOD
Jesús Camacho-Rodríguez, Dario Colazzo, Ioana Manolescu
2014 A* conf
RDF analytics: lenses over semantic graphs.
WWW
Dario Colazzo, François Goasdoué, Ioana Manolescu, Alexandra Roatis
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 J jnl
Optimizing XML querying using type-based document projection.
ACM Trans. Database Syst.
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
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
2013 B conf
Web data indexing in the cloud: efficiency and cost reductions.
EDBT
Jesús Camacho-Rodríguez, Dario Colazzo, Ioana Manolescu
2012 A conf
AMADA: web data repositories in the amazon cloud.
CIKM
Andrés Aranda-Andújar, Francesca Bugiotti, Jesús Camacho-Rodríguez, Dario Colazzo, François Goasdoué, Zoi Kaoudi, Ioana Manolescu
2012 — conf
Building Large XML Stores in the Amazon Cloud.
ICDE Workshops
Jesús Camacho-Rodríguez, Dario Colazzo, Ioana Manolescu
2012 C conf
Partitioning XML documents for iterative queries.
IDEAS
Nicole Bidoit, Dario Colazzo, Noor Malla, Carlo Sartiani
2012 J jnl
Type-Based Detection of XML Query-Update Independence
CoRR
Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana
2012 J jnl
Type-Based Detection of XML Query-Update Independence.
Proc. VLDB Endow.
Nicole Bidoit-Tollu, Dario Colazzo, Federico Ulliana
2011 C conf
Efficient Encoding of Temporal XML Documents.
TIME
Mohamed-Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo
2011 J jnl
Optimizing XML querying using type-based document projection
CoRR
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2011 C conf
Precision and complexity of XQuery type inference.
PPDP
Dario Colazzo, Carlo Sartiani
2011 B conf
Projection for XML update optimization.
EDBT
Mohamed-Amine Baazizi, Nicole Bidoit, Dario Colazzo, Noor Malla, Marina Sahakyan
2011 A* conf
Schemas for safe and efficient XML processing.
ICDE
Dario Colazzo, Giorgio Ghelli, Carlo Sartiani
2011 — book
Schemas for safe and efficient XML processing. (Les schémas de traitement XML sûre et efficace).
Dario Colazzo
2011 J jnl
XML content warehousing: Improving sociological studies of mailing lists and web data
CoRR
Benjamin Nguyen, Antoine Vion, François-Xavier Dudouet, Dario Colazzo, Ioana Manolescu, Pierre Senellart
2010 J jnl
The WebStand Project
CoRR
Benjamin Nguyen, François-Xavier Dudouet, Dario Colazzo, Antoine Vion, Ioana Manolescu, Pierre Senellart
2010 J jnl
WebStand, une plateforme de gestion de données web pour applications sociologiques.
Tech. Sci. Informatiques
Benjamin Nguyen, Antoine Vion, François-Xavier Dudouet, Dario Colazzo, Ioana Manolescu
2009 J jnl
A type system for Discretionary Access Control.
Math. Struct. Comput. Sci.
Michele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio
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
2008 C conf
Pattern by example: type-driven visual programming of XML queries.
PPDP
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
2007 — conf
Efficient Inclusion for a Class of XML Types with Interleaving and Counting.
DBPL
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
2007 — conf
Pattern by Example: type-driven visual programming of XML queries.
BDA
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Cédric Miachon
2007 — conf
XML Type Projection: A Maximum Flow Approach.
SEBD
Dario Colazzo, Carlo Sartiani
2006 C conf
An efficient algorithm for XML type projection.
PPDP
Dario Colazzo, Carlo Sartiani
2006 — conf
Capturing well typed references in DTDs.
BDA
Nicole Bidoit, Dario Colazzo
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
2006 — conf
Testing XML constraint satisfiability.
HyLo@FLoC
Nicole Bidoit, Dario Colazzo
2006 — conf
Type-Based XML Projection.
BDA
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2006 A* conf
Type-Based XML Projection.
VLDB
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
2005 — conf
Detecting Corrupted Schema Mappings in XML P2P Databases.
SEBD
Carlo Sartiani, Dario Colazzo
2005 — conf
Error Mining for Regular Expression Patterns.
ICTCS
Giuseppe Castagna, Dario Colazzo, Alain Frisch
2005 — conf
Mapping Maintenance in XML P2P Databases.
DBPL
Dario Colazzo, Carlo Sartiani
2005 J jnl
Subtyping recursion and parametric polymorphism in kernel fun.
Inf. Comput.
Dario Colazzo, Giorgio Ghelli
2005 — conf
Types for Path Correctness of XML Queries.
SEBD
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani
2004 B conf
Type Based Discretionary Access Control.
CONCUR
Michele Bugliesi, Dario Colazzo, Silvia Crafa
2004 A conf
Types for path correctness of XML queries.
ICFP
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, 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
1999 A* conf
Subtyping Recursive Types in Kernel Fun.
LICS
Dario Colazzo, Giorgio Ghelli