Floris Geerts

University of Antwerp - Computer Science Department
Building G - Campus Middelheim
Middelheimlaan 1
B-2020 Antwerp, Belgium
+32(0)32653907
floris.geerts@uantwerp.be

I am Professor at the University of Antwerp in the Department of Computer Science where I am part of Adrem Data Lab. In the Adrem Data Lab, I guide research on the principles of data management and graph learning.

Publications

You can also find these articles on DBLP and Scholar.

Click icons for PDF , doi/url , arXiv version, or code .

2024
A neuro-symbolic framework for answering conjunctive queries. , ,, ,, ,. In The Third Learning on Graphs Conference (LOG), Best Paper Honorable Mention
Towards Bridging Generalization and Expressivity of Graph Neural Networks. , , ,.
Data Management in the Noisy Intermediate-Scale Quantum Era. , , ,.
A note on the VC dimension of 1-dimensional GNNs. , .
Weisfeiler-Leman at the margin: When more expressivity matters. , , ,.In Proceedings of the 41st International Conference on Machine Learning (ICML),
2023
The Power of Graph Learning. . (YouTube)Richard M. Karp Distinguished Lecture
The Expressive Power of Graph Learning. . (slides)Invited Tutorial at ACM Summer School on Data Science
A Query Language Perspective on Graph Learning. . In Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) (slides) Invited Tutorial
WL meet VC. , , and . In Proceedings of the 40th International Conference on Machine Learning (ICML), to appear .
2022
Ordered Subgraph Aggregation Networks. , , , and . In Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems (NeurIPS), to appear, .
Expressiveness and Approximation Properties of Graph Neural Networks. and . In Proceedings of 10th International Conference on Learning Representations (ICLR), OpenReview.net, . Outstanding Paper Award
On the expressive power of message-passing neural networks as global feature map transformers. , and . In Proceeding of the 12th International Symposium on Foundations of Information and Knowledge Systems (FoIKS), .
2021
Graph Neural Networks with Local Graph Parameters. , , and . In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems (NeurIPS), pp. 25280–25293, .
On the Expressive Power of Linear Algebra on Graphs. . In Theory Comput. Syst., vol. 65, no. 1, pp. 179–239, . Invited - Best of ICDT 2019
Let's Agree to Degree: Comparing Graph Convolutional Networks in the Message-Passing Framework. , and . In Proceedings of the 38th International Conference on Machine Learning (ICLM), PMLR, vol. 139, pp. 3640–3649, .
Matrix Query Languages. , , , and . In SIGMOD Rec., vol. 50, no. 3, pp. 6–19, .
Expressive Power of Linear Algebra Query Languages. , , and . In Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS), ACM, pp. 342–354, .
2020
Data Quality and Explainable AI. and . In ACM J. Data Inf. Qual., vol. 12, no. 2, pp. 11:1–11:9, .
When Can Matrix Query Languages Discern Matrices?. . In Proceedings of the 23rd International Conference on Database Theory (ICDT), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 155, pp. 12:1–12:18, .
Walk Message Passing Neural Networks and Second-Order Graph Neural Networks. . In CoRR, vol. abs/2006.09499, .
The expressive power of kth-order invariant graph networks. . In CoRR, vol. abs/2007.12035, .
Cleaning data with Llunatic. , , and . In VLDB J., vol. 29, no. 4, pp. 867–892, .
Cleaning Data with Forbidden Itemsets. and . In IEEE Trans. Knowl. Data Eng., vol. 32, no. 8, pp. 1489–1501, .
2019
On the Expressive Power of Linear Algebra on Graphs. . In 22nd International Conference on Database Theory, ICDT 2019, March 26-28, 2019, Lisbon, Portugal, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 127, pp. 7:1–7:19, .
Anytime Approximation in Probabilistic Databases via Scaled Dissociations. , , , and . In Proceedings of the 2019 International Conference on Management of Data, SIGMOD Conference 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019, ACM, pp. 1295–1312, .
MATLANG: Matrix operations and their expressive power. , , and . In SIGMOD Rec., vol. 48, no. 1, pp. 60–67, .
On the Expressive Power of Query Languages for Matrices. , , and . In ACM Trans. Database Syst., vol. 44, no. 4, pp. 15:1–15:31, . Invited - Best of ICDT 2018
2018
On the Expressive Power of Query Languages for Matrices. , , and . In 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 98, pp. 10:1–10:17, .
Revisiting Conditional Functional Dependency Discovery: Splitting the "C" from the "FD". and . In Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2018, Dublin, Ireland, September 10-14, 2018, Proceedings, Part II, Springer, vol. 11052, pp. 552–568, .
A General Framework for Anytime Approximation in Probabilistic Databases. , , and . In CoRR, vol. abs/1806.10078, .
On the expressive power of linear algebra on graphs. . In CoRR, vol. abs/1812.04379, .
Editorial: Special Issue on Improving the Veracity and Value of Big Data. , and . In ACM J. Data Inf. Qual., vol. 9, no. 3, pp. 13:1–13:2, .
Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space. and . In Math. Log. Q., vol. 64, no. 6, pp. 435–463, .
Explaining Repaired Data with CFDs. and . In Proc. VLDB Endow., vol. 11, no. 11, pp. 1387–1399, .
Bounded Query Rewriting Using Views. , , and . In ACM Trans. Database Syst., vol. 43, no. 1, pp. 6:1–6:46, .
Constraint Databases. . Chapter in Encyclopedia of Database Systems, Second Edition, Springer, .
Constraint Query Languages. . Chapter in Encyclopedia of Database Systems, Second Edition, Springer, .
2017
Cleaning Data with Forbidden Itemsets. , and . In 33rd IEEE International Conference on Data Engineering, ICDE 2017, San Diego, CA, USA, April 19-22, 2017, IEEE Computer Society, pp. 897–908, .
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 ACM, .
On the expressive power of query languages for matrices. , , and . In CoRR, vol. abs/1709.08359, .
First-order under-approximations of consistent query answers. , and . In Int. J. Approx. Reason., vol. 83, pp. 337–355, .
Database Theory Column Report on PODS 2017. . In SIGACT News, vol. 48, no. 4, pp. 75–77, .
2016
Scale Independence: Using Small Data to Answer Queries on Big Data (Invited Talk). . In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 48, pp. 2:1–2:2, .
Bounded Query Rewriting Using Views. , , and . In Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2016, San Francisco, CA, USA, June 26 - July 01, 2016, ACM, pp. 107–119, .
Bounded correlation clustering. and . In Int. J. Data Sci. Anal., vol. 1, no. 1, pp. 17–35, .
Algebraic Structures for Capturing the Provenance of SPARQL Queries. , , , and . In J. ACM, vol. 63, no. 1, pp. 7:1–7:63, .
Capturing Missing Tuples and Missing Values. , and . In ACM Trans. Database Syst., vol. 41, no. 2, pp. 10:1–10:47, .
2015
Space-Bounded Query Approximation. , and . In Advances in Databases and Information Systems - 19th East European Conference, ADBIS 2015, Poitiers, France, September 8-11, 2015, Proceedings, Springer, vol. 9282, pp. 397–414, .
Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, Brussels, Belgium, March 23-27, 2015 OpenProceedings.org, .
Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), Brussels, Belgium, March 27th, 2015 CEUR-WS.org, vol. 1330, .
Querying Big Data by Accessing Small Data. , , , and . In Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015, ACM, pp. 173–184, .
First-Order Under-Approximations of Consistent Query Answers. , and . In Scalable Uncertainty Management - 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings, Springer, vol. 9310, pp. 354–367, .
Cell-based Causality for Data Repairs. and . In 7th USENIX Workshop on the Theory and Practice of Provenance, TaPP 2015, Edinburgh, Scotland, UK, July 8-9, 2015, USENIX Association, .
On recommendation problems beyond points of interest. , and . In Inf. Syst., vol. 48, pp. 64–88, .
2014
Interactive correlation clustering. and . In International Conference on Data Science and Advanced Analytics, DSAA 2014, Shanghai, China, October 30 - November 1, 2014, IEEE, pp. 170–176, .
Mapping and cleaning. , , and . In IEEE 30th International Conference on Data Engineering, Chicago, ICDE 2014, IL, USA, March 31 - April 4, 2014, IEEE Computer Society, pp. 232–243, .
On scale independence for querying big data. , and . In Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014, ACM, pp. 51–62, .
An Overview of the Llunatic System. , , and . In 22nd Italian Symposium on Advanced Database Systems, SEBD 2014, Sorrento Coast, Italy, June 16-18, 2014, pp. 159–166, .
Detecting Errors in Numeric Attributes. , and . In Web-Age Information Management - 15th International Conference, WAIM 2014, Macau, China, June 16-18, 2014. Proceedings, Springer, vol. 8485, pp. 125–137, .
On the data complexity of relative information completeness. , , and . In Inf. Syst., vol. 45, pp. 18–34, .
Conflict resolution with data currency and consistency. , , and . In ACM J. Data Inf. Qual., vol. 5, no. 1-2, pp. 6:1–6:37, .
That's All Folks! LLUNATIC Goes Open Source. , , and . In Proc. VLDB Endow., vol. 7, no. 13, pp. 1565–1568, .
2013
Data Quality Problems beyond Consistency and Deduplication. , , , and . In In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman, Springer, vol. 8000, pp. 237–249, .
Looking at the World Thru Colored Glasses. and . In In Search of Elegance in the Theory and Practice of Computation - Essays Dedicated to Peter Buneman, Springer, vol. 8000, pp. 259–272, .
Inferring data currency and consistency for conflict resolution. , , and . In 29th IEEE International Conference on Data Engineering, ICDE 2013, Brisbane, Australia, April 8-12, 2013, IEEE Computer Society, pp. 470–481, .
Algebraic structures for capturing the provenance of SPARQL queries. , , and . In Joint 2013 EDBT/ICDT Conferences, ICDT '13 Proceedings, Genoa, Italy, March 18-22, 2013, ACM, pp. 153–164, .
Generating, Sampling and Counting Subclasses of Regular Tree Languages. , , and . In Theory Comput. Syst., vol. 52, no. 3, pp. 542–585, .
Making Queries Tractable on Big Data with Preprocessing. , and . In Proc. VLDB Endow., vol. 6, no. 9, pp. 685–696, .
The LLUNATIC Data-Cleaning Framework. , , and . In Proc. VLDB Endow., vol. 6, no. 9, pp. 625–636, .
On the Complexity of Package Recommendation Problems. , and . In SIAM J. Comput., vol. 42, no. 5, pp. 1940–1986, .
2012
On the complexity of package recommendation problems. , and . In Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2012, Scottsdale, AZ, USA, May 20-24, 2012, ACM, pp. 261–272, .
View determinacy for preserving selected information in data transformations. , and . In Inf. Syst., vol. 37, no. 1, pp. 1–12, .
On the Complexity of View Update Analysis and Its Application to Annotation Propagation. , , , and . In IEEE Trans. Knowl. Data Eng., vol. 24, no. 3, pp. 506–519, .
Determining the Currency of Data. , and . In ACM Trans. Database Syst., vol. 37, no. 4, pp. 25:1–25:46, .
Foundations of Data Quality Management. and . Morgan & Claypool Publishers, .
2011
Generating, sampling and counting subclasses of regular tree languages. , , and . In Database Theory - ICDT 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings, ACM, pp. 30–41, .
Determining the currency of data. , and . In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, June 12-16, 2011, Athens, Greece, ACM, pp. 71–82, .
Uniform Dependency Language for Improving Data Quality. and . In IEEE Data Eng. Bull., vol. 34, no. 3, pp. 34–42, .
Relational completeness of query languages for annotated databases. and . In J. Comput. Syst. Sci., vol. 77, no. 3, pp. 491–504, .
Foreword. , , , , and . In Theory Comput. Syst., vol. 49, no. 2, pp. 365–366, .
Discovering Conditional Functional Dependencies. , , and . In IEEE Trans. Knowl. Data Eng., vol. 23, no. 5, pp. 683–698, .
2010
Detecting inconsistencies in distributed data. , and . In Proceedings of the 26th International Conference on Data Engineering, ICDE 2010, March 1-6, 2010, Long Beach, California, USA, IEEE Computer Society, pp. 64–75, .
Static analysis of schema-mappings ensuring oblivious termination. and . In Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, ACM, pp. 183–195, .
Capturing missing tuples and missing values. and . In Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2010, June 6-11, 2010, Indianapolis, Indiana, USA, ACM, pp. 169–178, .
On database query languages for K-relations. and . In J. Appl. Log., vol. 8, no. 2, pp. 173–185, .
Relative information completeness. and . In ACM Trans. Database Syst., vol. 35, no. 4, pp. 27:1–27:44, .
2009
Conditional Dependencies: A Principled Approach to Improving Data Quality. , and . In Dataspace: The Final Frontier, 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings, Springer, vol. 5588, pp. 8–20, .
Database Programming Languages - DBPL 2009, 12th International Symposium, Lyon, France, August 24, 2009. Proceedings Springer, vol. 5708, .
Discovering Conditional Functional Dependencies. , , and . In Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, IEEE Computer Society, pp. 1231–1234, .
Relative information completeness. and . In Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, ACM, pp. 97–106, .
Constraint Databases. . Chapter in Encyclopedia of Database Systems, Springer US, pp. 452–453, .
Constraint Query Languages. . Chapter in Encyclopedia of Database Systems, Springer US, pp. 454–458, .
2008
Increasing the Expressivity of Conditional Functional Dependencies without Extra Complexity. , , and . In Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico, IEEE Computer Society, pp. 516–525, .
Complexity and composition of synthesized web services. , , , and . In Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, ACM, pp. 231–240, .
XPath satisfiability in the presence of DTDs. , and . In J. ACM, vol. 55, no. 2, pp. 8:1–8:79, .
Semandaq: a data quality system based on conditional functional dependencies. , and . In Proc. VLDB Endow., vol. 1, no. 2, pp. 1460–1463, .
A revival of integrity constraints for data cleaning. , and . In Proc. VLDB Endow., vol. 1, no. 2, pp. 1522–1523, .
First-order complete and computationally complete query languages for spatio-temporal databases. , and . In ACM Trans. Comput. Log., vol. 9, no. 2, pp. 13:1–13:51, .
Conditional functional dependencies for capturing data inconsistencies. , , and . In ACM Trans. Database Syst., vol. 33, no. 2, pp. 6:1–6:48, .
Expressiveness and complexity of XML publishing transducers. , and . In ACM Trans. Database Syst., vol. 33, no. 4, pp. 25:1–25:49, .
2007
Relational Completeness of Query Languages for Annotated Databases. and . In Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers, Springer, vol. 4797, pp. 127–137, .
Conditional Functional Dependencies for Data Cleaning. , , , and . In Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, IEEE Computer Society, pp. 746–755, .
Rewriting Regular XPath Queries on XML Views. , , and . In Proceedings of the 23rd International Conference on Data Engineering, ICDE 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007, IEEE Computer Society, pp. 666–675, .
Expressiveness and complexity of xml publishing transducers. , and . In Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, ACM, pp. 83–92, .
Improving Data Quality: Consistency and Accuracy. , , , and . In Proceedings of the 33rd International Conference on Very Large Data Bases, University of Vienna, Austria, September 23-27, 2007, ACM, pp. 315–326, .
Real Algebraic Geometry and Constraint Databases. and . Chapter in Handbook of Spatial Logics, Springer, pp. 799–856, .
2006
Annotation propagation revisited for key preserving views. , and . In Proceedings of the 2006 ACM CIKM International Conference on Information and Knowledge Management, Arlington, Virginia, USA, November 6-11, 2006, ACM, pp. 632–641, .
\emphiMONDRIAN: A Visual Tool to Annotate and Query Scientific Databases. , and . In Advances in Database Technology - EDBT 2006, 10th International Conference on Extending Database Technology, Munich, Germany, March 26-31, 2006, Proceedings, Springer, vol. 3896, pp. 1168–1171, .
On-line maintenance of simplified weighted graphs for efficient distance queries. , and . In 14th ACM International Symposium on Geographic Information Systems, ACM-GIS 2006, November 10-11, 2006, Arlington, Virginia, USA, Proceedings, ACM, pp. 203–210, .
MONDRIAN: Annotating and Querying Databases through Colors and Blocks. , and . In Proceedings of the 22nd International Conference on Data Engineering, ICDE 2006, 3-8 April 2006, Atlanta, GA, USA, IEEE Computer Society, pp. 82, .
SMOQE: A System for Providing Secure Access to XML. , , and . In Proceedings of the 32nd International Conference on Very Large Data Bases, Seoul, Korea, September 12-15, 2006, ACM, pp. 1227–1230, .
HaploRec: efficient and accurate large-scale reconstruction of haplotypes. , and . In BMC Bioinform., vol. 7, pp. 542, .
On-line topological simplification of weighted graphs. , and . In CoRR, vol. abs/cs/0608091, .
Linearization and Completeness Results for Terminating Transitive Closure Queries on Spatial Databases. , and . In SIAM J. Comput., vol. 35, no. 6, pp. 1386–1439, .
2005
Satisfiability of XPath Queries with Sibling Axes. and . In Database Programming Languages, 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers, Springer, vol. 3774, pp. 122–137, .
XPath satisfiability in the presence of DTDs. , and . In Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 13-15, 2005, Baltimore, Maryland, USA, ACM, pp. 25–36, .
N-dimensional versus (N-1)-dimensional connectivity testing of first-order queries to semi-algebraic sets. , and . In Acta Informatica, vol. 42, no. 1, pp. 43–56, .
First-order Complete and Computationally Complete Query Languages for Spatio-Temporal Databases. , and . In CoRR, vol. abs/cs/0503012, .
On the decidability of termination of query evaluation in transitive-closure logics for polynomial constraint databases. and . In Theor. Comput. Sci., vol. 336, no. 1, pp. 125–151, .
Tight upper bounds on the number of candidate patterns. , and . In ACM Trans. Database Syst., vol. 30, no. 2, pp. 333–363, .
2004
Moving Objects and Their Equations of Motion. . In Constraint Databases, Proceedings of the 1st International Symposium on Applications of Constraint Databases, CDB'04, Paris, France, June 12-13, 2004, Springer, vol. 3074, pp. 41–52, .
Tiling Databases. and . In Discovery Science, 7th International Conference, DS 2004, Padova, Italy, October 2-5, 2004, Proceedings, Springer, vol. 3245, pp. 278–289, .
A Markov Chain Approach to Reconstruction of Long Haplotypes. , and . In Biocomputing 2004, Proceedings of the Pacific Symposium, Hawaii, USA, 6-10 January 2004, World Scientific, pp. 104–115, .
Relational link-based ranking. , and . In (e)Proceedings of the Thirtieth International Conference on Very Large Data Bases, VLDB 2004, Toronto, Canada, August 31 - September 3 2004, Morgan Kaufmann, pp. 552–563, .
Frequent Knot Discovery. . In CoRR, vol. cs.DB/0410038, .
Topological formulation of termination properties of iterates of functions. and . In Inf. Process. Lett., vol. 89, no. 1, pp. 31–35, .
2003
Deciding Termination of Query Evaluation in Transitive-Closure Logics for Constraint Databases. and . In Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings, Springer, vol. 2572, pp. 190–206, .
What You Store is What You Get. and . In Proceedings of the Second International Workshop on Inductive Databases, 22 September, Cavtat-Dubrovnik, Croatia, Rudjer Boskovic Institute, Zagreb, Croatia, pp. 60–69, .
Two- versus three-dimensional connectivity testing of first-order queries to semi-algebraic sets. , and . In CoRR, vol. cs.LO/0308001, .
Expressing the box cone radius in the relational calculus with real polynomial constraints. . In Discret. Comput. Geom., vol. 30, no. 4, pp. 607–622, .
2001
Linear Approximation of Semi-algebraic Spatial Databases Using Transitive Closure Logic, in Arbitrary Dimension. . In Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers, Springer, vol. 2397, pp. 182–197, .
A Theory of Spatio-Temporal Database Queries. , and . In Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers, Springer, vol. 2397, pp. 198–212, .
A Tight Upper Bound on the Number of Candidate Patterns. , and . In Proceedings of the 2001 IEEE International Conference on Data Mining, 29 November - 2 December 2001, San Jose, California, USA, IEEE Computer Society, pp. 155–162, .
Expressing the cone radius in the relational calculus with real polynomial constraints. . In CoRR, vol. cs.DB/0106046, .
A Tight Upper Bound on the Number of Candidate Patterns. , and . In CoRR, vol. cs.DB/0112007, .
2000
Linear Approximation of Planar Spatial Databases Using Transitive-Closure Logic. and . In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA, ACM, pp. 126–135, .
1999
Expressing Topological Connectivity of Spatial Databases. and . In Research Issues in Structured and Semistructured Database Programming. Proceedings of the 7th International Workshop on Database Programming Languages (DBPL), Springer, vol. 1949, pp. 224–238, .
1998
Superposition of Markov sources and long range dependence. and . In Broadband Communications: The future of telecommunications. Proceedings of the 4th International Conference on Broadband Communications (BC '98), Chapman & Hall, vol. 121, pp. 550–562, .
Topological Canonization of Planar Spatial Data and Its Incremental Maintenance. , and . In Fundamentals of Information Systems - Papers from the 7th Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO), Kluwer, pp. 55–67, .
1997
The Correlation Structure of the Output of an ATM Multiplexer. and . In Performance Analysis of ATM Networks. Proceedings of the 5th International Workshop on Performance Modelling and Evaluation of ATM Networks, Kluwer, vol. 157, pp. 235–250, .