公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
---|---|---|---|---|---|---|
2007 | Automated technology for verification and analysis (ATVA 2005): Preface | Peled, D.A.; Tsay, Y.-K.; YIH-KUEN TSAY | International Journal of Foundations of Computer Science | 0 | 0 | |
2016 | A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors | Huang, C.-H.; Peled, D.A.; Schewe, S.; Wang, F.; FARN WANG | IEEE Transactions on Software Engineering | 11 | 6 | |
2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Peled, D.A.; Tsay, Y.-K.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |