Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The Search for Computational Intelligence. | 0 | 0.34 | 2015 |
| Refinement and Term Synthesis in Loop Invariant Generation. | 3 | 0.49 | 2010 |
| Synthesising Functional Invariants in Separation Logic. | 0 | 0.34 | 2010 |
| Proof planning Non-standard Analysis. | 4 | 1.09 | 2002 |