S. Bapat

A Parallel VLSI Circuit Layout Methodology

James P. Cohoon, S. Bapat, 1993, The Sixth International Conference on VLSI Design.

SHARP-looking geometric partitioning

James P. Cohoon, S. Bapat, 1991, Proceedings of the European Conference on Design Automation..

Reasoning about Digital Systems Using Temporal Logic

G. Venkatesh, S. Bapat, G. Venkatesh, 1986, 23rd ACM/IEEE Design Automation Conference.