| |
| 2007 | ||
|---|---|---|
| 3 | EE | Konrad Slind, Scott Owens, Juliano Iyoda, Mike Gordon: Proof producing synthesis of arithmetic and cryptographic hardware. Formal Asp. Comput. 19(3): 343-362 (2007) |
| 2006 | ||
| 2 | EE | Thomas Tuerk, Klaus Schneider, Mike Gordon: Model Checking PSL Using HOL and SMV. Haifa Verification Conference 2006: 1-15 |
| 1 | EE | Mike Gordon, Juliano Iyoda, Scott Owens, Konrad Slind: Automatic Formal Synthesis of Hardware from Higher Order Logic. Electr. Notes Theor. Comput. Sci. 145: 27-43 (2006) |
| 1 | Juliano Iyoda | [1] [3] |
| 2 | Scott Owens | [1] [3] |
| 3 | Klaus Schneider | [2] |
| 4 | Konrad Slind | [1] [3] |
| 5 | Thomas Tuerk | [2] |