Thomas Zeume
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
12
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICDT | Database Theory in Action: Learning Logical Modelling with Iltis. | Tristan Kneisel, Fabian Vehlken, Thomas Zeume |
| 2026 | KR | Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas. | Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Malle Cornly, Lukas Pradel |
| 2026 | LICS | Dynamic Planar Graph Isomorphism Is in DynFO. | Samir Datta, Asif Khan, Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
| 2026 | STACS | Algebraic Characterizations of Classes of Regular Languages in DynFO. | Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
| 2025 | AIED | Logical Modelling in CS Education: Bridging the Natural Language Gap. | Tristan Kneisel, Fabian Vehlken, Thomas Zeume |
| 2025 | ICDT | Learning Tree Pattern Transformations. | Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume |
| 2025 | ICER | Difficulty Generating Factors for Context-free Language Construction Assignments. | Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter, Thomas Zeume |
| 2025 | SIGCSE | Tool-Assisted Learning of Computational Reductions. | Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume |
| 2024 | MFCS | Query Maintenance Under Batch Changes with Small-Depth Circuits. | Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
| 2024 | MFCS | Specification and Automatic Verification of Computational Reductions. | Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume |
| 2024 | SIGCSE | A Survey of Undergraduate Theory of Computing Curricula. | Ryan E. Dougherty, Tim Randolph, Tzu-Yi Chen, Jeff Erickson, Matthew Ferland, Dennis Komm, Jonathan Liu, Timothy Ng, Seth Poulsen, Smaranda Sandu, Michael Shindler, Edward Talmage, Thomas Zeume |
| 2023 | CSL | Dynamic Complexity of Regular Languages: Big Changes, Small Work. | Felix Tschirbs, Nils Vortmeier, Thomas Zeume |
| 2023 | SIGCSE | Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems. | Marko Schmellenkamp, Alexandra Latys, Thomas Zeume |
| 2022 | LICS | The Regular Languages of First-Order Logic with One Alternation. | Corentin Barloy, Michal Cadilhac, Charles Paperman, Thomas Zeume |
| 2021 | FOSSACS | Work-sensitive Dynamic Complexity of Formal Languages. | Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume |
| 2020 | CSL | Dynamic Complexity Meets Parameterised Algorithms. | Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis |
| 2020 | CSL | Dynamic Complexity of Parity Exists Queries. | Nils Vortmeier, Thomas Zeume |
| 2020 | ICALP | Dynamic Complexity of Reachability: How Many Changes Can We Handle? | Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier, Thomas Zeume |
| 2020 | KR | On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. | Jean Christoph Jung, Carsten Lutz, Thomas Zeume |
| 2020 | LICS | Register Automata with Extrema Constraints, and an Application to Two-Variable Logic. | Szymon Torunczyk, Thomas Zeume |
| 2019 | ITiCSE | Teaching Logic with Iltis: an Interactive, Web-Based System. | Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume |
| 2018 | ICALP | Reachability and Distances under Multiple Changes. | Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume |
| 2018 | ICDT | A More General Theory of Static Approximations for Conjunctive Queries. | Pablo Barcel, Miguel Romero, Thomas Zeume |
| 2018 | ICDT | An Update on Dynamic Complexity Theory. | Thomas Zeume |
| 2018 | ITiCSE | Introduction to Iltis: an interactive, web-based system for teaching logic. | Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume |
| 2018 | ITiCSE | Propagating the adoption of CS educational innovations. | Cynthia Bagier Taylor, Jaime Spacco, David P. Bunde, Zack Butler, Heather Bort, Christopher Lynnly Hovey, Francesco Maiorana, Thomas Zeume |
| 2018 | ITiCSE | Promoting the adoption of educational innovations. | Cynthia Bagier Taylor, Jaime Spacco, David P. Bunde, Thomas Zeume, Zack Butler, Martina Barnas, Heather Bort, Francesco Maiorana, Christopher Lynnly Hovey |
| 2017 | ICALP | A Strategy for Dynamic Programs: Start over and Muddle Through. | Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume |
| 2017 | ICDT | Dynamic Complexity under Definable Changes. | Thomas Schwentick, Nils Vortmeier, Thomas Zeume |
| 2016 | ICDT | Dynamic Graph Queries. | Pablo Muoz, Nils Vortmeier, Thomas Zeume |
| 2016 | LICS | Order-Invariance of Two-Variable Logic is Decidable. | Thomas Zeume, Frederik Harwath |
| 2015 | CSL | Static Analysis for Logic-based Dynamic Programs. | Thomas Schwentick, Nils Vortmeier, Thomas Zeume |
| 2015 | ICALP | Reachability is in DynFO. | Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume |
| 2014 | ICDT | Dynamic Conjunctive Queries. | Thomas Zeume, Thomas Schwentick |
| 2014 | MFCS | The Dynamic Descriptive Complexity of k-Clique. | Thomas Zeume |
| 2013 | CSL | Two-Variable Logic on 2-Dimensional Structures. | Amaldev Manuel, Thomas Zeume |
| 2013 | MFCS | On the Quantifier-Free Dynamic Complexity of Reachability. | Thomas Zeume, Thomas Schwentick |
| 2010 | CSL | Two-Variable Logic with Two Order Relations - (Extended Abstract). | Thomas Schwentick, Thomas Zeume |
| 2009 | MFCS | Bounds on Non-surjective Cellular Automata. | Jarkko Kari, Pascal Vanier, Thomas Zeume |