Automating the VLSI design process using expert systems and silicon compilation. - Alice C. Parker; Sally A. Hayati (Proc. IEEE, 1987)

Representation of control and timing behavior with applications to interface synthesis. - Sally A. Hayati; Alice C. Parker; John J. Granacki (ICCD, 1988)

Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions. - Sally A. Hayati; Alice C. Parker (DAC, 1989)