English  |  正體中文  |  简体中文  |  总笔数 :2832487  
造访人次 :  33861574    在线人数 :  1369
教育部委托研究计画      计画执行:国立台湾大学图书馆
 
臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)
关于TAIR

浏览

消息

著作权

相关连结

"tsay y k"的相关文件

回到依作者浏览
依题名排序 依日期排序

显示项目 1-38 / 38 (共1页)
1 
每页显示[10|25|50]项目

机构 日期 题名 作者
臺大學術典藏 2022-04-26T06:17:31Z From Linear Temporal Logics to?B?chi Automata: The?Early and?Simple Principle Tsay Y.-K;Vardi M.Y.; Tsay Y.-K; Vardi M.Y.; YIH-KUEN TSAY
臺大學術典藏 2022-04-26T06:17:31Z Congruence Relations for B?chi Automata Li Y;Tsay Y.-K;Turrini A;Vardi M.Y;Zhang L.; Li Y; Tsay Y.-K; Turrini A; Vardi M.Y; Zhang L.; YIH-KUEN TSAY
臺大學術典藏 2020-02-11T02:33:56Z An algorithm with optimal failure locality for the dining philosophers problem Tsay, Y.-K;Bagrodia, R.L.; Tsay, Y.-K; Bagrodia, R.L.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T14:53:43Z State of Büchi complementation Tsai, M.-H.;Fogarty, S.;Vardi, M.Y.;Tsay, Y.-K.; Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; Tsay, Y.-K.; YIH-KUEN TSAY; Tsai, M.-H
臺大學術典藏 2018-09-10T09:43:49Z GOAL for games, omega-automata, and logics Tsai, M.-H.;Tsay, Y.-K.;Hwang, Y.-S.; Tsai, M.-H.; Tsay, Y.-K.; Hwang, Y.-S.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T09:43:49Z Büchi Store: An open repository of ω-automata Tsay, Y.-K.;Tsai, M.-H.;Chang, J.-S.;Chang, Y.-W.;Liu, C.-S.; Tsay, Y.-K.; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; Liu, C.-S.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T08:35:31Z State of Büchi complementation Tsai, M.-H.;Fogarty, S.;Vardi, M.Y.;Tsay, Y.-K.; Tsai, M.-H.; Fogarty, S.; Vardi, M.Y.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T08:35:31Z Büchi store: An open repository of Büchi automata Tsay, Y.-K.;Tsai, M.-H.;Chang, J.-S.;Chang, Y.-W.; Tsay, Y.-K.; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T08:09:03Z Comparing learning algorithms in automated assume-guarantee reasoning Chen, Y.-F.;Clarke, E.M.;Farzan, A.;He, F.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.;Zhu, L.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T08:09:03Z Automatic numeric abstractions for heap-manipulating programs Magill, S.;Tsai, M.-H.;Lee, P.;Tsay, Y.-K.; Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T08:09:03Z Automated assume-guarantee reasoning through implicit learning Chen, Y.-F.;Clarke, E.M.;Farzan, A.;Tsai, M.-H.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T08:09:03Z Automatic numeric abstractions for heap-manipulating programs YIH-KUEN TSAY; Magill, S.;Tsai, M.-H.;Lee, P.;Tsay, Y.-K.; Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.
臺大學術典藏 2018-09-10T07:28:17Z Automated compositional reasoning of intuitionistically closed regular properties Tsay, Y.-K.;Wang, B.-Y.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T07:28:16Z Tool support for learning Büchi automata and linear temporal logic Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.;Luo, C.-J.;Chang, J.-S.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; Luo, C.-J.; Chang, J.-S.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T07:28:16Z Learning minimal separating DFA's for compositional verification Chen, Y.-F.;Farzan, A.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Chen, Y.-F.; Farzan, A.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:56:12Z Extending automated compositional verification to the full class of omega-regular languages Farzan, A.;Chen, Y.-F.;Clarke, E.M.;Tsay, Y.-K.;Wang, B.-Y.; Farzan, A.; Chen, Y.-F.; Clarke, E.M.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:56:12Z Automated compositional reasoning of intuitionistically closed regular properties Tsay, Y.-K.;Wang, B.-Y.;Ibarra, Oscar H.;Ravikumar, Bala; Tsay, Y.-K.; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:56:12Z Deriving a scalable algorithm for mutual exclusion Tsay, Y.-K.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:56:11Z THOR: A tool for reasoning about shape and arithmetic - Tool paper Magill, S.;Tsai, M.-H.;Lee, P.;Tsay, Y.-K.; Magill, S.; Tsai, M.-H.; Lee, P.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:56:11Z GOAL extended: Towards a research tool for omega automata and temporal logic Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Chan, W.-C.;Luo, C.-J.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Chan, W.-C.; Luo, C.-J.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:21:51Z GOAL: A graphical tool for manipulating Büchi automata and temporal formulae Tsay, Y.-K.;Chen, Y.-F.;Tsai, M.-H.;Wu, K.-N.;Chan, W.-C.; Tsay, Y.-K.; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T06:21:51Z Automated technology for verification and analysis (ATVA 2005): Preface Peled, D.A.;Tsay, Y.-K.; Peled, D.A.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T05:16:55Z Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Peled, D.A.;Tsay, Y.-K.; Peled, D.A.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T04:48:18Z Fault-Tolerant Algorithms for Fair Interprocess Synchronization Tsay, Y.-K.;Bagrodia, R.L.; Tsay, Y.-K.; Bagrodia, R.L.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T04:28:32Z Composing temporal-logic specifications with machine assistance Teng, J.-W.;Tsay, Y.-K.; Teng, J.-W.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T04:28:32Z Some impossibility results in interprocess synchronization Tsay, Y.-K.;Bagrodia, R.L.; Tsay, Y.-K.; Bagrodia, R.L.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T03:26:28Z Compositional verification in linear-time temporal logic Tsay, Y.-K.; Tsay, Y.-K.; YIH-KUEN TSAY
臺大學術典藏 2018-09-10T03:26:28Z Algorithmic analysis of programs with well quasi-ordered domains Abdulla, P.A.;?erans, K.;Jonsson, B.;Tsay, Y.-K.; Abdulla, P.A.; ?erans, K.; Jonsson, B.; Tsay, Y.-K.; YIH-KUEN TSAY
國立臺灣大學 2009-08 Automated Compositional Reasoning of Intuitionistically Closed Regular Properties Tsay, Y.-K.; Wang, B.-Y.
國立臺灣大學 2009-05 Tool Support for Learning Buchi Automata and Linear Temporal Logic Tsay, Y. -K.; Chen, Y. -F.; Tsai, M. -H.; Wu, K. -N.; Chan, W. -C.; Luo, C. -J.; Chang, J. -S.
國立臺灣大學 2007-02 Automated Technology for Verification and Analysis (ATVA 2005) - Preface Peled, D. A.; Tsay, Y. -K.
國立臺灣大學 2000 Algorithmic Analysis of Programs with Well Quasi-Ordered Domains Abdulla, P. A.; Cerans, K.; Jonsson, B.; Tsay, Y.K.
國立臺灣大學 1996-10 Assumption/Guarantee Specifications in Linear-Time Temporal Logic Jonsson, B.; Tsay, Y. -K.
國立臺灣大學 1995-01 Deducing Fairness Properties in UNITY Logic - A New Completeness Result Tsay,Y. -K.; Bagrodia, R. L.
臺大學術典藏 1995 Assumption/guarantee specifications in linear-time temporal logic Jonsson, B; Tsay, Y.-K.; YIH-KUEN TSAY; Jonsson, B;Tsay, Y.-K.
國立臺灣大學 1994-07 Fault-Tolerant Algorithms for Fair Interprocess Synchronization Tsay, Y.-K.; Bagrodia, R. L.
國立臺灣大學 1993-07 Some Impossibility Results in Interprocess Synchronization Tsay,Y. -K.; Bagrodia, R. L.
臺大學術典藏 1992 A real-time algorithm for fair interprocess synchronization Tsay, Y.-K;Bagrodia, R.L.; Tsay, Y.-K; Bagrodia, R.L.; YIH-KUEN TSAY

显示项目 1-38 / 38 (共1页)
1 
每页显示[10|25|50]项目