Jonas Schmidt

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 12

Top Topics

Formal Languages

Web Based Teaching

Computationally Efficient

Distance Learning Environment

Top Venues

Publications

Jonas Schmidt, Thomas Schwentick
Dynamic Constant Time Parallel Graph Algorithms with Sub-Linear Work. MFCS (2023)
Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer
On the Work of Dynamic Constant-Time Parallel Algorithms for Regular Tree Languages and Context-Free Languages. MFCS (2023)
Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer
On the work of dynamic constant-time parallel algorithms for regular tree languages and context-free languages. CoRR (2023)
Jonas Schmidt, Thomas Schwentick
Dynamic constant time parallel graph algorithms with sub-linear work. CoRR (2023)
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Iltis: Teaching Logic in the Web. CoRR (2021)
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
Work-sensitive Dynamic Complexity of Formal Languages. CoRR (2021)
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
Work-sensitive Dynamic Complexity of Formal Languages. FoSSaCS (2021)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CSL (2020)
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
Dynamic Complexity Meets Parameterised Algorithms. CoRR (2019)
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)
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
Introduction to Iltis: an interactive, web-based system for teaching logic. ITiCSE (2018)
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic. CoRR (2018)