Fabian Vehlken

16 papers A 2B 3Journal 9Unranked 2

Year	Rank	Type	Title / 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