| 2007 |
|---|
| 4 | 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 |
|---|
| 3 | 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) |
| 1999 |
|---|
| 2 | EE | Juliano Iyoda,
Augusto Sampaio,
Leila Silva:
ParTS: A Partitioning Transformation System.
World Congress on Formal Methods 1999: 1400-1419 |
| 1998 |
|---|
| 1 | EE | Leila Silva,
Augusto Sampaio,
Edna Barros,
Juliano Iyoda:
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment.
AMAST 1998: 308-324 |
