Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Improving GPU sparse matrix-vector multiplication for probabilistic model checking | 10 | 0.53 | 2012 |
| Solving scheduling problems by untimed model checking | 3 | 0.44 | 2009 |
| Pruning state spaces with extended beam search | 5 | 0.42 | 2007 |
| Distributed Analysis with mu CRL: A Compendium of Case Studies | 8 | 0.49 | 2007 |