Statistics
Publications
3
Citations
43
H-Index
3
Active since
2010
Affiliations
University of Freiburg(Current)
Christian Miller is an author at University of Freiburg specializing in theory of computation, bounded model checking, and model checking.
Publications per year
2010–2012
3
3
Verification of partial designs using incremental QBF solving
Paolo Marin, Christian Miller, Matthew Lewis et al. · 2012 · 16 citations
Bounded Model Checking of Incomplete Networks of Timed Automata
Christian Miller, Karina Gitina, Christoph Scholl et al. · 2010 · 10 citations
1–3 of 3