Louis J. Hafer

	1991
6		Louis J. Hafer: Constraint improvements for MILP-based hardware synthesis. DAC 1991: 14-19
	1990
5		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		M. Stella Atkins, Louis J. Hafer, Patrick Leung: Robots in the laboratory. SIGCSE 1988: 36-40
	1983
3		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

Coauthor Index

1	M. Stella Atkins	[4]
2	Patrick Leung	[4]
3	Alice C. Parker	[1] [2] [3]
4	Godfried M. Swinkels	[5]

Colors in the list of coauthors