|
"yih kuen tsay"的相關文件
顯示項目 11-20 / 34 (共4頁)
<< < 1 2 3 4 > >>
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
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 |
顯示項目 11-20 / 34 (共4頁)
<< < 1 2 3 4 > >>
每頁顯示[10|25|50]項目
|
