Dario Colazzo

Proc. ACM Program. Lang., January, 2024

2023

Negation-closure for JSON Schema.

[BibT_eX]

[DOI]

Theor. Comput. Sci., April, 2023

2022

Witness Generation for JSON Schema.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2022

The Usage of Negation in Real-World JSON Schema Documents.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

2021

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version).

[BibT_eX]

[DOI]

CoRR, 2021

Not Elimination and Witness Generation for JSON Schema.

[BibT_eX]

[DOI]

CoRR, 2021

An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

A Test Suite for JSON Schema Containment.

[BibT_eX]

[DOI]

Proceedings of the ER Demos and Posters 2021 co-located with 40th International Conference on Conceptual Modeling (ER 2021), 2021

A Tool for JSON Schema Witness Generation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Extending Database Technology, 2021

2020

Scalable Saturation of Streaming RDF Triples.

[BibT_eX]

[DOI]

Mohammad Amin Farvardin

Khalid Belhajjame

Trans. Large Scale Data Knowl. Centered Syst., 2020

Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas.

[BibT_eX]

[DOI]

Michael Fruth

Proceedings of the Advances in Conceptual Modeling, 2020

Human-in-the-Loop Schema Inference for Massive JSON Datasets.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Extending Database Technology, 2020

2019

Parametric schema inference for massive JSON datasets.

[BibT_eX]

[DOI]

VLDB J., 2019

Schemas and Types for JSON Data: From Theory to Practice.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Management of Data, 2019

A Type System for Interactive JSON Schema Inference (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Schemas And Types For JSON Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Database Technology, 2019

Streaming saturation for large RDF graphs with dynamic schema information.

[BibT_eX]

[DOI]

Mohammad Amin Farvardin

Khalid Belhajjame

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

2018

Evaluating Queries and Updates on Big XML Documents.

[BibT_eX]

[DOI]

Inf. Syst. Frontiers, 2018

PathGraph: querying and exploring big data graphs.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Scientific and Statistical Database Management, 2018

Correlation-Based Pre-Filtering for Context-Aware Recommendation.

[BibT_eX]

[DOI]

Zahra Vahidi Ferdousi

Elsa Negre

Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018

CBPF: Leveraging Context and Content Information for Better Recommendations.

[BibT_eX]

[DOI]

Zahra Vahidi Ferdousi

Elsa Negre

Proceedings of the Advanced Data Mining and Applications - 14th International Conference, 2018

2017

Linear Time Membership in a Class of Regular Expressions with Counting, Interleaving, and Unordered Concatenation.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2017

Schema Inference for Massive JSON Datasets.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Extending Database Technology, 2017

Counting types for massive JSON datasets.

[BibT_eX]

[DOI]

Proceedings of The 16th International Symposium on Database Programming Languages, 2017

2016

Reuse-based Optimization for Pig Latin.

[BibT_eX]

[DOI]

Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

2015

PAXQuery: Efficient Parallel Processing of Complex XQuery.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2015

PAXQuery: Parallel Analytical XML Processing.

[BibT_eX]

[DOI]

Juan A. M. Naranjo

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Queries and Updates on Big XML Documents (Extended Abstract).

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Typing regular path query languages for data graphs.

[BibT_eX]

[DOI]

Proceedings of the 15th Symposium on Database Programming Languages, 2015

Andromeda: A System for Processing Queries and Updates on Big XML Documents.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Databases and Information Systems, 2015

2014

Analyse de données RDF. Lentilles pour graphes sémantiques.

[BibT_eX]

[DOI]

Ingénierie des Systèmes d Inf., 2014

RDF analytics: lenses over semantic graphs.

[BibT_eX]

[DOI]

Proceedings of the 23rd International World Wide Web Conference, 2014

PAXQuery: A Massively Parallel XQuery Processor.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Data analytics in the Cloud, 2014

Typing query languages for data graphs.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 30th International Conference on Data Engineering Workshops, 2014

2013

Almost-linear inclusion for XML regular expression types.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2013

Optimizing XML querying using type-based document projection.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2013

Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

Web data indexing in the cloud: efficiency and cost reductions.

[BibT_eX]

[DOI]

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Processing XML queries and updates on map/reduce clusters.

[BibT_eX]

[DOI]

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Type-Based Detection of XML Query-Update Independence.

[BibT_eX]

[DOI]

Nicole Bidoit-Tollu

Federico Ulliana

Proc. VLDB Endow., 2012

Partitioning XML documents for iterative queries.

[BibT_eX]

[DOI]

Proceedings of the 16th International Database Engineering & Applications Symposium, 2012

Building Large XML Stores in the Amazon Cloud.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the IEEE 28th International Conference on Data Engineering, 2012

AMADA: web data repositories in the amazon cloud.

[BibT_eX]

[DOI]

Andrés Aranda-Andújar

Francesca Bugiotti

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011

XML content warehousing: Improving sociological studies of mailing lists and web data

[BibT_eX]

[DOI]

Benjamin Nguyen

Antoine Vion

François-Xavier Dudouet

Pierre Senellart

CoRR, 2011

Efficient Encoding of Temporal XML Documents.

[BibT_eX]

[DOI]

Nicole Bidoit-Tollu

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Precision and complexity of XQuery type inference.

[BibT_eX]

[DOI]

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Schemas for safe and efficient XML processing.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Data Engineering, 2011

Projection for XML update optimization.

[BibT_eX]

[DOI]

Proceedings of the EDBT 2011, 2011

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

[BibT_eX]

[DOI]

, 2011

2010

WebStand, une plateforme de gestion de données web pour applications sociologiques.

[BibT_eX]

[DOI]

Benjamin Nguyen

Antoine Vion

François-Xavier Dudouet

Tech. Sci. Informatiques, 2010

The WebStand Project

[BibT_eX]

[DOI]

Benjamin Nguyen

François-Xavier Dudouet

CoRR, 2010

2009

Detection of corrupted schema mappings in XML data integration systems.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2009

A type system for Discretionary Access Control.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

Efficient inclusion for a class of XML types with interleaving and counting.

[BibT_eX]

[DOI]

Inf. Syst., 2009

Efficient asymmetric inclusion between regular expression types.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2009

Linear inclusion for XML regular expression types.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM Conference on Information and Knowledge Management, 2009

2008

Efficient Inclusion of Conflict-free XML Types with Interleaving and Counting.

[BibT_eX]

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Linear Time Membership for a Class of XML Types with Interleaving and Counting.

[BibT_eX]

[DOI]

Proceedings of the PLAN-X 2008, 2008

Linear time membership in a class of regular expressions with interleaving and counting.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Information and Knowledge Management, 2008

2007

XML Type Projection: A Maximum Flow Approach.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Pattern by Example: type-driven visual programming of XML queries.

[BibT_eX]

Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

2006

Static analysis for path correctness of XML queries.

[BibT_eX]

[DOI]

J. Funct. Program., 2006

Testing XML constraint satisfiability.

[BibT_eX]

[DOI]

Nicole Bidoit

Proceedings of the International Workshop on Hybrid Logic, 2006

Mapping Maintenance in XML P2P Databases.

[BibT_eX]

Proceedings of the Fourteenth Italian Symposium on Advanced Database Systems, 2006

An efficient algorithm for XML type projection.

[BibT_eX]

[DOI]

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

Capturing well typed references in DTDs.

[BibT_eX]

Nicole Bidoit

Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

Type-Based XML Projection.

[BibT_eX]

Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

2005

Subtyping recursion and parametric polymorphism in kernel fun.

[BibT_eX]

[DOI]

Inf. Comput., 2005

Detecting Corrupted Schema Mappings in XML P2P Databases.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Error Mining for Regular Expression Patterns.

[BibT_eX]

[DOI]

Giuseppe Castagna

Alain Frisch

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

Types for path correctness of XML queries.

[BibT_eX]

[DOI]

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

Type Based Discretionary Access Control.

[BibT_eX]

[DOI]

Michele Bugliesi

Silvia Crafa

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2002

A typed text retrieval query language for XML documents.

[BibT_eX]

[DOI]

J. Assoc. Inf. Sci. Technol., 2002

The Query Language TQL.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

Types for Correctness of Queries over Semistructured Data.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Web and Databases, 2002

The Query Language TQL - Demo Presentation.

[BibT_eX]

Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

1999

Subtyping Recursive Types in Kernel Fun.

[BibT_eX]

[DOI]