Jonas Schmidt

12 papers B 6Journal 6
YearRankTypeTitle / Venue / Authors
2023 B conf
Dynamic Constant Time Parallel Graph Algorithms with Sub-Linear Work.
MFCS
Jonas Schmidt, Thomas Schwentick
2023 J jnl
Dynamic constant time parallel graph algorithms with sub-linear work.
CoRR
Jonas Schmidt, Thomas Schwentick
2023 B conf
On the Work of Dynamic Constant-Time Parallel Algorithms for Regular Tree Languages and Context-Free Languages.
MFCS
Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer
2023 J jnl
On the work of dynamic constant-time parallel algorithms for regular tree languages and context-free languages.
CoRR
Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer
2021 J jnl
Iltis: Teaching Logic in the Web.
CoRR
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
2021 B conf
Work-sensitive Dynamic Complexity of Formal Languages.
FoSSaCS
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
2021 J jnl
Work-sensitive Dynamic Complexity of Formal Languages.
CoRR
Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume
2020 B conf
Dynamic Complexity Meets Parameterised Algorithms.
CSL
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
2019 J jnl
Dynamic Complexity Meets Parameterised Algorithms.
CoRR
Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis
2019 B conf
Teaching Logic with Iltis: an Interactive, Web-Based System.
ITiCSE
Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
2018 J jnl
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic.
CoRR
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
2018 B conf
Introduction to Iltis: an interactive, web-based system for teaching logic.
ITiCSE
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume