Louis J. Hafer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1978–1991
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | DAC | Constraint improvements for MILP-based hardware synthesis. | Louis J. Hafer |
| 1988 | SIGCSE | Robots in the laboratory. | M. Stella Atkins, Louis J. Hafer, Patrick Leung |
| 1981 | DAC | A formal method for the specification, analysis, and design of register-transfer level digital logic. | Louis J. Hafer, Alice C. Parker |
| 1979 | DAC | The CMU design automation system: An example of automated data path design. | Alice C. Parker, Donald E. Thomas, Daniel P. Siewiorek, Mario Barbacci, Louis J. Hafer, Gary W. Leive, Jinchoon Kim |
| 1978 | DAC | Register-transfer level digital design automation: The allocation process. | Louis J. Hafer, Alice C. Parker |