Statistics
Publications
6
Citations
557
H-Index
6
Active since
2002
H. Veith is an author at University of Wisconsin–Madison specializing in computing, computer science, and formal methods.
Publications per year
2002–2007
6
6
Modular verification of software components in C
Sagar Chaki, E. M. Clarke, Alex Groce et al. · IEEE Transactions on Software Engineering · 2004 · 311 citations
Succinct representation, leaf languages, and projection reductions
H. Veith · 2002 · 22 citations
How to encode a logical structure by an OBDD
H. Veith · 2002 · 16 citations
1–5 of 6