Roderick Bloem
About
Roderick Bloem has authored 64 papers that have received a total of 1.4k indexed citations.
This includes 46 papers in Computational Theory and Mathematics, 33 papers in Software and 20 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (46 papers), Software Testing and Debugging Techniques (25 papers) and Software Reliability and Analysis Research (15 papers). Roderick Bloem is often cited by papers focused on Formal Methods in Verification (46 papers), Software Testing and Debugging Techniques (25 papers) and Software Reliability and Analysis Research (15 papers) and collaborates with scholars based in Austria, Germany and United States. Roderick Bloem's co-authors include Robert Könighofer, Swen Jacobs, Barbara Jobstmann, Bettina Könighofer and Georg Hofferek and has published in prestigious journals such as Journal of Computer and System Sciences, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Ranjeet P. Utikar are about Top authors papers by Yi‐Ming Shyr are co-authored with Top countries impacted by papers by Haibin Li Top authors papers by Tamaki Endoh are co-authored with Top countries impacted by papers by Emilio Servera Top fields papers by Kate Simpson are about Top authors papers by F. Pougheon are co-authored with Top authors papers by Xiao Sun are co-authored with