Dario Colazzo

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 30

Top Topics

Extended Abstract

Data Generation

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