| Bringing Ltl Model Checking To Biologists | 2 | 0.36 | 2017 |
| T2: Temporal Property Verification | 3 | 0.39 | 2015 |
| Towards "Reproducibility-as-a-Service". | 1 | 0.36 | 2015 |
| Dear CAV, We Need to Talk About Reproducibility. | 0 | 0.34 | 2015 |
| Reproducibility as a Technical Specification. | 2 | 0.58 | 2015 |
| Finding Instability in Biological Models. | 5 | 0.50 | 2014 |
| "Can I Implement Your Algorithm?": A Model for Reproducible Research Software. | 6 | 0.46 | 2014 |
| SeLoger: a tool for graph-based reasoning in separation logic | 12 | 0.53 | 2013 |
| Model-Checking signal transduction networks through decreasing reachability sets | 8 | 0.54 | 2013 |
| Resourceful Reachability as HORN-LA. | 2 | 0.37 | 2013 |
| At the interface of biology and computation | 3 | 0.41 | 2013 |
| Diagnosing abstraction failure for separation logic-based analyses | 7 | 0.52 | 2012 |
| BMA: visual tool for modeling and analyzing biological networks | 10 | 0.63 | 2012 |
| SLAYER: memory safety for systems-level code | 2 | 0.37 | 2011 |
| The semantics of power and ARM multiprocessor machine code | 43 | 1.58 | 2009 |
| Reasoning about the ARM weakly consistent memory model | 11 | 0.83 | 2008 |
| Kripke Resource Models of a Dependently-typed, Bunched [lgr]-calculus. | 0 | 0.34 | 2002 |
| Semantic analysis of pointer aliasing, allocation and disposal in Hoare logic | 15 | 3.24 | 2000 |
| Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus | 0 | 0.34 | 1999 |
| A Relevant Analysis of Natural Deduction | 15 | 2.60 | 1998 |
