BibTeX records: Satish Thatte

download as .bib file

@inproceedings{DBLP:conf/btw/Thatte05,
  author    = {Satish Thatte},
  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},
  pages     = {485--494},
  year      = {2005},
  crossref  = {DBLP:conf/btw/2005},
  url       = {https://dl.gi.de/20.500.12116/28286},
  timestamp = {Thu, 14 Nov 2019 16:35:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/btw/Thatte05},
  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},
  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},
  year      = {1995},
  crossref  = {DBLP:conf/sigmod/95},
  url       = {https://doi.org/10.1145/223784.223891},
  doi       = {10.1145/223784.223891},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/ShklarSKT95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Thatte91,
  author    = {Satish Thatte},
  title     = {A Type System for Implicit Scaling},
  journal   = {Sci. Comput. Program.},
  volume    = {17},
  number    = {1-3},
  pages     = {217--245},
  year      = {1991},
  url       = {https://doi.org/10.1016/0167-6423(91)90040-5},
  doi       = {10.1016/0167-6423(91)90040-5},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Thatte91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Thatte90,
  author    = {Satish Thatte},
  title     = {Type Inference and Implicit Scaling},
  booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
               May 15-18, 1990, Proceedings},
  pages     = {406--420},
  year      = {1990},
  crossref  = {DBLP:conf/esop/1990},
  url       = {https://doi.org/10.1007/3-540-52592-0\_77},
  doi       = {10.1007/3-540-52592-0\_77},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/Thatte90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Thatte88,
  author    = {Satish Thatte},
  title     = {Type Inference with Partial Types},
  booktitle = {Automata, Languages and Programming, 15th International Colloquium,
               ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  pages     = {615--629},
  year      = {1988},
  crossref  = {DBLP:conf/icalp/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/bib/conf/icalp/Thatte88},
  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 = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/Thatte87},
  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   = {Advances in Computers},
  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 = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ac/BerztissT83},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/btw/2005,
  editor    = {Gottfried Vossen and
               Frank Leymann and
               Peter C. Lockemann and
               Wolffried Stucky},
  title     = {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}},
  publisher = {{GI}},
  year      = {2005},
  url       = {https://dl.gi.de/handle/20.500.12116/28260},
  isbn      = {3-88579-394-6},
  timestamp = {Thu, 14 Nov 2019 16:35:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/btw/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/95,
  editor    = {Michael J. Carey and
               Donovan A. Schneider},
  title     = {Proceedings of the 1995 {ACM} {SIGMOD} International Conference on
               Management of Data, San Jose, California, USA, May 22-25, 1995},
  publisher = {{ACM} Press},
  year      = {1995},
  timestamp = {Thu, 21 Jun 2018 08:00:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/1990,
  editor    = {Neil D. Jones},
  title     = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
               May 15-18, 1990, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {432},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/3-540-52592-0},
  doi       = {10.1007/3-540-52592-0},
  isbn      = {3-540-52592-0},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icalp/1988,
  editor    = {Timo Lepist{\"{o}} and
               Arto Salomaa},
  title     = {Automata, Languages and Programming, 15th International Colloquium,
               ICALP88, Tampere, Finland, July 11-15, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {317},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/3-540-19488-6},
  doi       = {10.1007/3-540-19488-6},
  isbn      = {3-540-19488-6},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icalp/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics