High LISP Performance on a High-Level Language Processor. - Steven D. Krueger; Patrick W. Bosshart (COMPCON, 1987)

A System for Incremental Synthesis to Gate-Level and Reoptimization Following RTL Design Changes. - S. C. Prasad; P. Anirudhan; Patrick W. Bosshart (DAC, 1994)

A Linear Time Algorithm for Timing Directed Circuit Optimizations. - Sanjive Agarwala; Patrick W. Bosshart (ISCAS, 1994)