Question 1

What does Frits Vaandrager research?

Accepted Answer

Frits Vaandrager publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Machine Learning and Algorithms.

Question 2

Which keywords describe Frits Vaandrager's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, Automated Testing, Software Fault Localization and Active Learning.

Question 3

Where does Frits Vaandrager work?

Accepted Answer

Frits Vaandrager's main affiliation in the publication record is Radboud University Nijmegen, Netherlands.

Question 4

How many publications and citations does Frits Vaandrager have?

Accepted Answer

OpenAlex counts 236 works and 8,042 citations for Frits Vaandrager, an h-index of 47, ranking #187,305 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Frits Vaandrager's h-index high?

Accepted Answer

An h-index of 47 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.1%.