BibTeX records: Thomas Varghese

download as .bib file

@inproceedings{DBLP:conf/eos/BuechlerVABLFG18,
  author       = {Dennis Buechler and
                  Thomas Varghese and
                  Peter Armstrong and
                  James Bremer and
                  Rivers Lamb and
                  Jon Fulbright and
                  Steve Goodman},
  editor       = {James J. Butler and
                  Xiaoxiong (Jack) Xiong and
                  Xingfa Gu},
  title        = {On-orbit validation of the geolocation accuracy of {GOES-16} Geostationary
                  Lightning Mapper {(GLM)} flashes using ground-based laser beacons},
  booktitle    = {Earth Observing Systems XXIII, {SPIE} Optical Engineering + Applications,
                  San Diego, California, USA, 19-23 August 2018},
  series       = {{SPIE} Proceedings},
  pages        = {107640J},
  publisher    = {{SPIE}},
  year         = {2018},
  url          = {https://doi.org/10.1117/12.2321672},
  doi          = {10.1117/12.2321672},
  timestamp    = {Thu, 19 May 2022 21:17:47 +0200},
  biburl       = {https://dblp.org/rec/conf/eos/BuechlerVABLFG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/ScheweTV15,
  author       = {Sven Schewe and
                  Ashutosh Trivedi and
                  Thomas Varghese},
  editor       = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
                  Kazuo Iwama and
                  Naoki Kobayashi and
                  Bettina Speckmann},
  title        = {Symmetric Strategy Improvement},
  booktitle    = {Automata, Languages, and Programming - 42nd International Colloquium,
                  {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  pages        = {388--400},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-47666-6\_31},
  doi          = {10.1007/978-3-662-47666-6\_31},
  timestamp    = {Fri, 27 Mar 2020 09:02:59 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/ScheweTV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ScheweTV15,
  author       = {Sven Schewe and
                  Ashutosh Trivedi and
                  Thomas Varghese},
  title        = {Symmetric Strategy Improvement},
  journal      = {CoRR},
  volume       = {abs/1501.06484},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.06484},
  eprinttype   = {arXiv},
  eprint       = {1501.06484},
  timestamp    = {Sat, 01 Dec 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ScheweTV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/ScheweV14,
  author       = {Sven Schewe and
                  Thomas Varghese},
  editor       = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
                  Martin Dietzfelbinger and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Determinising Parity Automata},
  booktitle    = {Mathematical Foundations of Computer Science 2014 - 39th International
                  Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  pages        = {486--498},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44522-8\_41},
  doi          = {10.1007/978-3-662-44522-8\_41},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ScheweV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/ScheweV14a,
  author       = {Sven Schewe and
                  Thomas Varghese},
  editor       = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
                  Martin Dietzfelbinger and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Tight Bounds for Complementing Parity Automata},
  booktitle    = {Mathematical Foundations of Computer Science 2014 - 39th International
                  Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  pages        = {499--510},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44522-8\_42},
  doi          = {10.1007/978-3-662-44522-8\_42},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/ScheweV14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ScheweV14,
  author       = {Sven Schewe and
                  Thomas Varghese},
  title        = {Determinising Parity Automata},
  journal      = {CoRR},
  volume       = {abs/1401.5394},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.5394},
  eprinttype   = {arXiv},
  eprint       = {1401.5394},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ScheweV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/ScheweV14a,
  author       = {Sven Schewe and
                  Thomas Varghese},
  title        = {Tight Bounds for Complementing Parity Automata},
  journal      = {CoRR},
  volume       = {abs/1406.1090},
  year         = {2014},
  url          = {http://arxiv.org/abs/1406.1090},
  eprinttype   = {arXiv},
  eprint       = {1406.1090},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ScheweV14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atva/ScheweV12,
  author       = {Sven Schewe and
                  Thomas Varghese},
  editor       = {Supratik Chakraborty and
                  Madhavan Mukund},
  title        = {Tight Bounds for the Determinisation and Complementation of Generalised
                  B{\"{u}}chi Automata},
  booktitle    = {Automated Technology for Verification and Analysis - 10th International
                  Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {42--56},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33386-6\_5},
  doi          = {10.1007/978-3-642-33386-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/ScheweV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.