Gaetano Geck

18 papers A* 1A 3B 2Journal 11
YearRankTypeTitle / Venue / Authors
2023 J jnl
Rewriting with Acyclic Queries: Mind Your Head.
Log. Methods Comput. Sci.
Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
2022 A conf
Rewriting with Acyclic Queries: Mind Your Head.
ICDT
Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
2022 J jnl
Rewriting with Acyclic Queries: Mind your Head.
CoRR
Gaetano Geck, Jens Keppeler, Thomas Schwentick, Christopher Spinrath
2021 J jnl
Iltis: Teaching Logic in the Web.
CoRR
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
2020 A conf
Distribution Constraints: The Chase for Distributed Data.
ICDT
Gaetano Geck, Frank Neven, Thomas Schwentick
2020 J jnl
Distribution Constraints: The Chase for Distributed Data.
CoRR
Gaetano Geck, Frank Neven, Thomas Schwentick
2019 J jnl
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
ACM Trans. Comput. Log.
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2019 — —
Reasoning about distributed relational data and query evaluation.
Gaetano Geck
2019 B conf
Teaching Logic with Iltis: an Interactive, Web-Based System.
ITiCSE
Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
2018 J jnl
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic.
CoRR
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
2018 B conf
Introduction to Iltis: an interactive, web-based system for teaching logic.
ITiCSE
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
2017 J jnl
Parallel-Correctness and Transferability for Conjunctive Queries.
J. ACM
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2017 J jnl
Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
Commun. ACM
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2016 J jnl
Data partitioning for single-round multi-join evaluation in massively parallel systems.
SIGMOD Rec.
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2016 A conf
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
ICDT
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2015 J jnl
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
CoRR
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2015 A* conf
Parallel-Correctness and Transferability for Conjunctive Queries.
PODS
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2014 J jnl
Parallel-Correctness and Transferability for Conjunctive Queries.
CoRR
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick