Bounds on Non-surjective Cellular Automata. - Jarkko Kari; Pascal Vanier; Thomas Zeume (MFCS, 2009)

Two-Variable Logic with Two Order Relations - (Extended Abstract). - Thomas Schwentick; Thomas Zeume (CSL, 2010)

Temporal Logics on Words with Multiple Data Values. - Ahmet Kara 002; Thomas Schwentick; Thomas Zeume (FSTTCS, 2010)

Two-Variable Logic with Two Order Relations - Thomas Schwentick; Thomas Zeume (Log. Methods Comput. Sci., 2012)

Two-Variable Logic on 2-Dimensional Structures. - Amaldev Manuel; Thomas Zeume (CSL, 2013)

A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor. - Amaldev Manuel; Thomas Schwentick; Thomas Zeume (CoRR, 2013)

Static Analysis for Logic-based Dynamic Programs. - Thomas Schwentick; Nils Vortmeier; Thomas Zeume (CSL, 2015)

On the quantifier-free dynamic complexity of Reachability. - Thomas Zeume; Thomas Schwentick (Inf. Comput., 2015)

Small dynamic complexity classes. - Thomas Zeume (2015)

Dynamic Graph Queries. - Pablo Muñoz 004; Nils Vortmeier; Thomas Zeume (ICDT, 2016)

Order-Invariance of Two-Variable Logic is Decidable. - Thomas Zeume; Frederik Harwath (LICS, 2016)

Dynamic complexity: recent updates. - Thomas Schwentick; Thomas Zeume (ACM SIGLOG News, 2016)

The dynamic descriptive complexity of k-clique. - Thomas Zeume (Inf. Comput., 2017)

Dynamic conjunctive queries. - Thomas Zeume; Thomas Schwentick (J. Comput. Syst. Sci., 2017)

Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity - Thomas Zeume (Springer, 2017)

Reachability and Distances under Multiple Changes. - Samir Datta; Anish Mukherjee 001; Nils Vortmeier; Thomas Zeume (ICALP, 2018)

An Update on Dynamic Complexity Theory. - Thomas Zeume (ICDT, 2018)

Introduction to Iltis: an interactive, web-based system for teaching logic. - Gaetano Geck; Artur Ljulin; Sebastian Peter; Jonas Schmidt 001; Fabian Vehlken; Thomas Zeume (ITiCSE, 2018)

Propagating the adoption of CS educational innovations. - Cynthia Bagier Taylor; Jaime Spacco; David P. Bunde; Zack Butler 001; Heather Bort; Christopher Lynnly Hovey; Francesco Maiorana; Thomas Zeume (ITiCSE (Companion), 2018)

Promoting the adoption of educational innovations. - Cynthia Bagier Taylor; Jaime Spacco; David P. Bunde; Thomas Zeume; Zack Butler 001; Martina Barnas; Heather Bort; Francesco Maiorana; Christopher Lynnly Hovey (ITiCSE, 2018)

Reachability Is in DynFO. - Samir Datta; Raghav Kulkarni; Anish Mukherjee 001; Thomas Schwentick; Thomas Zeume (J. ACM, 2018)

Dynamic Complexity under Definable Changes. - Thomas Schwentick; Nils Vortmeier; Thomas Zeume (ACM Trans. Database Syst., 2018)

Decidability and Complexity of ALCOIF with Transitive Closure (and More). - Jean Christoph Jung; Carsten Lutz; Thomas Zeume (Description Logics, 2019)

Teaching Logic with Iltis: an Interactive, Web-Based System. - Gaetano Geck; Artur Ljulin; Jonas Haldimann; Johannes May; Jonas Schmidt 001; Marko Schmellenkamp; Daniel Sonnabend; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (ITiCSE, 2019)

A Strategy for Dynamic Programs: Start over and Muddle through. - Samir Datta; Anish Mukherjee 001; Thomas Schwentick; Nils Vortmeier; Thomas Zeume (Log. Methods Comput. Sci., 2019)

Dynamic Complexity Meets Parameterised Algorithms. - Jonas Schmidt 001; Thomas Schwentick; Nils Vortmeier; Thomas Zeume; Ioannis Kokkinis (CSL, 2020)

Dynamic Complexity of Reachability: How Many Changes Can We Handle? - Samir Datta; Pankaj Kumar; Anish Mukherjee 001; Anuj Tawari; Nils Vortmeier; Thomas Zeume (ICALP, 2020)

On the Decidability of Expressive Description Logics with Transitive Closure and Regular Role Expressions. - Jean Christoph Jung; Carsten Lutz; Thomas Zeume (KR, 2020)

A More General Theory of Static Approximations for Conjunctive Queries. - Pablo Barceló; Miguel Romero 001; Thomas Zeume (Theory Comput. Syst., 2020)

Sketches of Dynamic Complexity. - Thomas Schwentick; Nils Vortmeier; Thomas Zeume (SIGMOD Rec., 2020)

Work-sensitive Dynamic Complexity of Formal Languages. - Jonas Schmidt 001; Thomas Schwentick; Till Tantau; Nils Vortmeier; Thomas Zeume (FoSSaCS, 2021)

Iltis: Teaching Logic in the Web. - Gaetano Geck; Christine Quenkert; Marko Schmellenkamp; Jonas Schmidt 001; Felix Tschirbs; Fabian Vehlken; Thomas Zeume (CoRR, 2021)

Dynamic Complexity of Parity Exists Queries. - Nils Vortmeier; Thomas Zeume (Log. Methods Comput. Sci., 2021)

The Regular Languages of First-Order Logic with One Alternation. - Corentin Barloy; Michaël Cadilhac; Charles Paperman; Thomas Zeume (LICS, 2022)

Register Automata with Extrema Constraints, and an Application to Two-Variable Logic. - Szymon Torunczyk; Thomas Zeume (Log. Methods Comput. Sci., 2022)

Dynamic Complexity of Regular Languages: Big Changes, Small Work. - Felix Tschirbs; Nils Vortmeier; Thomas Zeume (CSL, 2023)

Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems. - Marko Schmellenkamp; Alexandra Latys; Thomas Zeume (SIGCSE (1), 2023)

Exploring Error Types in Formal Languages Among Students of Upper Secondary Education. - Marko Schmellenkamp; Dennis Stanglmair; Tilman Michaeli; Thomas Zeume (Koli Calling, 2024)

Query Maintenance Under Batch Changes with Small-Depth Circuits. - Samir Datta; Asif Khan 009; Anish Mukherjee 001; Felix Tschirbs; Nils Vortmeier; Thomas Zeume (MFCS, 2024)

Specification and Automatic Verification of Computational Reductions. - Julien Grange; Fabian Vehlken; Nils Vortmeier; Thomas Zeume (MFCS, 2024)

A Survey of Undergraduate Theory of Computing Curricula. - Ryan E. Dougherty; Tim Randolph 001; Tzu-Yi Chen; Jeff Erickson 001; Matthew Ferland; Dennis Komm; Jonathan Liu; Timothy Ng 001; Seth Poulsen; Smaranda Sandu; Michael Shindler; Edward Talmage; et al. (SIGCSE Virtual (2), 2024)

Detecting and explaining (in)equivalence of context-free grammars. - Marko Schmellenkamp; Thomas Zeume; Sven Argo; Sandra Kiefer; Cedric Siems; Fynn Stebel (CoRR, 2024)

Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251). - Tiffany Barnes; Jan Vahrenhold; Thomas Zeume; Florian Schmalstieg (Dagstuhl Reports, 2024)

Teaching Formal Foundations of Computer Science with Iltis. - Marko Schmellenkamp; Fabian Vehlken; Thomas Zeume (Bull. EATCS, 2024)

Logical Modelling in CS Education: Bridging the Natural Language Gap. - Tristan Kneisel; Fabian Vehlken; Thomas Zeume (AIED (4), 2025)

Learning Tree Pattern Transformations. - Daniel Neider; Leif Sabellek; Johannes Schmidt 001; Fabian Vehlken; Thomas Zeume (ICDT, 2025)

Difficulty Generating Factors for Context-free Language Construction Assignments. - Florian Schmalstieg; Marko Schmellenkamp; Jakob Schwerter; Thomas Zeume (ICER (1), 2025)

Tool-Assisted Learning of Computational Reductions. - Tristan Kneisel; Elias Radtke; Marko Schmellenkamp; Fabian Vehlken; Thomas Zeume (SIGCSE (1), 2025)