公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2008 | Automated compositional reasoning of intuitionistically closed regular properties | Tsay, Y.-K.; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 1 | 0 | |
2006 | Deterministic catalytic systems are not universal | Ibarra, Oscar H.; Yen, Hsu-Chun | Theoretical Computer Science | 13 | 6 | |
2005 | On Sequential and 1-Deterministic P Systems. | Ibarra, Oscar H.; Woodworth, Sara; Yen, Hsu-Chun; Dang, Zhe; HSU-CHUN YEN | Computing and Combinatorics, 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005, Proceedings | 4 | 0 | |
2013 | Preface. | Yen, Hsu-Chun; Ibarra, Oscar H.; HSU-CHUN YEN | Int. J. Found. Comput. Sci. | 0 | 0 | |
2007 | Special issue - Implementation and Application of Automata - Preface | Ibarra, Oscar H.; Yen, Hsu-Chun; HSU-CHUN YEN | International Journal of Foundations of Computer Science | 0 | 0 | |
2010 | Special Issue Algorithms and Computation Preface | Ibarra, Oscar H.; Yen, Hsu-Chun; HSU-CHUN YEN | International Journal of Foundations of Computer Science | 0 | 0 | |