Gethin Norman

Computational Theory and Mathematics · 2002–2011

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

Subfields

Whom Gethin Norman trusts overall

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

  1. Marta Z. Kwiatkowska
  2. Thomas Hérault
  3. Christel Baier
  4. David Parker
  5. Martin L. Puterman
  6. Kim Guldstrand Larsen
  7. Richard Lassaigne

Who trusts Gethin Norman overall

  1. Marta Z. Kwiatkowska
  2. Sohag Kabir
  3. Jane Hillston
  4. Vojtěch Forejt
  5. David Parker
  6. Emmanuel Letier
  7. Christel Baier
  8. Patrick Lincoln
  9. Qiang Xu
  10. A. Gordon

Papers from Gethin Norman's perspective

Ordered by how strongly the researchers Gethin Norman trusts endorse each paper. Same corpus, a different order for every researcher.

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

Their papers