Thaddeus J. Kowalski

	1995
7		Michael C. McFarland, Thaddeus J. Kowalski: Symbolic analysis and verification of CPA descriptions. CHARME 1995: 103-123
	1991
6		Michael C. McFarland, Thaddeus J. Kowalski: Specifying System Behavior in CPA. ICCD 1991: 342-345
	1990
5		Michael C. McFarland, Thaddeus J. Kowalski: Incorporating bottom-up design into hardware synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 9(9): 938-950 (1990)
	1986
4		Wayne Hendrix Wolf, Thaddeus J. Kowalski, Michael C. McFarland: Knowledge Engineering Issues in VLSI Synthesis. AAAI 1986: 866-871
	1985
3		Thaddeus J. Kowalski, Donald E. Thomas: The VLSI design automation assistant: what's in a knowledge base. DAC 1985: 252-258
	1983
2		Thaddeus J. Kowalski, Donald E. Thomas: The VLSI Design Automation Assistant: Prototype system. DAC 1983: 479-483
1		Donald E. Thomas, Charles Y. Hitchcock III, Thaddeus J. Kowalski, Jayanth V. Rajan, Robert A. Walker: Automatic Data Path Synthesis. IEEE Computer 16(12): 59-70 (1983)

Coauthor Index

1	Charles Y. Hitchcock III	[1]
2	Michael C. McFarland	[4] [5] [6] [7]
3	Jayanth V. Rajan	[1]
4	Donald E. Thomas	[1] [2] [3]
5	Robert A. Walker	[1]
6	Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf)	[4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page