Decision Procedures for Guarded Logics. - Kevin Kappelmann (CoRR, 2019)

Datasets for Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2020)

SpecCheck - Specification-Based Testing for Isabelle/ML. - Kevin Kappelmann; Lukas Bulwahn; Sebastian Willenbrink (Arch. Formal Proofs, 2021)

Datalog Rewriting for Guarded TGDs. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Datalog, 2022)

Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. - Kevin Kappelmann; Jonas Rädle; Lukas Stevens (TFPIE, 2022)

Rewriting the Infinite Chase. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Proc. VLDB Endow., 2022)

Unification Utilities for Isabelle/ML. - Kevin Kappelmann (Arch. Formal Proofs, 2023)

Transport via Partial Galois Connections and Equivalences. - Kevin Kappelmann (Arch. Formal Proofs, 2023)

Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2024)

Experiments on Guarded Saturation. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (Zenodo, 2024)

Rewriting the Infinite Chase for Guarded TGDs. - Michael Benedikt; Maxime Buron; Stefano Germano; Kevin Kappelmann; Boris Motik (ACM Trans. Database Syst., 2024)

Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model. - Kevin Kappelmann; Fabian Huch; Lukas Stevens; Mohammad Abdulaziz (CoRR, 2025)

Zippy - Generic White-Box Proof Search with Zippers. - Kevin Kappelmann (CoRR, 2025)