Satish R. Thatte

15 papers A* 1A 1B 1Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2006 — conf
06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures.
The Role of Business Processes in Service Oriented Architectures
Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst
2006 — ed.
The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006
The Role of Business Processes in Service Oriented Architectures
Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst
1995 A conf
Object Imaging.
ECOOP
Satish R. Thatte
1994 — conf
Semantics of Type Classes Revisited.
LISP and Functional Programming
Satish R. Thatte
1994 J jnl
Type Inference with Partial Types.
Theor. Comput. Sci.
Satish R. Thatte
1993 J jnl
Finite Acyclic Theories are Unitary.
J. Symb. Comput.
Satish R. Thatte
1993 J jnl
Modal Logic and Algebraic Specifications.
Theor. Comput. Sci.
Lawrence S. Moss, Satish R. Thatte
1991 — conf
Coercive Type Isomorphism.
FPCA
Satish R. Thatte
1990 A* conf
Quasi-Static Typing.
POPL
Satish R. Thatte
1989 J jnl
Full Abstraction and Limiting Completeness in Equational Languages.
Theor. Comput. Sci.
Satish R. Thatte
1989 B conf
Generalization of Final Algebra Semantics by Relativization.
Mathematical Foundations of Programming Semantics
Lawrence S. Moss, Satish R. Thatte
1988 J jnl
Implementing First-Order Rewriting with Constructor Systems.
Theor. Comput. Sci.
Satish R. Thatte
1988 — conf
Optimal semantics of data type extensions.
Algebraic Logic and Universal Algebra in Computer Science
Lawrence S. Moss, Satish R. Thatte
1986 — conf
Towards a Semantic Theory for Equational Programming Languages.
LISP and Functional Programming
Satish R. Thatte
1985 J jnl
On the Correspondence Metween Two Classes of Reduction Systems.
Inf. Process. Lett.
Satish R. Thatte