Statistics
Publications
21
Citations
560
H-Index
15
Active since
1994
Daniel Grose is an author at University of Bremen specializing in computer engineering, computer science, and computing.
Publications per year
1994–2020
21
21
An exact method for design exploration of quantum-dot cellular automata
Marcel Walter, Robert Wille, Daniel Grose et al. · 2018 · 59 citations
Towards Formal Verification of Optimized and Industrial Multipliers
Alireza Mahzoon, Daniel Grose, Christoph Scholl et al. · 2020 · 47 citations
Verifying Instruction Set Simulators using Coverage-guided Fuzzing
Vladimir Herdt, Daniel Grose, Hoang M. Le et al. · 2019 · 41 citations
1–5 of 21