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)

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 Regular Languages: Big Changes, Small Work. - Felix Tschirbs; Nils Vortmeier; Thomas Zeume (CSL, 2023)

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)