Question 1

What does Roderick Bloem research?

Accepted Answer

Roderick Bloem publishes mostly in Computational Theory and Mathematics, Software and Artificial Intelligence, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Software Reliability and Analysis Research.

Question 2

Which keywords describe Roderick Bloem's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Software Fault Localization, Architecture-Based Approach, Software Reliability Modeling and Formal Verification.

Question 3

Where does Roderick Bloem work?

Accepted Answer

Roderick Bloem's main affiliation in the publication record is Graz University of Technology, Austria.

Question 4

How many publications and citations does Roderick Bloem have?

Accepted Answer

OpenAlex counts 238 works and 6,485 citations for Roderick Bloem, an h-index of 44, ranking #165,111 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Roderick Bloem's h-index high?

Accepted Answer

An h-index of 44 is at or above that of 99% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 1.5%.