Statistics
Publications
4
Citations
73
H-Index
4
Active since
1999
Affiliations
Technische Universität Darmstadt(Current)
Gerd Ritter is an author at Technische Universität Darmstadt specializing in computer science, verification, and design automation.
Publications per year
1999–2008
4
4
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–4 of 4