Ernst-Rüdiger Olderog
About
Ernst-Rüdiger Olderog has authored 42 papers that have received a total of 609 indexed citations.
This includes 34 papers in Computational Theory and Mathematics, 21 papers in Artificial Intelligence and 9 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (28 papers), Logic, programming, and type systems (18 papers) and Petri Nets in System Modeling (7 papers). Ernst-Rüdiger Olderog is often cited by papers focused on Formal Methods in Verification (28 papers), Logic, programming, and type systems (18 papers) and Petri Nets in System Modeling (7 papers) and collaborates with scholars based in Germany, The Netherlands and United Kingdom. Ernst-Rüdiger Olderog's co-authors include Krzysztof R. Apt, J. W. de Bakker, J.-J.Ch. Meyer, Bernd Finkbeiner and Werner Damm and has published in prestigious journals such as International Journal of Control, Journal of Computer and System Sciences and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Ian Pong Breakdown of academic impact, for papers by Xinyi Luo Breakdown of academic impact, for papers by Chaoyi Wang Breakdown of academic impact, for papers by M. H. Peyrovi Breakdown of academic impact, for papers by Yun‐Ching Huang Breakdown of academic impact, for papers by Ann‐Carita Evaldsson Breakdown of academic impact, for papers by Junfeng Zhu Breakdown of academic impact, for papers by Hiroaki Yamagami