| |
| 1991 | ||
|---|---|---|
| 6 | EE | Louis J. Hafer: Constraint improvements for MILP-based hardware synthesis. DAC 1991: 14-19 |
| 1990 | ||
| 5 | EE | Godfried M. Swinkels, Louis J. Hafer: Schematic generation with an expert system. IEEE Trans. on CAD of Integrated Circuits and Systems 9(12): 1289-1306 (1990) |
| 1988 | ||
| 4 | EE | M. Stella Atkins, Louis J. Hafer, Patrick Leung: Robots in the laboratory. SIGCSE 1988: 36-40 |
| 1983 | ||
| 3 | EE | Louis J. Hafer, Alice C. Parker: A Formal Method for the Specification, Analysis, and Design of Register-Transfer Level Digital Logic. IEEE Trans. on CAD of Integrated Circuits and Systems 2(1): 4-18 (1983) |
| 1982 | ||
| 2 | Louis J. Hafer, Alice C. Parker: Automated Synthesis of Digital Hardware. IEEE Trans. Computers 31(2): 93-109 (1982) | |
| 1978 | ||
| 1 | Alice C. Parker, Louis J. Hafer: The Application of a Hardware Descriptive Language for Design Automation. Jerusalem Conference on Information Technology 1978: 349-355 | |
| 1 | M. Stella Atkins | [4] |
| 2 | Patrick Leung | [4] |
| 3 | Alice C. Parker | [1] [2] [3] |
| 4 | Godfried M. Swinkels | [5] |