Fabian Vehlken

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Web Based Teaching

Classical Logic

Interactive Multimedia

Guided Exploration

Top Venues

Publications

Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume
Tool-Assisted Learning of Computational Reductions. CoRR (2024)
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
Specification and Automatic Verification of Computational Reductions. CoRR (2024)
Julien Grange, Fabian Vehlken, Nils Vortmeier, Thomas Zeume
Specification and Automatic Verification of Computational Reductions. MFCS (2024)
Gaetano Geck, Christine Quenkert, Marko Schmellenkamp, Jonas Schmidt, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Iltis: Teaching Logic in the Web. CoRR (2021)
Gaetano Geck, Artur Ljulin, Jonas Haldimann, Johannes May, Jonas Schmidt, Marko Schmellenkamp, Daniel Sonnabend, Felix Tschirbs, Fabian Vehlken, Thomas Zeume
Teaching Logic with Iltis: an Interactive, Web-Based System. ITiCSE (2019)
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
Introduction to Iltis: an interactive, web-based system for teaching logic. ITiCSE (2018)
Gaetano Geck, Artur Ljulin, Sebastian Peter, Jonas Schmidt, Fabian Vehlken, Thomas Zeume
Introduction to Iltis: An Interactive, Web-Based System for Teaching Logic. CoRR (2018)