Vojtěch Forejt

Computational Theory and Mathematics · 2011

A researcher in the Science corpus: 1 paper; trusts 4 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Vojtěch Forejt trusts overall

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

  1. Martin L. Puterman
  2. Marta Z. Kwiatkowska
  3. Gethin Norman
  4. Radu C. Calinescu
  5. Christel Baier
  6. Dimitri P. Bertsekas
  7. David Parker
  8. Joost-Pieter Katoen
  9. Lars Grunske

Papers from Vojtěch Forejt's perspective

Ordered by how strongly the researchers Vojtěch Forejt trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Markov Decision Processes: Discrete Stochastic Dynamic Programming
  2. Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic (25 Years of Model Checking)
  3. Stochastic Model Checking (International School on Formal Methods for the Design of Computer, Communication and Software Systems)
  4. Probabilistic ω-automata (JACM)
  5. An Analysis of Stochastic Shortest Path Problems
  6. PRISM: A Tool for Automatic Verification of Probabilistic Systems (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  7. Principles of model checking
  8. Dynamic QoS Management and Optimization in Service-Based Systems (IEEE Transactions on Software Engineering)
  9. The Ins and Outs of the Probabilistic Model Checker MRMC (2009 Sixth International Conference on the Quantitative Evaluation of Systems)
  10. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))

Their papers