Fabian Vehlken

According to our database, Fabian Vehlken authored at least 6 papers between 2018 and 2024.

Collaborative distances:

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

2024

Learning Tree Pattern Transformations.

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

CoRR, 2024

Tool-Assisted Learning of Computational Reductions.

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

CoRR, 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