Statistics
Publications
3
Citations
90
H-Index
3
Active since
2005
Affiliations
Technische Universität Darmstadt(Current)
Sebastian Kanthak is an author at Technische Universität Darmstadt specializing in computer science, nonlinear programming, and optimization.
Publications per year
2005–2007
3
3
Efficient control flow quantification
Christoph Bockisch, Sebastian Kanthak, Michael Haupt et al. · 2006 · 33 citations
1–3 of 3