Ulrich Herzog

16 papers and 574 indexed citations i.

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

Rankless by CCL
2025