Reasoning about digital systems using temporal logic. - S. Bapat; G. Venkatesh (DAC, 1986)

SHARP-looking geometric partitioning. - S. Bapat; James P. Cohoon (EURO-DAC, 1991)

Examining routing solutions. - S. Bapat; James P. Cohoon; Patrick L. Heck; A. Ju; L. J. Randall (Great Lakes Symposium on VLSI, 1992)

A Parallel VLSI Circuit Layout Methodology. - S. Bapat; James P. Cohoon (VLSI Design, 1993)