Felix Tschirbs

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Regular Languages

Web Based Teaching

Query Formulation

Top Venues

Publications

Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
Query maintenance under batch changes with small-depth circuits. CoRR (2024)
Samir Datta, Asif Khan, Anish Mukherjee, Felix Tschirbs, Nils Vortmeier, Thomas Zeume
Query Maintenance Under Batch Changes with Small-Depth Circuits. MFCS (2024)
Felix Tschirbs, Nils Vortmeier, Thomas Zeume
Dynamic Complexity of Regular Languages: Big Changes, Small Work. CSL (2023)
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Iltis: Teaching Logic in the Web. CoRR (2021)
Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Teaching Logic with Iltis: an Interactive, Web-Based System. ITiCSE (2019)