Statistics
Publications
2
Citations
38
H-Index
2
Active since
2015
Affiliations
Technische Universität Darmstadt(Current)
Matthias Krebs is an author at Technische Universität Darmstadt specializing in formal methods, programming languages, and computer science.
Publications per year
2015–2022
2
2
Dependently-typed data plane programming
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs et al. · Proceedings of the ACM on Programming Languages · 2022 · 14 citations · Full text
1–2 of 2