Thomas Varghese

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Finite Automaton

Error Correction

Finite State Automaton

Top Venues

Publications

Dennis Buechler, Thomas Varghese, Peter Armstrong, James Bremer, Rivers Lamb, Jon Fulbright, Steve Goodman
On-orbit validation of the geolocation accuracy of GOES-16 Geostationary Lightning Mapper (GLM) flashes using ground-based laser beacons. Earth Observing Systems (2018)
Sven Schewe, Ashutosh Trivedi, Thomas Varghese
Symmetric Strategy Improvement. ICALP (2) (2015)
Sven Schewe, Ashutosh Trivedi, Thomas Varghese
Symmetric Strategy Improvement. CoRR (2015)
Sven Schewe, Thomas Varghese
Determinising Parity Automata. MFCS (1) (2014)
Sven Schewe, Thomas Varghese
Tight Bounds for Complementing Parity Automata. MFCS (1) (2014)
Sven Schewe, Thomas Varghese
Determinising Parity Automata. CoRR (2014)
Sven Schewe, Thomas Varghese
Tight Bounds for Complementing Parity Automata. CoRR (2014)
Sven Schewe, Thomas Varghese
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. ATVA (2012)