Statistics
Publications
3
Citations
139
H-Index
3
Active since
2012
Affiliations
Christoph Hilken is an author at University of Bremen specializing in computer science, computing, and formal methods.
Publications per year
2012–2015
3
3
Synthesis of reversible circuits with minimal lines for large functions
Mathias Soeken, Robert Wille, Christoph Hilken et al. · 2012 · 108 citations
Checking concurrent behavior in UML/OCL models
Nils Przigoda, Christoph Hilken, Robert Wille et al. · 2015 · 21 citations
1–3 of 3