Concepedia

Moritz Kiefer

MK

Statistics

Publications

1

Citations

20

H-Index

1

Active since

2017

Affiliations

Karlsruhe Institute of Technology(Current)

Moritz Kiefer is an author at Karlsruhe Institute of Technology specializing in formal methods, automated reasoning, and compilers.

Top concepts

Publications per year

2017–2017

1

Publications

1

Relational Program Reasoning Using Compiler IR

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich · Journal of Automated Reasoning · 2017 · 20 citations

, , +7

Rows per page

1–1 of 1