Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Quantitative Analysis under Fairness Constraints | 12 | 0.61 | 2009 |
| Partial Order Reduction for Probabilistic Branching Time | 24 | 0.83 | 2006 |
| Partial order reduction for markov decision processes: a survey | 6 | 0.52 | 2005 |
| Quantitative analysis of distributed randomized protocols | 2 | 0.36 | 2005 |