Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Lazy TSO Reachability. | 1 | 0.35 | 2015 |
| A Theory of Partitioned Global Address Spaces. | 4 | 0.41 | 2013 |
| Language-Theoretic abstraction refinement | 8 | 0.57 | 2012 |
| Time-bounded reachability in distributed input/output interactive probabilistic chains | 3 | 0.38 | 2010 |
| CoLoSS: The Coalgebraic Logic Satisfiability Solver | 9 | 0.51 | 2009 |