Performance Optimization Using Exact Sensitization. - Alexander Saldanha; Heather Harkness; Patrick C. McGeer; Robert K. Brayton; Alberto L. Sangiovanni-Vincentelli (DAC, 1994)

Optimal latch mapping and retiming within a tree. - Joel Grodstein; Eric Lehman; Heather Harkness; Hervé J. Touati; Bill Grundmann (ICCAD, 1994)

A delay model for logic synthesis of continuously-sized networks. - Joel Grodstein; Eric Lehman; Heather Harkness; Bill Grundmann; Yosinori Watanabe (ICCAD, 1995)

Logic decomposition during technology mapping. - Eric Lehman; Yosinori Watanabe; Joel Grodstein; Heather Harkness (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1997)