papers
Publications (14)
cs.LO2016
The Dynamic Descriptive Complexity of k-Clique
Thomas Zeume
cs.DB2019
A More General Theory of Static Approximations for Conjunctive Queries
Pablo Barceló, Miguel Romero, Thomas Zeume
cs.CY2018
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic
Gaetano Geck, Artur Ljulin, Sebastian Peter +3
cs.LO2015
Static Analysis for Logic-Based Dynamic Programs
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
cs.LO2015
On the quantifier-free dynamic complexity of Reachability
Thomas Zeume, Thomas Schwentick
cs.LO2012
Two-Variable Logic with Two Order Relations
Thomas Schwentick, Thomas Zeume
cs.LO2016
Order-Invariance of Two-Variable Logic is Decidable
Thomas Zeume, Frederik Harwath
cs.LO2013
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
Amaldev Manuel, Thomas Schwentick, Thomas Zeume
cs.LO2017
Dynamic Conjunctive Queries
Thomas Zeume, Thomas Schwentick
cs.LO2010
Temporal Logics on Words with Multiple Data Values
Ahmet Kara, Thomas Schwentick, Thomas Zeume
cs.LO2017
Reachability is in DynFO
Samir Datta, Raghav Kulkarni, Anish Mukherjee +2
cs.LO2017
Dynamic Complexity under Definable Changes
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
cs.LO2015
Dynamic Graph Queries
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
cs.LO2018
Reachability and Distances under Multiple Changes
Samir Datta, Anish Mukherjee, Nils Vortmeier +1