Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Satish R. Thatte

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2006
[c8]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/LeymannRTA06
- ask others
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
[e1]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2006P6291
- ask others
Frank Leymann, Wolfgang Reisig, Satish R. Thatte, Wil M. P. van der Aalst (Eds.): The Role of Business Processes in Service Oriented Architectures, 16.07. - 21.07.2006. Dagstuhl Seminar Proceedings 06291, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1995
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecoop/Thatte95
- ask others
Satish R. Thatte: Object Imaging. ECOOP 1995: 52-76
1994
[j6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Thatte94
- ask others
Satish R. Thatte: Type Inference with Partial Types. Theor. Comput. Sci. 124(1): 127-148 (1994)
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lfp/Thatte94
- ask others
Satish R. Thatte: Semantics of Type Classes Revisited. LISP and Functional Programming 1994: 208-219
1993
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsc/Thatte93
- ask others
Satish R. Thatte: Finite Acyclic Theories are Unitary. J. Symb. Comput. 15(2): 235-249 (1993)
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/MossT93
- ask others
Lawrence S. Moss, Satish R. Thatte: Modal Logic and Algebraic Specifications. Theor. Comput. Sci. 111(1&2): 191-210 (1993)
1991
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fpca/Thatte91
- ask others
Satish R. Thatte: Coercive Type Isomorphism. FPCA 1991: 29-49
1990
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Thatte90
- ask others
Satish R. Thatte: Quasi-Static Typing. POPL 1990: 367-381

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Thatte89
- ask others
Satish R. Thatte: Full Abstraction and Limiting Completeness in Equational Languages. Theor. Comput. Sci. 65(1): 85-119 (1989)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfps/MossT89
- ask others
Lawrence S. Moss, Satish R. Thatte: Generalization of Final Algebra Semantics by Relativization. Mathematical Foundations of Programming Semantics 1989: 284-300
1988
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Thatte88
- ask others
Satish R. Thatte: Implementing First-Order Rewriting with Constructor Systems. Theor. Comput. Sci. 61: 83-92 (1988)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/aluacs/MossT88
- ask others
Lawrence S. Moss, Satish R. Thatte: Optimal semantics of data type extensions. Algebraic Logic and Universal Algebra in Computer Science 1988: 161-180
1986
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lfp/Thatte86
- ask others
Satish R. Thatte: Towards a Semantic Theory for Equational Programming Languages. LISP and Functional Programming 1986: 332-342
1985
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ipl/Thatte85
- ask others
Satish R. Thatte: On the Correspondence Metween Two Classes of Reduction Systems. Inf. Process. Lett. 20(2): 83-85 (1985)

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?