| |
| 1999 | ||
|---|---|---|
| 2 | Michael Schenke, Michael Dossis: Provably Correct Hardware Compilation using Timing Diagrams. FORTE 1999: 313-331 | |
| 1994 | ||
| 1 | Michael Dossis, James M. Noras, Gary J. Porter: Synthesis of Customized Hardware from ADA. ISCAS 1994: 229-232 | |
| 1 | James M. Noras | [1] |
| 2 | Gary J. Porter | [1] |
| 3 | Michael Schenke | [2] |