Gaetano Geck

Orcid: 0000-0002-8946-9440

According to our database1, Gaetano Geck authored at least 10 papers between 2016 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Rewriting with Acyclic Queries: Mind Your Head.
Log. Methods Comput. Sci., 2023

2021
Iltis: Teaching Logic in the Web.
CoRR, 2021

2020
Distribution Constraints: The Chase for Distributed Data.
Proceedings of the 23rd International Conference on Database Theory, 2020

2019
Reasoning about distributed relational data and query evaluation.
PhD thesis, 2019

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
ACM Trans. Comput. Log., 2019

Teaching Logic with Iltis: an Interactive, Web-Based System.
Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

2018
Introduction to Iltis: an interactive, web-based system for teaching logic.
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

2017
Parallel-Correctness and Transferability for Conjunctive Queries.
J. ACM, 2017

Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
Commun. ACM, 2017

2016
Data partitioning for single-round multi-join evaluation in massively parallel systems.
SIGMOD Rec., 2016


  Loading...