Fabian Vehlken

16 papers A 2B 3Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2026 A conf
Database Theory in Action: Learning Logical Modelling with Iltis.
ICDT
Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2026 J jnl
Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas.
CoRR
Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Maëlle Cornély, Lukas Pradel
2026 J jnl
NILE: Formalizing Natural-Language Descriptions of Formal Languages.
CoRR
Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2025 A conf
Learning Tree Pattern Transformations.
ICDT
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2025 — conf
Logical Modelling in CS Education: Bridging the Natural Language Gap.
AIED (4)
Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2025 J jnl
Logical Modelling in CS Education: Bridging the Natural Language Gap.
CoRR
Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2025 — conf
Tool-Assisted Learning of Computational Reductions.
SIGCSE (1)
Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2024 J jnl
Learning Tree Pattern Transformations.
CoRR
Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume
2024 B conf
Specification and Automatic Verification of Computational Reductions.
MFCS
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
2024 J jnl
Specification and Automatic Verification of Computational Reductions.
CoRR
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
2024 J jnl
Teaching Formal Foundations of Computer Science with Iltis.
Bull. EATCS
Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2024 J jnl
Tool-Assisted Learning of Computational Reductions.
CoRR
Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
2021 J jnl
Iltis: Teaching Logic in the Web.
CoRR
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
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