default search action

combined dblp search
author search
venue search
publication search

ask others

Kevin Kappelmann

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j6]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/Kappelmann25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Kappelmann25
Kevin Kappelmann:
Zippy - Generic White-Box Proof Search with Zippers. Arch. Formal Proofs 2025 (2025)
[i5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-02975
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-02975
Kevin Kappelmann, Fabian Huch, Lukas Stevens, Mohammad Abdulaziz:
Proof-Producing Translation of Functional Programs into a Time & Space Reasonable Model. CoRR abs/2503.02975 (2025)
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2503-20413
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2503-20413
Kevin Kappelmann:
Zippy - Generic White-Box Proof Search with Zippers. CoRR abs/2503.20413 (2025)
2024
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tods/BenediktBGKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tods/BenediktBGKM24
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase for Guarded TGDs. ACM Trans. Database Syst. 49(4): 14:1-14:44 (2024)
[d3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/BenediktBGKM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BenediktBGKM24
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Guarded Saturation. Zenodo, 2024
[d2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/BenediktBGKM24a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BenediktBGKM24a
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Experiments on Guarded Saturation. Zenodo, 2024
2023
[j4]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/Kappelmann23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Kappelmann23
Kevin Kappelmann:
Unification Utilities for Isabelle/ML. Arch. Formal Proofs 2023 (2023)
[j3]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/Kappelmann23b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/Kappelmann23b
Kevin Kappelmann:
Transport via Partial Galois Connections and Equivalences. Arch. Formal Proofs 2023 (2023)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Kappelmann23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Kappelmann23
Kevin Kappelmann:
Transport via Partial Galois Connections and Equivalences. APLAS 2023: 225-245
[i3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-05244
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-05244
Kevin Kappelmann:
Transport via Partial Galois Connections and Equivalences. CoRR abs/2303.05244 (2023)
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/pvldb/BenediktBGKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pvldb/BenediktBGKM22
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase. Proc. VLDB Endow. 15(11): 3045-3057 (2022)
[c2]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/datalog/BenediktBGKM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/datalog/BenediktBGKM22
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Datalog Rewriting for Guarded TGDs. Datalog 2022: 104-113
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-12703
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-12703
Kevin Kappelmann, Jonas Rädle, Lukas Stevens:
Engaging, Large-Scale Functional Programming Education in Physical and Virtual Space. TFPIE 2022: 93-113
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-08522
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-08522
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Rewriting the Infinite Chase. CoRR abs/2212.08522 (2022)
2021
[j1]
- view
  - electronic edition @ isa-afp.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/afp/KappelmannBW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/afp/KappelmannBW21
Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink:
SpecCheck - Specification-Based Testing for Isabelle/ML. Arch. Formal Proofs 2021 (2021)
2020
[d1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/BenediktBGKM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/BenediktBGKM20
Michael Benedikt, Maxime Buron, Stefano Germano, Kevin Kappelmann, Boris Motik:
Datasets for Guarded Saturation. Zenodo, 2020

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-03679
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-03679
Kevin Kappelmann:
Decision Procedures for Guarded Logics. CoRR abs/1911.03679 (2019)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.