dblp.uni-trier.dewww.uni-trier.de

Satish Thatte

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
7 Satish Thatte: BizTalk Integration Broker. BTW 2005: 485-494
1995
6EELeon A. Shklar, Amit P. Sheth, Vipul Kashyap, Satish Thatte: InfoHarness: A System for Search and Retrieval of Heterogeneous Information. SIGMOD Conference 1995: 478
1991
5 Satish Thatte: A Type System for Implicit Scaling. Sci. Comput. Program. 17(1-3): 217-245 (1991)
1990
4 Satish Thatte: Type Inference and Implicit Scaling. ESOP 1990: 406-420
1988
3 Satish Thatte: Type Inference with Partial Types. ICALP 1988: 615-629
1987
2 Satish Thatte: A Refinement of Strong Sequentiality for Term Rewriting with Constructors Inf. Comput. 72(1): 46-65 (1987)
1983
1 Alfs T. Berztiss, Satish Thatte: Specification and Implementation of Abstract Data Types. Advances in Computers 22: 295-353 (1983)

Coauthor Index

1Alfs T. Berztiss [1]
2Vipul Kashyap [6]
3Amit P. Sheth [6]
4Leon A. Shklar [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)