Kevin Kappelmann

According to our database, Kevin Kappelmann authored at least 7 papers between 2019 and 2023.

Collaborative distances:

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

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

2019

Decision Procedures for Guarded Logics.

Kevin Kappelmann

CoRR, 2019