Harald Rueß
About
Harald Rueß has authored 14 papers that have received a total of 135 indexed citations.
This includes 9 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (3 papers) and Software Reliability and Analysis Research (3 papers). Harald Rueß is often cited by papers focused on Formal Methods in Verification (7 papers), Software Testing and Debugging Techniques (3 papers) and Software Reliability and Analysis Research (3 papers) and collaborates with scholars based in Germany, United States and France. Harald Rueß's co-authors include Chih-Hong Cheng, Natarajan Shankar, Marianne Møller, Georg Nührenberg and Maria Sorea and has published in prestigious journals such as Formal Methods in System Design and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Francisco S. Ibáñez Top fields papers by Peter Negus are about Top countries impacted by papers by Lauren E. Williamson Top countries impacted by papers by Xuedie Liu Top fields papers by Mitsuru Mukaigawara are about Top journals papers by P. Porth are published in Top authors papers by Matthew Prebus are co-authored with Top fields papers by Vibeke Lind Jørgensen are about