Statistics
Publications
22
Citations
902
H-Index
16
Active since
2000
Marcus Völp is an author at Technische Universität Dresden specializing in computing, computer science, and computer engineering.
Publications per year
2000–2022
22
22
Nils Asmussen, Marcus Völp, Benedikt Nöthen et al. · 2016 · 59 citations
Formally verified differential dynamic logic
Rose Bohrer, Vincent Rahli, Ivana Vukotic et al. · 2016 · 59 citations · Full text
Flattening hierarchical scheduling
Adam Lackorzyński, Alexander Warg, Marcus Völp et al. · 2012 · 49 citations
1–5 of 22