The VLSI Design Automation Assistant: Prototype system. - Thaddeus J. Kowalski; Donald E. Thomas (DAC, 1983)

Automatic Data Path Synthesis. - Donald E. Thomas; Charles Y. Hitchcock III; Thaddeus J. Kowalski; Jayanth V. Rajan; Robert A. Walker 001 (Computer, 1983)

The VLSI Design Automation Assistant: An IBM System/370 Design. - Thaddeus J. Kowalski; Donald E. Thomas (IEEE Des. Test, 1984)

The VLSI design automation assistant: what's in a knowledge base. - Thaddeus J. Kowalski; Donald E. Thomas (DAC, 1985)

Knowledge Engineering Issues in VLSI Synthesis. - Wayne H. Wolf; Thaddeus J. Kowalski; Michael C. McFarland (AAAI, 1986)

Incorporating bottom-up design into hardware synthesis. - Michael C. McFarland; Thaddeus J. Kowalski (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1990)

Specifying System Behavior in CPA. - Michael C. McFarland; Thaddeus J. Kowalski (ICCD, 1991)

Symbolic analysis and verification of CPA descriptions. - Michael C. McFarland; Thaddeus J. Kowalski (CHARME, 1995)