Thomas Varghese

According to our database, Thomas Varghese authored at least 5 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

On-orbit validation of the geolocation accuracy of GOES-16 Geostationary Lightning Mapper (GLM) flashes using ground-based laser beacons.

Dennis Buechler, Thomas Varghese, Peter Armstrong, James Bremer, Rivers Lamb, Jon Fulbright, Steve Goodman

Proceedings of the Earth Observing Systems XXIII, 2018

2015

Symmetric Strategy Improvement.

Sven Schewe, Ashutosh Trivedi, Thomas Varghese

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Tight Bounds for Complementing Parity Automata.

Sven Schewe, Thomas Varghese

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Determinising Parity Automata.

Sven Schewe, Thomas Varghese

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2012

Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata.

Sven Schewe, Thomas Varghese

Proceedings of the Automated Technology for Verification and Analysis, 2012