BibTeX records: Satish Thatte

• > Home > Persons > Satish Thatte

@inproceedings{DBLP:conf/btw/Thatte05,
  author       = {Satish Thatte},
  editor       = {Gottfried Vossen and
                  Frank Leymann and
                  Peter C. Lockemann and
                  Wolffried Stucky},
  title        = {BizTalk Integration Broker},
  booktitle    = {Datenbanksysteme in Business, Technologie und Web, 11. Fachtagung
                  des GI-Fachbereichs "Datenbanken und Informationssysteme" (DBIS),
                  Karlsruhe, 2.-4. M{\"{a}}rz 2005},
  series       = {{LNI}},
  volume       = {{P-65}},
  pages        = {485--494},
  publisher    = {{GI}},
  year         = {2005},
  url          = {https://dl.gi.de/handle/20.500.12116/28286},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/btw/Thatte05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigmod/ShklarSKT95,
  author       = {Leon A. Shklar and
                  Amit P. Sheth and
                  Vipul Kashyap and
                  Satish Thatte},
  editor       = {Michael J. Carey and
                  Donovan A. Schneider},
  title        = {InfoHarness: {A} System for Search and Retrieval of Heterogeneous
                  Information},
  booktitle    = {Proceedings of the 1995 {ACM} {SIGMOD} International Conference on
                  Management of Data, San Jose, California, USA, May 22-25, 1995},
  pages        = {478},
  publisher    = {{ACM} Press},
  year         = {1995},
  url          = {https://doi.org/10.1145/223784.223891},
  doi          = {10.1145/223784.223891},
  timestamp    = {Tue, 16 Aug 2022 23:04:20 +0200},
  biburl       = {https://dblp.org/rec/conf/sigmod/ShklarSKT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/Thatte88,
  author       = {Satish Thatte},
  editor       = {Timo Lepist{\"{o}} and
                  Arto Salomaa},
  title        = {Type Inference with Partial Types},
  booktitle    = {Automata, Languages and Programming, 15th International Colloquium,
                  ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {317},
  pages        = {615--629},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-19488-6\_146},
  doi          = {10.1007/3-540-19488-6\_146},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Thatte88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Thatte87,
  author       = {Satish Thatte},
  title        = {A Refinement of Strong Sequentiality for Term Rewriting with Constructors},
  journal      = {Inf. Comput.},
  volume       = {72},
  number       = {1},
  pages        = {46--65},
  year         = {1987},
  url          = {https://doi.org/10.1016/0890-5401(87)90050-2},
  doi          = {10.1016/0890-5401(87)90050-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Thatte87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/oopsla/Thatte87,
  author       = {Satish Thatte},
  editor       = {Leigh R. Power and
                  Zvi Weiss},
  title        = {Workshop on {OODB} implementation},
  booktitle    = {Addendum to the Proceedings on Object-Oriented Programming Systems,
                  Languages and Applications, {OOPSLA} 1987 Addendum, Orlando, Florida,
                  USA, October 4-8, 1987},
  pages        = {73--87},
  publisher    = {{ACM}},
  year         = {1987},
  url          = {https://doi.org/10.1145/62138.62150},
  doi          = {10.1145/62138.62150},
  timestamp    = {Wed, 30 Mar 2022 17:08:44 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/Thatte87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ac/BerztissT83,
  author       = {Alfs T. Berztiss and
                  Satish Thatte},
  title        = {Specification and Implementation of Abstract Data Types},
  journal      = {Adv. Comput.},
  volume       = {22},
  pages        = {295--353},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0065-2458(08)60131-X},
  doi          = {10.1016/S0065-2458(08)60131-X},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ac/BerztissT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}