Jonas Schmidt

According to our database, Jonas Schmidt authored at least 7 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

On the Work of Dynamic Constant-Time Parallel Algorithms for Regular Tree Languages and Context-Free Languages.

Jonas Schmidt, Thomas Schwentick, Jennifer Todtenhoefer

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Dynamic Constant Time Parallel Graph Algorithms with Sub-Linear Work.

Jonas Schmidt, Thomas Schwentick

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2021

Iltis: Teaching Logic in the Web.

Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

CoRR, 2021

Work-sensitive Dynamic Complexity of Formal Languages.

Jonas Schmidt, Thomas Schwentick, Till Tantau, Nils Vortmeier, Thomas Zeume

Proceedings of the Foundations of Software Science and Computation Structures, 2021

2020

Dynamic Complexity Meets Parameterised Algorithms.

Jonas Schmidt, Thomas Schwentick, Nils Vortmeier, Thomas Zeume, Ioannis Kokkinis

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Teaching Logic with Iltis: an Interactive, Web-Based System.

Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume

Proceedings of the 2019 ACM Conference on Innovation and Technology in Computer Science Education, 2019

2018

Introduction to Iltis: an interactive, web-based system for teaching logic.

Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume

Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018