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 |