David Parker

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 David Parker trusts overall

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

  1. Marta Z. Kwiatkowska
  2. Gethin Norman
  3. Thomas Hérault
  4. Martin L. Puterman
  5. Christel Baier
  6. Kim Guldstrand Larsen

Who trusts David Parker overall

  1. Marta Z. Kwiatkowska
  2. Gethin Norman
  3. Sohag Kabir
  4. Jane Hillston
  5. Vojtěch Forejt
  6. Emmanuel Letier
  7. Christel Baier
  8. Patrick Lincoln

Papers from David Parker's perspective

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

  1. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))
  2. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling (International Conference on Computer Aided Verification)
  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