D-Index & Metrics Best Publications
Computer Science
Germany
2023

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 66 Citations 22,234 403 World Ranking 1437 National Ranking 50

Research.com Recognitions

Awards & Achievements

2023 - Research.com Computer Science in Germany Leader Award

2020 - ACM Fellow For contributions to model checking of software and probabilistic systems

2013 - Member of Academia Europaea

2009 - ACM Senior Member

Overview

What are the main themes of his work throughout his whole career to date

Joost-Pieter Katoen integrates Embedded system with Operating system in his study. He integrates many fields, such as Operating system and Embedded system, in his works. His Processor scheduling study often links to related topics such as Schedule. His work on Schedule is being expanded to include thematically relevant topics such as Processor scheduling. His Discrete mathematics research extends to Counterexample, which is thematically connected. His research ties Counterexample and Discrete mathematics together. As part of his studies on Management, Joost-Pieter Katoen often connects relevant areas like Task (project management). Many of his studies on Task (project management) apply to Management as well. He connects Probabilistic logic with Artificial intelligence in his study.

Joost-Pieter Katoen most often published in these fields:

  • Embedded system (50.00%)
  • Operating system (50.00%)
  • Processor scheduling (50.00%)

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

Principles of Model Checking

Christel Baier;Joost-Pieter Katoen.
(2008)

6630 Citations

Principles of Model Checking (Representation and Mind Series)

Christel Baier;Joost-Pieter Katoen.
(2008)

1537 Citations

Model-checking algorithms for continuous-time Markov chains

C. Baier;B. Haverkort;H. Hermanns;J.-P. Katoen.
IEEE Transactions on Software Engineering (2003)

991 Citations

Model-Based Testing of Reactive Systems, Advanced Lectures

Manfred Broy;Bengt Jonsson;Joost-Pieter Katoen;Martin Leucker.
Lecture Notes in Computer Science (2005)

623 Citations

Validation of Stochastic Systems : A Guide to Current Research

Christel Baier;Boudewijn R. Haverkort;Joost-Pieter Katoen;Holger Hermanns.
(2004)

503 Citations

The ins and outs of the probabilistic model checker MRMC

Joost-Pieter Katoen;Ivan S. Zapreev;Ernst Moritz Hahn;Holger Hermanns.
Performance Evaluation (2011)

430 Citations

A Storm is Coming: A Modern Probabilistic Model Checker

Christian Dehnert;Sebastian Junges;Joost-Pieter Katoen;Matthias Volk.
computer aided verification (2017)

376 Citations

Approximative Symbolic Model Checking of Continuous-Time Markov Chains

Christel Baier;Joost-Pieter Katoen;Joost-Pieter Katoen;Holger Hermanns.
international conference on concurrency theory (1999)

364 Citations

Process algebra for performance evaluation

Holger Hermanns;Ulrich Herzog;Joost-Pieter Katoen.
Theoretical Computer Science (2002)

341 Citations

Approximate symbolic model checking of continuous-time Markov chains

C. Baier;J.-P. Katoen;H. Hermanns.
Lecture Notes in Computer Science (1999)

309 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Joost-Pieter Katoen

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 135

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 129

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 121

Alessandro Abate

Alessandro Abate

University of Oxford

Publications: 101

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 93

Calin Belta

Calin Belta

Boston University

Publications: 90

Christel Baier

Christel Baier

TU Dresden

Publications: 89

Ufuk Topcu

Ufuk Topcu

The University of Texas at Austin

Publications: 83

David Parker

David Parker

University of Oxford

Publications: 77

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 70

Gethin Norman

Gethin Norman

University of Glasgow

Publications: 67

Dimos V. Dimarogonas

Dimos V. Dimarogonas

Royal Institute of Technology

Publications: 53

Boudewijn R. Haverkort

Boudewijn R. Haverkort

Tilburg University

Publications: 53

Jane Hillston

Jane Hillston

University of Edinburgh

Publications: 38

Mingsheng Ying

Mingsheng Ying

University of Technology Sydney

Publications: 34

Yang Liu

Yang Liu

Nanyang Technological University

Publications: 34

Trending Scientists

Irene Fonseca

Irene Fonseca

Carnegie Mellon University

Feng Liu

Feng Liu

Portland State University

Yu Cao

Yu Cao

Arizona State University

Min Yang

Min Yang

Sterne, Kessler, Goldstein & Fox

Yousef A. Al-Salloum

Yousef A. Al-Salloum

King Saud University

Alain Tuel

Alain Tuel

Claude Bernard University Lyon 1

Klaus Friedrich

Klaus Friedrich

Technical University of Kaiserslautern

D. Mangalaraj

D. Mangalaraj

Bharathiar University

Bhupinder Pal Singh

Bhupinder Pal Singh

University of New England

Margaret S. Robinson

Margaret S. Robinson

University of Cambridge

Shelley M. Payne

Shelley M. Payne

The University of Texas at Austin

I. Sadaf Farooqi

I. Sadaf Farooqi

University of Cambridge

Hartzell V. Schaff

Hartzell V. Schaff

Mayo Clinic

Stanley W. Ashley

Stanley W. Ashley

Brigham and Women's Hospital

Robert G. Hart

Robert G. Hart

Population Health Research Institute

Namiki Izumi

Namiki Izumi

Musashino Red Cross Hospital

Something went wrong. Please try again later.