Science Explorer Back to mapMap
Discussion
Researcher · RWTH Aachen University · Germany

Joost-Pieter Katoen

Joost-Pieter Katoen publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Petri Nets in System Modeling.

ORCID 0000-0002-6143-1926 OpenAlex
World rank
#215,916
of 7,710,434 ranked researchers
Rank in Germany
#10,929
of 364,343
Works
641
Citations
19k
Citations per work
30.0
h-index
61
i10-index 267Top 0.4% in Computational Theory and Mathematics
Joost-Pieter Katoen

What does Joost-Pieter Katoen research?

Joost-Pieter Katoen's work is mostly in Computer Science (85%), Engineering (2%).

Physical Sciences: 559 works · 87.2% of their workComputer Science: 547 works · 85.3% of their workComputational Theory and Mathematics: 216 works · 33.7% of their workArtificial Intelligence: 144 works · 22.4% of their workSoftware: 117 works · 18.3% of their workComputer Networks and Communications: 39 works · 6.1% of their workHardware and Architecture: 31 works · 4.8% of their workEngineering: 12 works · 1.9% of their workControl and Systems Engineering: 12 works · 1.9% of their workEverything else: 82 works · 12.8% of their workTHEIR WORKJoost-PieterKatoen641works
Physical Sciences87%

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 Science54785.3%
    2. Engineering121.9%
  2. Everything else8212.8%
  1. 1Computational Theory and Mathematics34% of their works
  2. 2Artificial Intelligence22% of their works
  3. 3Software18% of their works
  4. 4Computer Networks and Communications6% of their works
  5. 5Hardware and Architecture5% of their works
  6. 6Control and Systems Engineering2% of their works

Research topics

Which keywords describe Joost-Pieter Katoen's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Deadlock Prevention and Petri Nets.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking5793 topics
  2. Temporal Logic4932 topics
  3. Satisfiability Modulo Theories4311 topic
  4. Symbolic Model Checker4311 topic
  5. Architecture-Based Approach1521 topic
  6. Software Reliability Modeling1521 topic
  7. Deadlock Prevention1291 topic
  8. Petri Nets1291 topic
  9. Automated Testing1101 topic
  10. Software Fault Localization1101 topic
  11. Formal Verification861 topic
  12. Static Analysis861 topic
  13. Autonomic Computing801 topic
  14. Self-Adaptive Systems801 topic
  15. Answer Set Programming621 topic
  16. Modal Logic621 topic
  17. Domain-Specific Languages601 topic
  18. Model-Driven Engineering601 topic

Where does Joost-Pieter Katoen work?

Joost-Pieter Katoen's main affiliation in the publication record is RWTH Aachen University, Germany.

How many publications and citations does Joost-Pieter Katoen have?

OpenAlex counts 641 works and 19,229 citations for Joost-Pieter Katoen, an h-index of 61, ranking #215,916 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 Joost-Pieter Katoen. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.