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

Satish R. Thatte Vis

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

*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
14EEFrank 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
13EESatish R. Thatte: Object Imaging. ECOOP 1995: 52-76
1994
12EESatish 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
6EELawrence 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
4EELawrence 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)

Coauthor Index

1Wil M. P. van der Aalst [14] [15]
2Frank Leymann [14] [15]
3Lawrence S. Moss [4] [6] [9]
4Wolfgang Reisig [14] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)