Thomas Varghese

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Symmetric strategy improvement
Automata, Languages, and Programming
2015-11-04Paper
Determinising parity automata
Mathematical Foundations of Computer Science 2014
2014-10-14Paper
Tight bounds for complementing parity automata
Mathematical Foundations of Computer Science 2014
2014-10-14Paper
Tight Bounds for the Determinisation and Complementation of Generalised Büchi Automata
Automated Technology for Verification and Analysis
2012-11-21Paper
scientific article; zbMATH DE number 958406 (Why is no real title available?)1997-02-27Paper
scientific article; zbMATH DE number 716307 (Why is no real title available?)1995-01-31Paper


Research outcomes over time


This page was built for person: Thomas Varghese