Kevin Kappelmann

According to our database, Kevin Kappelmann authored at least 13 papers between 2019 and 2025.

Collaborative distances:

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

2025

Zippy - Generic White-Box Proof Search with Zippers.

Kevin Kappelmann

CoRR, March, 2025

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

Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz

CoRR, March, 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

Transport via Partial Galois Connections and Equivalences.

Kevin Kappelmann

Arch. Formal Proofs, 2023

Unification Utilities for Isabelle/ML.

Kevin Kappelmann

Arch. Formal Proofs, 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