|
|
???tair.name??? >
???browser.page.title.author???
|
"tsay y k"???jsp.browse.items-by-author.description???
Showing items 16-25 of 38 (4 Page(s) Totally)
<< < 1 2 3 4 > >>
View [10|25|50] records per page
| 臺大學術典藏 |
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 |
Showing items 16-25 of 38 (4 Page(s) Totally)
<< < 1 2 3 4 > >>
View [10|25|50] records per page
|
