 | 2012 |
|---|
| 7 |       | Rob Arthan,
Paulo Oliva:
(Dual) Hoops Have Unique Halving
CoRR abs/1203.0436: (2012) |
| 2011 |
|---|
| 6 | | Vladimir Klebanov,
Peter Müller,
Natarajan Shankar,
Gary T. Leavens,
Valentin Wüstholz,
Eyad Alkassar,
Rob Arthan,
Derek Bronish,
Rod Chapman,
Ernie Cohen,
Mark A. Hillebrand,
Bart Jacobs,
K. Rustan M. Leino,
Rosemary Monahan,
Frank Piessens,
Nadia Polikarpova,
Tom Ridge,
Jan Smans,
Stephan Tobies,
Thomas Tuerk,
Mattias Ulbrich,
Benjamin Weiß:
The 1st Verified Software Competition: Experience Report.
FM 2011: 154-168 |
| 2009 |
|---|
| 5 | | Rob Arthan:
Computational Logic and Continuous Mathematics, Pure and Applied.
Calculemus/MKM 2009: 1 |
| 4 | | Rob Arthan,
Ursula Martin,
Erik A. Mathiesen,
Paulo Oliva:
A general framework for sound and complete Floyd-Hoare logics.
ACM Trans. Comput. Log. 11(1): (2009) |
| 2008 |
|---|
| 3 | | Rob Arthan:
Mechanized Reasoning for Continuous Problem Domains (Invited Talk).
PAAR/ESHOL 2008 |
| 2 | | 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 | | John Harrison,
Konrad Slind,
Rob Arthan:
HOL.
The Seventeen Provers of the World 2006: 11-19 |
Data released under the ODC-BY 1.0 license — See also our legal information page