Papers

1. Symmetric Strategy Improvement. With Sven Schewe and Ashutosh Trivedi. ICALP 2015. Link to arXiv
2. Parity and Generalised Büchi Automata – Determinisation and Complementation. Ph.D. Thesis. PDF
3. Tight Bounds for Complementing Parity Automata. With Sven Schewe. MFCS 2014. Link to arXiv
4. Determinising Parity Automata. With Sven Schewe. MFCS 2014. Link to arXiv
5. Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata. With Sven Schewe. ATVA 2012. PDF
6. An improved analysis of Piterman’s Streett Determinisation Construction. PDF

Note: Owing to the long nature of my full name, I’m credited as Thomas Varghese in most of the above publications.