Ulrich Herzog
About
Ulrich Herzog has authored 16 papers that have received a total of 574 indexed citations.
This includes 7 papers in Computer Networks and Communications, 7 papers in Computational Theory and Mathematics and 6 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (5 papers), Embedded Systems Design Techniques (5 papers) and Advanced Queuing Theory Analysis (4 papers). Ulrich Herzog is often cited by papers focused on Formal Methods in Verification (5 papers), Embedded Systems Design Techniques (5 papers) and Advanced Queuing Theory Analysis (4 papers) and collaborates with scholars based in Germany, United States and The Netherlands. Ulrich Herzog's co-authors include K. Mani Chandy, L. S. Woo, Holger Hermanns, Jerry Rolia and Joost-Pieter Katoen and has published in prestigious journals such as IEEE Transactions on Industrial Electronics, Naunyn-Schmiedeberg s Archives of Pharmacology and IBM Journal of Research and Development
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Helen Davies are about Top countries impacted by papers by Steven K. Sargent Top countries impacted by papers by Ki Sa Sung Top fields papers by Chenjun Shi are about Top countries impacted by papers by Danping Jiang Top journals papers by John Rabets are published in Top countries impacted by papers by Antra Zeltina Top authors papers by Nick Killingsworth are co-authored with