Thomas Zeume

92 papers A* 7A 9B 14Journal 47Unranked 13
YearRankTypeTitle / Venue / Authors
2026 A conf
Algebraic Characterizations of Classes of Regular Languages in DynFO.
STACS
Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2026 J jnl
Algebraic Characterizations of Classes of Regular Languages in DynFO.
CoRR
Corentin Barloy, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2026 A conf
Database Theory in Action: Learning Logical Modelling with Iltis.
ICDT
Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2026 J jnl
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.
CoRR
Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély, Lukas Pradel
2026 J jnl
NILE: Formalizing Natural-Language Descriptions of Formal Languages.
CoRR
Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2025 J jnl
Detecting and Explaining (In-)equivalence of Context-Free Grammars.
Proc. ACM Program. Lang.
Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel
2025 — conf
Difficulty Generating Factors for Context-free Language Construction Assignments.
ICER (1)
Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter, Thomas Zeume
2025 J jnl
Difficulty Generating Factors for Context-free Language Construction Assignments.
CoRR
Florian Schmalstieg, Marko Schmellenkamp, Jakob Schwerter, Thomas Zeume
2025 — conf
Errors and Misconceptions in First-Order Logic Modeling.
Koli Calling
Marko Schmellenkamp, Florian Schmalstieg, Thomas Zeume
2025 A conf
Learning Tree Pattern Transformations.
ICDT
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2025 — conf
Logical Modelling in CS Education: Bridging the Natural Language Gap.
AIED (4)
Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2025 J jnl
Logical Modelling in CS Education: Bridging the Natural Language Gap.
CoRR
Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2025 — conf
Tool-Assisted Learning of Computational Reductions.
SIGCSE (1)
Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2024 — conf
A Survey of Undergraduate Theory of Computation Curricula in the United States.
SIGCSE Virtual (Working Group Reports)
Ryan E. Dougherty, Tim Randolph, Tzu-Yi Chen, Jeff Erickson, Matthew Ferland, Dennis Komm, Jonathan Liu, Timothy Ng, Ana Smaranda Sandu, Michael Shindler, Edward Talmage, Thomas Zeume
2024 — conf
A Survey of Undergraduate Theory of Computing Curricula.
SIGCSE Virtual (2)
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
2024 J jnl
Detecting and explaining (in)equivalence of context-free grammars.
CoRR
Marko Schmellenkamp, Thomas Zeume, Sven Argo, Sandra Kiefer, Cedric Siems, Fynn Stebel
2024 — conf
Exploring Error Types in Formal Languages Among Students of Upper Secondary Education.
Koli Calling
Marko Schmellenkamp, Dennis Stanglmair, Tilman Michaeli, Thomas Zeume
2024 J jnl
Exploring Error Types in Formal Languages Among Students of Upper Secondary Education.
CoRR
Marko Schmellenkamp, Dennis Stanglmair, Tilman Michaeli, Thomas Zeume
2024 J jnl
Learning Tree Pattern Transformations.
CoRR
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2024 B conf
Query Maintenance Under Batch Changes with Small-Depth Circuits.
MFCS
Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2024 J jnl
Query maintenance under batch changes with small-depth circuits.
CoRR
Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2024 B conf
Specification and Automatic Verification of Computational Reductions.
MFCS
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
2024 J jnl
Specification and Automatic Verification of Computational Reductions.
CoRR
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
2024 J jnl
Teaching Formal Foundations of Computer Science with Iltis.
Bull. EATCS
Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2024 J jnl
Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251).
Dagstuhl Reports
Tiffany Barnes, Jan Vahrenhold, Thomas Zeume, Florian Schmalstieg
2024 J jnl
Tool-Assisted Learning of Computational Reductions.
CoRR
Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2023 — conf
Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems.
SIGCSE (1)
Marko Schmellenkamp, Alexandra Latys, Thomas Zeume
2023 B conf
Dynamic Complexity of Regular Languages: Big Changes, Small Work.
CSL
Felix Tschirbs, Nils Vortmeier, Thomas Zeume
2022 J jnl
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic.
Log. Methods Comput. Sci.
Szymon Torunczyk, Thomas Zeume
2022 A* conf
The Regular Languages of First-Order Logic with One Alternation.
LICS
Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
2022 J jnl
The Regular Languages of First-Order Logic with One Alternation.
CoRR
Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume
2021 J jnl
Dynamic Complexity of Parity Exists Queries.
Log. Methods Comput. Sci.
Nils Vortmeier, Thomas Zeume
2021 J jnl
Iltis: Teaching Logic in the Web.
CoRR
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
2021 J jnl
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic.
CoRR
Szymon Torunczyk, Thomas Zeume
2021 B conf
Work-sensitive Dynamic Complexity of Formal Languages.
FoSSaCS
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
2021 J jnl
Work-sensitive Dynamic Complexity of Formal Languages.
CoRR
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
2020 J jnl
A More General Theory of Static Approximations for Conjunctive Queries.
Theory Comput. Syst.
Pablo Barceló, Miguel Romero, Thomas Zeume
2020 B conf
Dynamic Complexity Meets Parameterised Algorithms.
CSL
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
2020 B conf
Dynamic Complexity of Parity Exists Queries.
CSL
Nils Vortmeier, Thomas Zeume
2020 A* conf
Dynamic Complexity of Reachability: How Many Changes Can We Handle?
ICALP
Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier, Thomas Zeume
2020 J jnl
Dynamic complexity of Reachability: How many changes can we handle?
CoRR
Samir Datta, Pankaj Kumar, Anish Mukherjee, Anuj Tawari, Nils Vortmeier, Thomas Zeume
2020 A* conf
On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions.
KR
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
2020 A* conf
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic.
LICS
Szymon Torunczyk, Thomas Zeume
2020 J jnl
Sketches of Dynamic Complexity.
SIGMOD Rec.
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2019 J jnl
A More General Theory of Static Approximations for Conjunctive Queries.
CoRR
Pablo Barceló, Miguel Romero, Thomas Zeume
2019 J jnl
A Strategy for Dynamic Programs: Start over and Muddle through.
Log. Methods Comput. Sci.
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2019 — conf
Decidability and Complexity of ALCOIF with Transitive Closure (and More).
Description Logics
Jean Christoph Jung, Carsten Lutz, Thomas Zeume
2019 J jnl
Dynamic Complexity Meets Parameterised Algorithms.
CoRR
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
2019 J jnl
Dynamic Complexity of Parity Exists Queries.
CoRR
Nils Vortmeier, Thomas Zeume
2019 B conf
Teaching Logic with Iltis: an Interactive, Web-Based System.
ITiCSE
Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
2018 A conf
A More General Theory of Static Approximations for Conjunctive Queries.
ICDT
Pablo Barceló, Miguel Romero, Thomas Zeume
2018 A conf
An Update on Dynamic Complexity Theory.
ICDT
Thomas Zeume
2018 J jnl
Dynamic Complexity under Definable Changes.
ACM Trans. Database Syst.
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2018 J jnl
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic.
CoRR
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
2018 B conf
Introduction to Iltis: an interactive, web-based system for teaching logic.
ITiCSE
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
2018 B conf
Promoting the adoption of educational innovations.
ITiCSE
Cynthia Bagier Taylor, Jaime Spacco, David P. Bunde, Thomas Zeume, Zack Butler, Martina Barnas, Heather Bort, Francesco Maiorana, Christopher Lynnly Hovey
2018 — conf
Propagating the adoption of CS educational innovations.
ITiCSE (Companion)
Cynthia Bagier Taylor, Jaime Spacco, David P. Bunde, Zack Butler, Heather Bort, Christopher Lynnly Hovey, Francesco Maiorana, Thomas Zeume
2018 J jnl
Reachability Is in DynFO.
J. ACM
Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
2018 A* conf
Reachability and Distances under Multiple Changes.
ICALP
Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume
2018 J jnl
Reachability and Distances under Multiple Changes.
CoRR
Samir Datta, Anish Mukherjee, Nils Vortmeier, Thomas Zeume
2017 A* conf
A Strategy for Dynamic Programs: Start over and Muddle Through.
ICALP
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2017 J jnl
A Strategy for Dynamic Programs: Start over and Muddle through.
CoRR
Samir Datta, Anish Mukherjee, Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2017 A conf
Dynamic Complexity under Definable Changes.
ICDT
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2017 J jnl
Dynamic Complexity under Definable Changes.
CoRR
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2017 J jnl
Dynamic Conjunctive Queries.
CoRR
Thomas Zeume, Thomas Schwentick
2017 J jnl
Dynamic conjunctive queries.
J. Comput. Syst. Sci.
Thomas Zeume, Thomas Schwentick
2017 — book
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity
Thomas Zeume
2017 J jnl
The dynamic descriptive complexity of k-clique.
Inf. Comput.
Thomas Zeume
2016 A ed.
19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016
ICDT
Wim Martens, Thomas Zeume
2016 A conf
Dynamic Graph Queries.
ICDT
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
2016 J jnl
Dynamic complexity: recent updates.
ACM SIGLOG News
Thomas Schwentick, Thomas Zeume
2016 A* conf
Order-Invariance of Two-Variable Logic is Decidable.
LICS
Thomas Zeume, Frederik Harwath
2016 J jnl
Order-Invariance of Two-Variable Logic is Decidable.
CoRR
Thomas Zeume, Frederik Harwath
2016 J jnl
The Dynamic Descriptive Complexity of k-Clique.
CoRR
Thomas Zeume
2015 J jnl
Dynamic Graph Queries.
CoRR
Pablo Muñoz, Nils Vortmeier, Thomas Zeume
2015 J jnl
On the quantifier-free dynamic complexity of Reachability.
Inf. Comput.
Thomas Zeume, Thomas Schwentick
2015 — conf
Reachability is in DynFO.
ICALP (2)
Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
2015 J jnl
Reachability is in DynFO.
CoRR
Samir Datta, Raghav Kulkarni, Anish Mukherjee, Thomas Schwentick, Thomas Zeume
2015 — —
Small dynamic complexity classes.
Thomas Zeume
2015 J jnl
Static Analysis for Logic-Based Dynamic Programs.
CoRR
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2015 B conf
Static Analysis for Logic-based Dynamic Programs.
CSL
Thomas Schwentick, Nils Vortmeier, Thomas Zeume
2014 A conf
Dynamic Conjunctive Queries.
ICDT
Thomas Zeume, Thomas Schwentick
2014 — conf
The Dynamic Descriptive Complexity of k-Clique.
MFCS (1)
Thomas Zeume
2013 J jnl
A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor.
CoRR
Amaldev Manuel, Thomas Schwentick, Thomas Zeume
2013 B conf
On the Quantifier-Free Dynamic Complexity of Reachability.
MFCS
Thomas Zeume, Thomas Schwentick
2013 J jnl
On the quantifier-free dynamic complexity of Reachability.
CoRR
Thomas Zeume, Thomas Schwentick
2013 B conf
Two-Variable Logic on 2-Dimensional Structures.
CSL
Amaldev Manuel, Thomas Zeume
2012 J jnl
Two-Variable Logic with Two Order Relations
Log. Methods Comput. Sci.
Thomas Schwentick, Thomas Zeume
2010 J jnl
Temporal Logics on Words with Multiple Data Values
CoRR
Ahmet Kara, Thomas Schwentick, Thomas Zeume
2010 — conf
Temporal Logics on Words with Multiple Data Values.
FSTTCS
Ahmet Kara, Thomas Schwentick, Thomas Zeume
2010 B conf
Two-Variable Logic with Two Order Relations - (Extended Abstract).
CSL
Thomas Schwentick, Thomas Zeume
2009 B conf
Bounds on Non-surjective Cellular Automata.
MFCS
Jarkko Kari, Pascal Vanier, Thomas Zeume