Concepedia

Dominik Kirst

DK

3

Publications

67

Citations

3

H-Index

2016

Active since

Affiliations

Saarland University(Current)

Dominik Kirst is an author at Saarland University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceAttentionHumanitiesEye TrackingVerificationFormal MethodsCritical TheorySocial SciencesProof Complexity

Publications per year

2016–2021

3

Publications

3

On synthetic undecidability in Coq, with an application to the Entscheidungsproblem

Yannick Forster, Dominik Kirst, Gert Smolka · 2019 · 27 citations

Engineering, Verification, Computational Model Theory +16

Dominik Kirst, Andreas Bulling · 2016 · 23 citations

Natural User Interface, Engineering, Attention +16

Completeness theorems for first-order logic analysed in constructive type theory

Yannick Forster, Dominik Kirst, Dominik Wehr · Journal of Logic and Computation · 2021 · 17 citations

Rows per page

1–3 of 3