Fabian Vehlken

According to our database, Fabian Vehlken authored at least 8 papers between 2018 and 2025.

Collaborative distances:

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

2025

Tool-Assisted Learning of Computational Reductions.

Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

Learning Tree Pattern Transformations.

Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume

Proceedings of the 28th International Conference on Database Theory, 2025

Logical Modelling in CS Education: Bridging the Natural Language Gap.

Tristan Kneisel, Fabian Vehlken, Thomas Zeume

Proceedings of the Artificial Intelligence in Education - 26th International Conference, 2025

2024

Teaching Formal Foundations of Computer Science with Iltis.

Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

Bull. EATCS, 2024

Specification and Automatic Verification of Computational Reductions.

Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2021

Iltis: Teaching Logic in the Web.

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

CoRR, 2021

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