Yih-Kuen Tsay

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Ming-Hsien Tsai 0001

> Home > Persons > Yih-Kuen Tsay

Publications

2014
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/TsaiFVT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/TsaiFVT14
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. Log. Methods Comput. Sci. 10(4) (2014)
2013
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/TsayTCCL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/TsayTCCL13
Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang, Chi-Shiang Liu:
Büchi Store: an open repository of ω-automata. Int. J. Softw. Tools Technol. Transf. 15(2): 109-123 (2013)
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/TsaiTH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/TsaiTH13
Ming-Hsien Tsai, Yih-Kuen Tsay, Yu-Shiang Hwang:
GOAL for Games, Omega-Automata, and Logics. CAV 2013: 883-889
2011
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TsayTCC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TsayTCC11
Yih-Kuen Tsay, Ming-Hsien Tsai, Jinn-Shu Chang, Yi-Wen Chang:
Büchi Store: An Open Repository of Büchi Automata. TACAS 2011: 262-266
2010
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/ChenCFTTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChenCFTTW10
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang:
Automated Assume-Guarantee Reasoning through Implicit Learning. CAV 2010: 511-526
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/ChenCFHTTWZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/ChenCFHTTWZ10
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu:
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. ISoLA (1) 2010: 643-657
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MagillTLT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MagillTLT10
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay:
Automatic numeric abstractions for heap-manipulating programs. POPL 2010: 211-222
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/TsaiFVT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/TsaiFVT10
Ming-Hsien Tsai, Seth Fogarty, Moshe Y. Vardi, Yih-Kuen Tsay:
State of Büchi Complementation. CIAA 2010: 261-271
2009
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/TsayCTWCLC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/TsayCTWCLC09
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang:
Tool support for learning Büchi automata and linear temporal logic. Formal Aspects Comput. 21(3): 259-275 (2009)
2008
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MagillTLT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MagillTLT08
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Kuen Tsay:
THOR: A Tool for Reasoning about Shape and Arithmetic. CAV 2008: 428-432
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TsayCTCL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TsayCTCL08
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Wen-Chin Chan, Chi-Jian Luo:
GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic. TACAS 2008: 346-350
2007
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/TsayCTWC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/TsayCTWC07
Yih-Kuen Tsay, Yu-Fang Chen, Ming-Hsien Tsai, Kang-Nien Wu, Wen-Chin Chan:
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. TACAS 2007: 466-471

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.