| 2006 |
|---|
| 15 | | Frank Leymann,
Wolfgang Reisig,
Satish R. Thatte,
Wil M. P. van der Aalst:
The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 14 | EE | Frank Leymann,
Wolfgang Reisig,
Satish R. Thatte,
Wil M. P. van der Aalst:
06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures.
The Role of Business Processes in Service Oriented Architectures 2006 |
| 1995 |
|---|
| 13 | EE | Satish R. Thatte:
Object Imaging.
ECOOP 1995: 52-76 |
| 1994 |
|---|
| 12 | EE | Satish R. Thatte:
Semantics of Type Classes Revisited.
LISP and Functional Programming 1994: 208-219 |
| 11 | | Satish R. Thatte:
Type Inference with Partial Types.
Theor. Comput. Sci. 124(1): 127-148 (1994) |
| 1993 |
|---|
| 10 | | Satish R. Thatte:
Finite Acyclic Theories are Unitary.
J. Symb. Comput. 15(2): 235-249 (1993) |
| 9 | | Lawrence S. Moss,
Satish R. Thatte:
Modal Logic and Algebraic Specifications.
Theor. Comput. Sci. 111(1&2): 191-210 (1993) |
| 1991 |
|---|
| 8 | | Satish R. Thatte:
Coercive Type Isomorphism.
FPCA 1991: 29-49 |
| 1990 |
|---|
| 7 | | Satish R. Thatte:
Quasi-Static Typing.
POPL 1990: 367-381 |
| 1989 |
|---|
| 6 | | Lawrence S. Moss,
Satish R. Thatte:
Generalization of Final Algebra Semantics by Relativization.
Mathematical Foundations of Programming Semantics 1989: 284-300 |
| 5 | | Satish R. Thatte:
Full Abstraction and Limiting Completeness in Equational Languages.
Theor. Comput. Sci. 65(1): 85-119 (1989) |
| 1988 |
|---|
| 4 | | Lawrence S. Moss,
Satish R. Thatte:
Optimal semantics of data type extensions.
Algebraic Logic and Universal Algebra in Computer Science 1988: 161-180 |
| 3 | | Satish R. Thatte:
Implementing First-Order Rewriting with Constructor Systems.
Theor. Comput. Sci. 61: 83-92 (1988) |
| 1986 |
|---|
| 2 | | Satish R. Thatte:
Towards a Semantic Theory for Equational Programming Languages.
LISP and Functional Programming 1986: 332-342 |
| 1985 |
|---|
| 1 | | Satish R. Thatte:
On the Correspondence Metween Two Classes of Reduction Systems.
Inf. Process. Lett. 20(2): 83-85 (1985) |
