Fabian Vehlken

According to our database, Fabian Vehlken authored at least 11 papers between 2018 and 2026.

Collaborative distances:

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

2026

NILE: Formalizing Natural-Language Descriptions of Formal Languages.

Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

CoRR, February, 2026

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.

Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély, Lukas Pradel

CoRR, February, 2026

Database Theory in Action: Learning Logical Modelling with Iltis.

Tristan Kneisel, Fabian Vehlken, Thomas Zeume

Proceedings of the 29th International Conference on Database Theory, 2026

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