- 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 |
| 14 |  | 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 | | Satish R. Thatte: Object Imaging. ECOOP 1995: 52-76 |
| 1994 | ||
| 12 | | 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) |
| 1 | Wil M. P. van der Aalst | [14] [15] |
| 2 | Frank Leymann | [14] [15] |
| 3 | Lawrence S. Moss | [4] [6] [9] |
| 4 | Wolfgang Reisig | [14] [15] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page