Thomas Zeume
Identifiers
- name variant Thomas Zeume 0.60 · backfill
Papers (16)
- Dynamic Planar Graph Isomorphism is in DynFO cs.LO · 2026 · author #5
- Cross-Course Generalizability of SRL-Aligned Predictive Models Using Digital Learning Traces cs.CY · 2026 · author #7
- Detecting and Explaining (In-)equivalence of Context-Free Grammars cs.FL · 2024 · author #2
- A More General Theory of Static Approximations for Conjunctive Queries cs.DB · 2019 · author #3
- Reachability and Distances under Multiple Changes cs.LO · 2018 · author #4
- Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic cs.CY · 2018 · author #6
- Dynamic Conjunctive Queries cs.LO · 2017 · author #1
- Dynamic Complexity under Definable Changes cs.LO · 2017 · author #3
- The Dynamic Descriptive Complexity of k-Clique cs.LO · 2016 · author #1
- Order-Invariance of Two-Variable Logic is Decidable cs.LO · 2016 · author #1
- Dynamic Graph Queries cs.LO · 2015 · author #3
- Static Analysis for Logic-Based Dynamic Programs cs.LO · 2015 · author #3
- Reachability is in DynFO cs.LO · 2015 · author #5
- A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor cs.LO · 2013 · author #3
- On the quantifier-free dynamic complexity of Reachability cs.LO · 2013 · author #1
- Temporal Logics on Words with Multiple Data Values cs.LO · 2010 · author #3
Mentions
Frequent Coauthors
- Thomas Schwentick 7 shared papers
- Nils Vortmeier 5 shared papers
- Samir Datta 3 shared papers
- Anish Mukherjee 2 shared papers
- Marko Schmellenkamp 2 shared papers
- Ahmet Kara 1 shared papers
- Amaldev Manuel 1 shared papers
- Artur Ljulin 1 shared papers
- Asif Khan 1 shared papers
- Cedric Siems 1 shared papers
- Di Xu 1 shared papers
- Fabian Vehlken 1 shared papers
- Felix Tschirbs 1 shared papers
- Frederik Harwath 1 shared papers
- Fynn Stebel 1 shared papers
- Gaetano Geck 1 shared papers
- Jakob Schwerter 1 shared papers
- Jonas Schmidt 1 shared papers
- Judith Bose 1 shared papers
- Loreen Sabel 1 shared papers