Statistics
Publications
3
Citations
55
H-Index
3
Active since
1999
Affiliations
Technische Universität Darmstadt(Current)
Hans Eveking is an author at Technische Universität Darmstadt specializing in computer science, verification, and design automation.
Publications per year
1999–2002
3
3
Formal synthesis for pipeline design
Holger Hinrichsen, Hans Eveking, Gerd Ritter · 1999 · 11 citations
Symbolic simulation techniques-state-of-the-art and applications
Claudia Blank, Hans Eveking, Jens Levihn et al. · 2002 · 10 citations
Computing, Computer Science, Hardware Description Languages +13
1–3 of 3