 | 2005 |
|---|
| 7 |       | Satish Thatte:
BizTalk Integration Broker.
BTW 2005: 485-494 |
| 1995 |
|---|
| 6 |  | Leon 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) |
