Yih-Kuen Tsay

From MaRDI portal
Revision as of 06:27, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:671673

Available identifiers

zbMath Open tsay.yih-kuenMaRDI QIDQ671673

List of research outcomes





PublicationDate of PublicationType
Towards a grand unification of Büchi complementation constructions2023-08-10Paper
From linear temporal logics to Büchi automata: the early and simple principle2023-05-26Paper
Congruence Relations for Büchi Automata2023-04-21Paper
Assumption/guarantee specifications in linear-time temporal logic (extended abstract)2022-08-18Paper
State of B\"uchi Complementation2015-01-15Paper
Büchi Store: An Open Repository of Büchi Automata2011-05-19Paper
State of Büchi Complementation2011-02-11Paper
AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES2009-08-21Paper
Tool support for learning Büchi automata and linear temporal logic2009-05-27Paper
Learning Minimal Separating DFA’s for Compositional Verification2009-03-31Paper
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties2009-02-12Paper
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages2008-04-11Paper
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic2008-04-11Paper
Algorithmic analysis of programs with well quasi-ordered domains.2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q45083132000-10-03Paper
Assumption/guarantee specifications in linear-time temporal logic1997-02-27Paper
Some impossibility results in interprocess synchronization1993-09-16Paper

Research outcomes over time

This page was built for person: Yih-Kuen Tsay

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:671673&oldid=7595885"
Powered by MediaWiki