What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Artificial intelligence
Joost-Pieter Katoen mainly investigates Markov chain, Model checking, Theoretical computer science, Probabilistic logic and Algorithm.
His Markov chain research integrates issues from Bisimulation, Markov decision process, Reachability and Temporal logic.
His work carried out in the field of Model checking brings together such families of science as Binary decision diagram, Dependability, System of linear equations, Formal verification and Key.
His research in Theoretical computer science intersects with topics in Programming language, Formal methods, Markov reward model, Artificial intelligence and Stochastic Petri net.
His research in the fields of Probabilistic CTL overlaps with other disciplines such as Bounded function.
His Software system research includes themes of Field, Liveness, Debugging and Deadlock.
His most cited work include:
- Principles of Model Checking (3080 citations)
- Principles of Model Checking (Representation and Mind Series) (965 citations)
- Model-checking algorithms for continuous-time Markov chains (684 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of investigation include Theoretical computer science, Probabilistic logic, Markov chain, Model checking and Algorithm.
The various areas that Joost-Pieter Katoen examines in his Theoretical computer science study include Semantics and Operational semantics.
His biological study spans a wide range of topics, including Guarded Command Language, Set and Counterexample.
As part of the same scientific family, Joost-Pieter Katoen usually focuses on Markov chain, concentrating on Markov decision process and intersecting with Mathematical optimization.
His Model checking study necessitates a more in-depth grasp of Programming language.
The Dependability study combines topics in areas such as Formal methods and Correctness.
He most often published in these fields:
- Theoretical computer science (38.85%)
- Probabilistic logic (35.88%)
- Markov chain (30.15%)
What were the highlights of his more recent work (between 2015-2021)?
- Probabilistic logic (35.88%)
- Theoretical computer science (38.85%)
- Markov decision process (16.14%)
In recent papers he was focusing on the following fields of study:
Joost-Pieter Katoen mainly investigates Probabilistic logic, Theoretical computer science, Markov decision process, Model checking and Markov chain.
His work deals with themes such as Algorithm, Semantics, Predicate transformer semantics and Calculus, which intersect with Probabilistic logic.
His study in Theoretical computer science is interdisciplinary in nature, drawing from both Class, Correctness, State space, Set and Key.
Joost-Pieter Katoen combines subjects such as Mathematical optimization and Reachability with his study of Markov decision process.
In his research on the topic of Model checking, Component and Dependability is strongly related with Fault tree analysis.
His Markov chain research is multidisciplinary, incorporating elements of Automaton and Statistical model.
Between 2015 and 2021, his most popular works were:
- A Storm is Coming: A Modern Probabilistic Model Checker (222 citations)
- The Probabilistic Model Checking Landscape (72 citations)
- Weakest Precondition Reasoning for Expected Run---Times of Probabilistic Programs (68 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Artificial intelligence
His primary areas of study are Probabilistic logic, Markov decision process, Theoretical computer science, Markov chain and Model checking.
His Probabilistic logic study combines topics from a wide range of disciplines, such as Automaton, Soundness, Semantics, Algorithm and Predicate transformer semantics.
The Markov decision process study combines topics in areas such as Quadratic programming, Mathematical optimization and Reachability.
Joost-Pieter Katoen has researched Theoretical computer science in several fields, including Strongly connected component, Focus and Graph.
The various areas that he examines in his Markov chain study include Guarded Command Language, Modeling language, Statistical model and Stochastic Petri net.
His Model checking research incorporates elements of Field, Observability, Probabilistic relevance model, Key and Fault tree analysis.
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.
