Fabian Vehlken
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICDT | Database Theory in Action: Learning Logical Modelling with Iltis. | Tristan Kneisel, Fabian Vehlken, Thomas Zeume |
| 2026 | KR | Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas. | Fabian Vehlken, Thomas Zeume, Emilio Carrasco Bustamante, Malle Cornly, Lukas Pradel |
| 2025 | AIED | Logical Modelling in CS Education: Bridging the Natural Language Gap. | Tristan Kneisel, Fabian Vehlken, Thomas Zeume |
| 2025 | ICDT | Learning Tree Pattern Transformations. | Daniel Neider, Leif Sabellek, Johannes Schmidt, Fabian Vehlken, Thomas Zeume |
| 2025 | SIGCSE | Tool-Assisted Learning of Computational Reductions. | Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume |
| 2024 | MFCS | Specification and Automatic Verification of Computational Reductions. | Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume |
| 2019 | ITiCSE | 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 |
| 2018 | ITiCSE | Introduction to Iltis: an interactive, web-based system for teaching logic. | Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume |