Kevin Kappelmann

According to our database, Kevin Kappelmann authored at least 14 papers between 2019 and 2026.

Collaborative distances:

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

2026

Just Type It in Isabelle! AI Agents Drafting, Mechanizing, and Generalizing from Human Hints.

Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu, Dmitriy Traytel

CoRR, April, 2026

2025

Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model.

Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz

CoRR, March, 2025

Zippy - Generic White-Box Proof Search with Zippers.

Kevin Kappelmann

Arch. Formal Proofs, 2025

2024

Rewriting the Infinite Chase for Guarded TGDs.

Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik

ACM Trans. Database Syst., December, 2024

Experiments on Guarded Saturation.

Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik

Dataset, September, 2024

Guarded Saturation.

Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik

Dataset, September, 2024

2023

Unification Utilities for Isabelle/ML.

Kevin Kappelmann

Arch. Formal Proofs, 2023

Transport via Partial Galois Connections and Equivalences.

Kevin Kappelmann

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

Rewriting the Infinite Chase.

Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik

Proc. VLDB Endow., 2022

Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space.

Kevin Kappelmann, Jonas Rädle, Lukas Stevens

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

Datalog Rewriting for Guarded TGDs.

Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021

SpecCheck - Specification-Based Testing for Isabelle/ML.

Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink

Arch. Formal Proofs, 2021

2020

Datasets for Guarded Saturation.

Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik

Dataset, December, 2020

2019

Decision Procedures for Guarded Logics.

Kevin Kappelmann

CoRR, 2019