Thomas Varghese

From MaRDI portal
Person:2922041



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