Data partitioning for single-round multi-join evaluation in massively parallel systems. - Tom J. Ameloot; Gaetano Geck; Bas Ketsman; Frank Neven; Thomas Schwentick (SIGMOD Rec., 2016)

Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems. - Tom J. Ameloot; Gaetano Geck; Bas Ketsman; Frank Neven; Thomas Schwentick (Commun. ACM, 2017)

Parallel-Correctness and Transferability for Conjunctive Queries. - Tom J. Ameloot; Gaetano Geck; Bas Ketsman; Frank Neven; Thomas Schwentick (J. ACM, 2017)

Introduction to Iltis: an interactive, web-based system for teaching logic. - Gaetano Geck; Artur Ljulin; Sebastian Peter; Jonas Schmidt 001; Fabian Vehlken; Thomas Zeume (ITiCSE, 2018)

Teaching Logic with Iltis: an Interactive, Web-Based System. - Gaetano Geck; Artur Ljulin; Jonas Haldimann; Johannes May; Jonas Schmidt 001; Marko Schmellenkamp; Daniel Sonnabend; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (ITiCSE, 2019)

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation. - Gaetano Geck; Bas Ketsman; Frank Neven; Thomas Schwentick (ACM Trans. Comput. Log., 2019)

Reasoning about distributed relational data and query evaluation. - Gaetano Geck (2019)

Distribution Constraints: The Chase for Distributed Data. - Gaetano Geck; Frank Neven; Thomas Schwentick (ICDT, 2020)

Iltis: Teaching Logic in the Web. - Gaetano Geck; Christine Quenkert; Marko Schmellenkamp; Jonas Schmidt 001; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (CoRR, 2021)

Rewriting with Acyclic Queries: Mind Your Head. - Gaetano Geck; Jens Keppeler; Thomas Schwentick; Christopher Spinrath (Log. Methods Comput. Sci., 2023)