| |
| * | 2009 | |
|---|---|---|
| 4 | EE | Rob Arthan: Computational Logic and Continuous Mathematics, Pure and Applied. Calculemus/MKM 2009: 1 |
| 2008 | ||
| 3 | EE | Rob Arthan: Mechanized Reasoning for Continuous Problem Domains (Invited Talk). PAAR/ESHOL 2008 |
| 2 | EE | Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva: A General Framework for Sound and Complete Floyd-Hoare Logics CoRR abs/0807.1016: (2008) |
| 2006 | ||
| 1 | EE | John Harrison, Konrad Slind, Rob Arthan: HOL. The Seventeen Provers of the World 2006: 11-19 |
| 1 | John Harrison | [1] |
| 2 | Ursula Martin | [2] |
| 3 | Erik A. Mathiesen | [2] |
| 4 | Paulo Oliva | [2] |
| 5 | Konrad Slind | [1] |