Science Explorer Back to mapMap
Discussion
Researcher · Radboud University Nijmegen · Netherlands

Frits Vaandrager

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.

ORCID 0000-0003-3955-1910 OpenAlex
World rank
#187,305
of 7,710,434 ranked researchers
Rank in Netherlands
#4,722
of 107,149
Works
236
Citations
8k
Citations per work
34.1
h-index
47
i10-index 112Top 1.1% in Computational Theory and Mathematics
Frits Vaandrager

What does Frits Vaandrager research?

Frits Vaandrager's work is mostly in Computer Science (90%).

Physical Sciences: 212 works · 89.8% of their workComputer Science: 212 works · 89.8% of their workComputational Theory and Mathematics: 84 works · 35.4% of their workArtificial Intelligence: 45 works · 19.0% of their workSoftware: 36 works · 15.1% of their workHardware and Architecture: 26 works · 11.1% of their workComputer Networks and Communications: 18 works · 7.5% of their workInformation Systems: 4 works · 1.7% of their workEverything else: 24 works · 10.2% of their workTHEIR WORKFrits Vaandrager236works
Physical Sciences90%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science21289.8%
  2. Everything else2410.2%
  1. 1Computational Theory and Mathematics35% of their works
  2. 2Artificial Intelligence19% of their works
  3. 3Software15% of their works
  4. 4Hardware and Architecture11% of their works
  5. 5Computer Networks and Communications8% of their works
  6. 6Information Systems2% of their works

Research topics

Which keywords describe Frits Vaandrager's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 19 words, with their numbers
  1. Model Checking1652 topics
  2. Automata1582 topics
  3. Satisfiability Modulo Theories1291 topic
  4. Symbolic Model Checker1291 topic
  5. Embedded Systems532 topics
  6. Automated Testing501 topic
  7. Software Fault Localization501 topic
  8. Active Learning471 topic
  9. Machine Learning471 topic
  10. Deadlock Prevention421 topic
  11. Petri Nets421 topic
  12. Formal Verification361 topic
  13. Static Analysis361 topic
  14. Hard Real-Time Systems301 topic
  15. Scheduling Algorithms301 topic
  16. Formal Languages291 topic
  17. Regular Expressions291 topic
  18. High-Level Synthesis231 topic
  19. Reconfigurable Computing231 topic

Where does Frits Vaandrager work?

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

How many publications and citations does Frits Vaandrager have?

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.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Frits Vaandrager. Posts are plain text and can be reported.