2020

  1. Gaetano Geck, Frank Neven and Thomas Schwentick.
    Distribution Constraints: The Chase for Distributed Data.
    In Carsten Lutz and Jean Christoph Jung (eds.). 23rd International Conference on Database Theory, ICDT 2020, March 30-April 2, 2020, Copenhagen, Denmark 155. 2020, 13:1–13:19.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/GeckNS20,
    	author = "Gaetano Geck and Frank Neven and Thomas Schwentick",
    	editor = "Carsten Lutz and Jean Christoph Jung",
    	title = "Distribution Constraints: The Chase for Distributed Data",
    	booktitle = "23rd International Conference on Database Theory, {ICDT} 2020, March 30-April 2, 2020, Copenhagen, Denmark",
    	series = "LIPIcs",
    	volume = 155,
    	pages = "13:1--13:19",
    	publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
    	year = 2020,
    	url = "https://doi.org/10.4230/LIPIcs.ICDT.2020.13",
    	doi = "10.4230/LIPIcs.ICDT.2020.13",
    	timestamp = "Thu, 19 Mar 2020 10:24:23 +0100",
    	biburl = "https://dblp.org/rec/conf/icdt/GeckNS20.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2019

  1. Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
    In 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. 2016, 9:1–9:17.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/icdt/GeckKNS16,
    	author = "Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	bibsource = "dblp computer science bibliography, http://dblp.org",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/icdt/GeckKNS16",
    	booktitle = "19th International Conference on Database Theory, {ICDT} 2016, Bordeaux, France, March 15-18, 2016",
    	crossref = "DBLP:conf/icdt/2016",
    	doi = "10.4230/LIPIcs.ICDT.2016.9",
    	pages = "9:1--9:17",
    	timestamp = "Wed, 23 Mar 2016 10:12:09 +0100",
    	title = "Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation",
    	url = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9",
    	year = 2016,
    	bdsk-url-1 = "http://dx.doi.org/10.4230/LIPIcs.ICDT.2016.9"
    }
    

  1. Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken and Thomas Zeume.
    Teaching Logic with Iltis: an Interactive, Web-Based System.
    In Bruce Scharlau, Roger McDermott, Arnold Pears and Mihaela Sabin (eds.). Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019. 2019, 307.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/iticse/GeckLHMSSSTVZ19,
    	author = "Gaetano Geck and Artur Ljulin and Jonas Haldimann and Johannes May and Jonas Schmidt and Marko Schmellenkamp and Daniel Sonnabend and Felix Tschirbs and Fabian Vehlken and Thomas Zeume",
    	editor = "Bruce Scharlau and Roger McDermott and Arnold Pears and Mihaela Sabin",
    	title = "Teaching Logic with Iltis: an Interactive, Web-Based System",
    	booktitle = "Proceedings of the 2019 {ACM} Conference on Innovation and Technology in Computer Science Education, Aberdeen, Scotland, UK, July 15-17, 2019",
    	pages = 307,
    	publisher = "{ACM}",
    	year = 2019,
    	url = "https://doi.org/10.1145/3304221.3325571",
    	doi = "10.1145/3304221.3325571",
    	timestamp = "Fri, 27 Dec 2019 21:22:52 +0100",
    	biburl = "https://dblp.org/rec/conf/iticse/GeckLHMSSSTVZ19.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2018

  1. Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken and Thomas Zeume.
    Introduction to Iltis: an interactive, web-based system for teaching logic.
    In Irene Polycarpou, Janet C Read, Panayiotis Andreou and Michal Armoni (eds.). Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018. 2018, 141–146.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/iticse/GeckLPSVZ18,
    	author = "Gaetano Geck and Artur Ljulin and Sebastian Peter and Jonas Schmidt and Fabian Vehlken and Thomas Zeume",
    	editor = "Irene Polycarpou and Janet C. Read and Panayiotis Andreou and Michal Armoni",
    	title = "Introduction to Iltis: an interactive, web-based system for teaching logic",
    	booktitle = "Proceedings of the 23rd Annual {ACM} Conference on Innovation and Technology in Computer Science Education, ITiCSE 2018, Larnaca, Cyprus, July 02-04, 2018",
    	pages = "141--146",
    	publisher = "{ACM}",
    	year = 2018,
    	url = "https://doi.org/10.1145/3197091.3197095",
    	doi = "10.1145/3197091.3197095",
    	timestamp = "Wed, 21 Nov 2018 12:44:02 +0100",
    	biburl = "https://dblp.org/rec/conf/iticse/GeckLPSVZ18.bib",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2017

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
    Commun. ACM 60(3):93–100, 2017.
    URL, DOI BibTeX

    @article{DBLP:journals/cacm/AmelootGKNS17,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems",
    	journal = "Commun. {ACM}",
    	volume = 60,
    	number = 3,
    	pages = "93--100",
    	year = 2017,
    	url = "https://doi.org/10.1145/3041063",
    	doi = "10.1145/3041063",
    	timestamp = "Tue, 06 Nov 2018 12:51:41 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/cacm/AmelootGKNS17",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2016

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Data partitioning for single-round multi-join evaluation in massively parallel systems.
    SIGMOD Record 45(1):33–40, 2016.
    URL, DOI BibTeX

    @article{DBLP:journals/sigmod/AmelootGKNS16,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Data partitioning for single-round multi-join evaluation in massively parallel systems",
    	journal = "{SIGMOD} Record",
    	volume = 45,
    	number = 1,
    	pages = "33--40",
    	year = 2016,
    	url = "https://doi.org/10.1145/2949741.2949750",
    	doi = "10.1145/2949741.2949750",
    	timestamp = "Tue, 06 Nov 2018 12:51:23 +0100",
    	biburl = "https://dblp.org/rec/bib/journals/sigmod/AmelootGKNS16",
    	bibsource = "dblp computer science bibliography, https://dblp.org"
    }
    

2015

  1. Tom J Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven and Thomas Schwentick.
    Parallel-Correctness and Transferability for Conjunctive Queries.
    In Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015. 2015, 47–58.
    URL, DOI BibTeX

    @inproceedings{DBLP:conf/pods/AmelootGKNS15,
    	author = "Tom J. Ameloot and Gaetano Geck and Bas Ketsman and Frank Neven and Thomas Schwentick",
    	title = "Parallel-Correctness and Transferability for Conjunctive Queries",
    	booktitle = "Proceedings of the 34th {ACM} Symposium on Principles of Database Systems, {PODS} 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015",
    	pages = "47--58",
    	year = 2015,
    	crossref = "DBLP:conf/pods/2015",
    	url = "http://doi.acm.org/10.1145/2745754.2745759",
    	doi = "10.1145/2745754.2745759",
    	timestamp = "Sun, 24 May 2015 12:17:12 +0200",
    	biburl = "http://dblp.uni-trier.de/rec/bib/conf/pods/AmelootGKNS15",
    	bibsource = "dblp computer science bibliography, http://dblp.org"
    }
    

2014

2013

2012

2011

2010

2009

2008