Yih-Kuen Tsay

Available identifiers

Publication	Date of Publication	Type
Towards a grand unification of Büchi complementation constructions	2023-08-10	Paper
From linear temporal logics to Büchi automata: the early and simple principle	2023-05-26	Paper
Congruence Relations for Büchi Automata	2023-04-21	Paper
Assumption/guarantee specifications in linear-time temporal logic (extended abstract)	2022-08-18	Paper
State of B\"uchi Complementation	2015-01-15	Paper
Büchi Store: An Open Repository of Büchi Automata	2011-05-19	Paper
State of Büchi Complementation	2011-02-11	Paper
AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES	2009-08-21	Paper
Tool support for learning Büchi automata and linear temporal logic	2009-05-27	Paper
Learning Minimal Separating DFA’s for Compositional Verification	2009-03-31	Paper
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties	2009-02-12	Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages	2008-04-11	Paper
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic	2008-04-11	Paper
Algorithmic analysis of programs with well quasi-ordered domains.	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4508313	2000-10-03	Paper
Assumption/guarantee specifications in linear-time temporal logic	1997-02-27	Paper
Some impossibility results in interprocess synchronization	1993-09-16	Paper

This page was built for person: Yih-Kuen Tsay