Kevin Kappelmann

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 11

Top Topics

Query Rewriting

Functional Programming

Presburger Arithmetic

Rewriting Rules

Top Venues

Arch. Formal Proofs

Proc. VLDB Endow.

Publications

Kevin Kappelmann
Transport via Partial Galois Connections and Equivalences. APLAS (2023)
Kevin Kappelmann
Unification Utilities for Isabelle/ML. Arch. Formal Proofs 2023 (2023)
Kevin Kappelmann
Transport via Partial Galois Connections and Equivalences. Arch. Formal Proofs 2023 (2023)
Kevin Kappelmann
Transport via Partial Galois Connections and Equivalences. CoRR (2023)
Kevin Kappelmann
Transport via Partial Galois Connections and Equivalences. Arch. Formal Proofs 2023 (2023)
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Rewriting the Infinite Chase. Proc. VLDB Endow. 15 (11) (2022)
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Datalog Rewriting for Guarded TGDs. Datalog (2022)
Kevin Kappelmann, Jonas Rädle, Lukas Stevens
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. TFPIE (2022)
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik
Rewriting the Infinite Chase. CoRR (2022)
Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink
SpecCheck - Specification-Based Testing for Isabelle/ML. Arch. Formal Proofs 2021 (2021)
Kevin Kappelmann
Decision Procedures for Guarded Logics. CoRR (2019)