Concepedia

Yih-Kuen Tsay

YT

Statistics

Publications

8

Citations

806

H-Index

8

Active since

1993

Affiliations

National Taiwan University(Current)

Uppsala University

University of Latvia

Carnegie Mellon University

University of California, Los Angeles

Yih-Kuen Tsay is an author at National Taiwan University specializing in computer science, computing, and formal methods.

Publications per year

1993–2014

8

Publications

8

General decidability theorems for infinite-state systems

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jönsson et al. · 2002 · 411 citations

Computing, Computer Science, Mathematics +17

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jönsson et al. · Information and Computation · 2000 · 201 citations

Computing, Computer Science, Mathematics +10

Automatic numeric abstractions for heap-manipulating programs

S. Magill, Ming-Hsien Tsai, Peter Lee et al. · 2010 · 79 citations

Computing, Computer Science, Data Structures +16

Assumption/guarantee specifications in linear-time temporal logic

Bengt Jönsson, Yih-Kuen Tsay · Theoretical Computer Science · 1996 · 49 citations

Computing, Computer Science, Formal Methods +13

State of B\"uchi Complementation

Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi et al. · Logical Methods in Computer Science · 2014 · 21 citations · Full text

Computing, Computer Science, Algorithms +10

1–5 of 8