Floris Geerts

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

WL meet VC.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Machine Learning, 2023

2022

Ordered Subgraph Aggregation Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Expressiveness and Approximation Properties of Graph Neural Networks.

[BibT_eX]

[DOI]

Juan L. Reutter

Proceedings of the Tenth International Conference on Learning Representations, 2022

On the Expressive Power of Message-Passing Neural Networks as Global Feature Map Transformers.

[BibT_eX]

[DOI]

Jasper Steegmans

Proceedings of the Foundations of Information and Knowledge Systems, 2022

2021

Matrix Query Languages.

[BibT_eX]

[DOI]

SIGMOD Rec., 2021

Front Matter.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2021

Correction to: On the Expressive Power of Linear Algebra on Graphs.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2021

On the Expressive Power of Linear Algebra on Graphs.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2021

Expressive Power of Linear Algebra Query Languages.

[BibT_eX]

[DOI]

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

Graph Neural Networks with Local Graph Parameters.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework.

[BibT_eX]

[DOI]

Filip Mazowiecki

Guillermo A. Pérez

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

Cleaning data with Llunatic.

[BibT_eX]

[DOI]

VLDB J., 2020

Cleaning Data with Forbidden Itemsets.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2020

Data Quality and Explainable AI.

[BibT_eX]

[DOI]

Leopoldo E. Bertossi

ACM J. Data Inf. Qual., 2020

The expressive power of kth-order invariant graph networks.

[BibT_eX]

[DOI]

CoRR, 2020

Walk Message Passing Neural Networks and Second-Order Graph Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

When Can Matrix Query Languages Discern Matrices?

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Database Theory, 2020

2019

On the Expressive Power of Query Languages for Matrices.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2019

MATLANG: Matrix operations and their expressive power.

[BibT_eX]

[DOI]

SIGMOD Rec., 2019

Anytime Approximation in Probabilistic Databases via Scaled Dissociations.

[BibT_eX]

[DOI]

Maarten Van den Heuvel

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

2018

Constraint Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Bounded Query Rewriting Using Views.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2018

Explaining Repaired Data with CFDs.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2018

Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space.

[BibT_eX]

[DOI]

Math. Log. Q., 2018

Editorial: Special Issue on Improving the Veracity and Value of Big Data.

[BibT_eX]

[DOI]

Paolo Missier

Norman W. Paton

ACM J. Data Inf. Qual., 2018

A General Framework for Anytime Approximation in Probabilistic Databases.

[BibT_eX]

[DOI]

Maarten Van den Heuvel

Wolfgang Gatterbauer

Martin Theobald

CoRR, 2018

Revisiting Conditional Functional Dependency Discovery: Splitting the "C" from the "FD".

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

2017

Database Theory Column Report on PODS 2017.

[BibT_eX]

[DOI]

SIGACT News, 2017

First-order under-approximations of consistent query answers.

[BibT_eX]

[DOI]

Fabian Pijcke

Jef Wijsen

Int. J. Approx. Reason., 2017

Cleaning Data with Forbidden Itemsets.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE International Conference on Data Engineering, 2017

2016

Capturing Missing Tuples and Missing Values.

[BibT_eX]

[DOI]

Ting Deng

ACM Trans. Database Syst., 2016

Algebraic Structures for Capturing the Provenance of SPARQL Queries.

[BibT_eX]

[DOI]

Thomas Unger

Grigoris Karvounarakis

Irini Fundulaki

Vassilis Christophides

J. ACM, 2016

Bounded correlation clustering.

[BibT_eX]

[DOI]

Reuben Ndindi

Int. J. Data Sci. Anal., 2016

Scale Independence: Using Small Data to Answer Queries on Big Data (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Database Theory, 2016

2015

On recommendation problems beyond points of interest.

[BibT_eX]

[DOI]

Ting Deng

Inf. Syst., 2015

Cell-based Causality for Data Repairs.

[BibT_eX]

[DOI]

Maxime Debosschere

Proceedings of the 7th USENIX Workshop on the Theory and Practice of Provenance, 2015

Querying Big Data by Accessing Small Data.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Space-Bounded Query Approximation.

[BibT_eX]

[DOI]

Boris Cule

Reuben Ndindi

Proceedings of the Advances in Databases and Information Systems, 2015

2014

That's All Folks! LLUNATIC Goes Open Source.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2014

Conflict resolution with data currency and consistency.

[BibT_eX]

[DOI]

ACM J. Data Inf. Qual., 2014

On the data complexity of relative information completeness.

[BibT_eX]

[DOI]

Inf. Syst., 2014

Detecting Errors in Numeric Attributes.

[BibT_eX]

[DOI]

Grace Fan

Proceedings of the Web-Age Information Management - 15th International Conference, 2014

An Overview of the Llunatic System.

[BibT_eX]

Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

On scale independence for querying big data.

[BibT_eX]

[DOI]

Leonid Libkin

Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

Mapping and cleaning.

[BibT_eX]

[DOI]

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

Interactive correlation clustering.

[BibT_eX]

[DOI]

Reuben Ndindi

Proceedings of the International Conference on Data Science and Advanced Analytics, 2014

2013

On the Complexity of Package Recommendation Problems.

[BibT_eX]

[DOI]

Ting Deng

SIAM J. Comput., 2013

The LLUNATIC Data-Cleaning Framework.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2013

Making Queries Tractable on Big Data with Preprocessing.

[BibT_eX]

[DOI]

Frank Neven

Proc. VLDB Endow., 2013

Generating, Sampling and Counting Subclasses of Regular Tree Languages.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2013

Algebraic structures for capturing the provenance of SPARQL queries.

[BibT_eX]

[DOI]

Grigoris Karvounarakis

Vassilis Christophides

Irini Fundulaki

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Inferring data currency and consistency for conflict resolution.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

Looking at the World Thru Colored Glasses.

[BibT_eX]

[DOI]

Heiko Müller

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

Data Quality Problems beyond Consistency and Deduplication.

[BibT_eX]

[DOI]

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

Foundations of Data Quality Management

[BibT_eX]

[DOI]

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01892-3, 2012

Determining the Currency of Data.

[BibT_eX]

[DOI]

Jef Wijsen

ACM Trans. Database Syst., 2012

On the Complexity of View Update Analysis and Its Application to Annotation Propagation.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2012

View determinacy for preserving selected information in data transformations.

[BibT_eX]

[DOI]

Lixiao Zheng

Inf. Syst., 2012

2011

Discovering Conditional Functional Dependencies.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2011

Foreword.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2011

Relational completeness of query languages for annotated databases.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2011

Uniform Dependency Language for Improving Data Quality.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 2011

2010

Relative information completeness.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2010

On database query languages for K-relations.

[BibT_eX]

[DOI]

Antonella Poggi

J. Appl. Log., 2010

Capturing missing tuples and missing values.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Static analysis of schema-mappings ensuring oblivious termination.

[BibT_eX]

[DOI]

Bruno Marnette

Proceedings of the Database Theory, 2010

Detecting inconsistencies in distributed data.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Data Engineering, 2010

2009

Constraint Query Languages.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Discovering Conditional Functional Dependencies.

[BibT_eX]

[DOI]

Laks V. S. Lakshmanan

Ming Xiong

Proceedings of the 25th International Conference on Data Engineering, 2009

Conditional Dependencies: A Principled Approach to Improving Data Quality.

[BibT_eX]

[DOI]

Proceedings of the Dataspace: The Final Frontier, 2009

2008

Expressiveness and complexity of XML publishing transducers.

[BibT_eX]

[DOI]

Frank Neven

ACM Trans. Database Syst., 2008

Conditional functional dependencies for capturing data inconsistencies.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2008

First-order complete and computationally complete query languages for spatio-temporal databases.

[BibT_eX]

[DOI]

Sofie Haesevoets

ACM Trans. Comput. Log., 2008

A revival of integrity constraints for data cleaning.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

Semandaq: a data quality system based on conditional functional dependencies.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2008

XPath satisfiability in the presence of DTDs.

[BibT_eX]

[DOI]

Michael Benedikt

J. ACM, 2008

Complexity and composition of synthesized web services.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008

Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Data Engineering, 2008

2007

Real Algebraic Geometry and Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Spatial Logics, 2007

Improving Data Quality: Consistency and Accuracy.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Very Large Data Bases, 2007

Rewriting Regular XPath Queries on XML Views.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Data Engineering, 2007

Conditional Functional Dependencies for Data Cleaning.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Data Engineering, 2007

2006

Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases.

[BibT_eX]

[DOI]

SIAM J. Comput., 2006

On-line topological simplification of weighted graphs

[BibT_eX]

[DOI]

Peter Z. Revesz

CoRR, 2006

HaploRec: efficient and accurate large-scale reconstruction of haplotypes.

[BibT_eX]

[DOI]

Lauri Eronen

Hannu Toivonen

BMC Bioinform., 2006

SMOQE: A System for Providing Secure Access to XML.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

MONDRIAN: Annotating and Querying Databases through Colors and Blocks.

[BibT_eX]

[DOI]

Diego Milano

Proceedings of the 22nd International Conference on Data Engineering, 2006

On-line maintenance of simplified weighted graphs for efficient distance queries.

[BibT_eX]

[DOI]

Peter Z. Revesz

Proceedings of the 14th ACM International Symposium on Geographic Information Systems, 2006

<i>i</i>MONDRIAN: A Visual Tool to Annotate and Query Scientific Databases.

[BibT_eX]

[DOI]

Diego Milano

Proceedings of the Advances in Database Technology, 2006

Annotation propagation revisited for key preserving views.

[BibT_eX]

[DOI]

Gao Cong

Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, 2006

2005

Tight upper bounds on the number of candidate patterns.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2005

On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets.

[BibT_eX]

[DOI]

Lieven Smits

Acta Informatica, 2005

Satisfiability of XPath Queries with Sibling Axes.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 10th International Symposium, 2005

2004

Topological formulation of termination properties of iterates of functions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2004

Frequent Knot Discovery

[BibT_eX]

[DOI]

CoRR, 2004

Relational link-based ranking.

[BibT_eX]

[DOI]

Heikki Mannila

Evimaria Terzi

Proceedings of the (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31, 2004

A Markov Chain Approach to Reconstruction of Long Haplotypes.

[BibT_eX]

[DOI]

Lauri Eronen

Hannu Toivonen

Proceedings of the Biocomputing 2004, 2004

Tiling Databases.

[BibT_eX]

[DOI]

Taneli Mielikäinen

Proceedings of the Discovery Science, 7th International Conference, 2004

Moving Objects and Their Equations of Motion.

[BibT_eX]

[DOI]

Proceedings of the Constraint Databases, 2004

2003

Expressing the box cone radius in the relational calculus with real polynomial constraints.

[BibT_eX]

[DOI]

Discret. Comput. Geom., 2003

Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets

[BibT_eX]

[DOI]

Lieven Smits

CoRR, 2003

What You Store is What You Get.

[BibT_eX]

Taneli Mielikäinen

Proceedings of the Second International Workshop on Inductive Databases, 2003

Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 2003

2001

Geometric and algorithmic aspects of topological queries to spatial databases

[BibT_eX]

[DOI]

PhD thesis, 2001

Expressing the cone radius in the relational calculus with real polynomial constraints

[BibT_eX]

[DOI]

CoRR, 2001

A Tight Upper Bound on the Number of Candidate Patterns.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE International Conference on Data Mining, 29 November, 2001

A Theory of Spatio-Temporal Database Queries.

[BibT_eX]

[DOI]

Sofie Haesevoets

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension.

[BibT_eX]

[DOI]

Proceedings of the Database Programming Languages, 8th International Workshop, 2001

2000

Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2000

1999

Expressing Topological Connectivity of Spatial Databases.

[BibT_eX]

[DOI]

Proceedings of the Research Issues in Structured and Semistructured Database Programming, 1999

1998

Topological Canonization of Planar Spatial Data and Its Incremental Maintenance.

[BibT_eX]

Proceedings of the Fundamentals of Information Systems, 1998

Superposition of Markov sources and long range dependence.

[BibT_eX]

[DOI]

Chris Blondia

Proceedings of the Broadband Communications: The future of telecommunications, 1998

1997

The Correlation Structure of the Output of an ATM Multiplexer.

[BibT_eX]

Chris Blondia