Specification and Implementation of Abstract Data Types. - Alfs T. Berztiss; Satish Thatte (Adv. Comput., 1983)

Workshop on OODB implementation. - Satish Thatte (OOPSLA Addendum, 1987)

A Refinement of Strong Sequentiality for Term Rewriting with Constructors - Satish Thatte (Inf. Comput., 1987)

Type Inference with Partial Types. - Satish Thatte (ICALP, 1988)

InfoHarness: A System for Search and Retrieval of Heterogeneous Information. - Leon A. Shklar; Amit P. Sheth; Vipul Kashyap; Satish Thatte (SIGMOD Conference, 1995)

BizTalk Integration Broker. - Satish Thatte (BTW, 2005)