Optimal Clocking of Circular Pipelines. - Karem A. Sakallah; Trevor N. Mudge; Timothy M. Burks; Edward S. Davidson (ICCD, 1991)

Identification of critical paths in circuits with level-sensitive latches. - Timothy M. Burks; Karem A. Sakallah; Trevor N. Mudge (ICCAD, 1992)

Min-max linear programming and the timing analysis of digital circuits. - Timothy M. Burks; Karem A. Sakallah (ICCAD, 1993)

Synchronization of pipelines. - Karem A. Sakallah; Trevor N. Mudge; Timothy M. Burks; Edward S. Davidson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Optimization of critical paths in circuits with level-sensitive latches. - Timothy M. Burks; Karem A. Sakallah (ICCAD, 1994)

Timing verification and optimization of circuits with level-sensitive latches. - Timothy M. Burks (1994)

Critical paths in circuits with level-sensitive latches. - Timothy M. Burks; Karem A. Sakallah; Trevor N. Mudge (IEEE Trans. Very Large Scale Integr. Syst., 1995)