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)

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)

Dynamic Complexity Meets Parameterised Algorithms. - Jonas Schmidt 001; Thomas Schwentick; Nils Vortmeier; Thomas Zeume; Ioannis Kokkinis (CSL, 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 Constant Time Parallel Graph Algorithms with Sub-Linear Work. - Jonas Schmidt 001; Thomas Schwentick (MFCS, 2023)

On the Work of Dynamic Constant-Time Parallel Algorithms for Regular Tree Languages and Context-Free Languages. - Jonas Schmidt 001; Thomas Schwentick; Jennifer Todtenhoefer (MFCS, 2023)