Kevin Kappelmann

14 papers B 1Journal 11Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model.
CoRR
Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz
2025 J jnl
Zippy - Generic White-Box Proof Search with Zippers.
Arch. Formal Proofs
Kevin Kappelmann
2025 J jnl
Zippy - Generic White-Box Proof Search with Zippers.
CoRR
Kevin Kappelmann
2024 J jnl
Rewriting the Infinite Chase for Guarded TGDs.
ACM Trans. Database Syst.
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2023 B conf
Transport via Partial Galois Connections and Equivalences.
APLAS
Kevin Kappelmann
2023 J jnl
Transport via Partial Galois Connections and Equivalences.
Arch. Formal Proofs
Kevin Kappelmann
2023 J jnl
Transport via Partial Galois Connections and Equivalences.
CoRR
Kevin Kappelmann
2023 J jnl
Unification Utilities for Isabelle/ML.
Arch. Formal Proofs
Kevin Kappelmann
2022 — conf
Datalog Rewriting for Guarded TGDs.
Datalog
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2022 — conf
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space.
TFPIE
Kevin Kappelmann, Jonas Rädle, Lukas Stevens
2022 J jnl
Rewriting the Infinite Chase.
CoRR
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2022 J jnl
Rewriting the Infinite Chase.
Proc. VLDB Endow.
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
2021 J jnl
SpecCheck - Specification-Based Testing for Isabelle/ML.
Arch. Formal Proofs
Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink
2019 J jnl
Decision Procedures for Guarded Logics.
CoRR
Kevin Kappelmann