Joost-Pieter Katoen

Computational Theory and Mathematics · 2002–2017

A researcher in the Science corpus: 6 papers; trusts 23 researchers and is trusted by 14 researchers here, as inferred from the citation graph.

Subfields

Whom Joost-Pieter Katoen trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Gerard J. Holzmann
  2. Alexander Schrijver
  3. T. Lindvall
  4. Kim Guldstrand Larsen
  5. Christel Baier
  6. Edmund M. Clarke
  7. A. Cimatti
  8. Marta Z. Kwiatkowska
  9. Thomas Ball
  10. Holger Hermanns

Who trusts Joost-Pieter Katoen overall

  1. Alexandre Mouradian
  2. Qiang Xu
  3. Nguyen Quang Uy
  4. Pashootan Vaezipoor
  5. Himanshu Sahni
  6. Marta Z. Kwiatkowska
  7. Michael L. Littman
  8. Yuqian Jiang
  9. Matthias Althoff
  10. Todd Mytkowicz

Papers from Joost-Pieter Katoen's perspective

Ordered by how strongly the researchers Joost-Pieter Katoen trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Bisimulation through Probabilistic Testing
  2. Model-checking continuous-time Markov chains (ACM Transactions on Computational Logic)
  3. Markov Decision Processes: Discrete Stochastic Dynamic Programming
  4. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  5. Introduction to Automata Theory, Languages and Computation
  6. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  7. NUSMV: a new symbolic model checker (International Journal on Software Tools for Technology Transfer (STTT))
  8. Model-Checking Algorithms for Continuous-Time Markov Chains (IEEE Trans. Software Eng.)
  9. Dynamic Programming and Markov Processes
  10. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))

Their papers