公開日期 | 標題 | 作者 | 來源出版物 | WOS | 全文 |
---|---|---|---|---|---|
2008 | Knowledge Verification | Eric Y. T. Juan ; Jeffrey J. P. Tsai; Du Zhang; Avinash Sahay | Wiley Encyclopedia of Computer Science and Engineering | ||
1999 | Knowledge Verification | E. Juan ; J. Tsai; D. Zhang; A. Sahay | Wiley Encyclopedia of Electrical and Electronics Engineering | ||
1999 | Knowledge-Based Software Architecture: Acquisition, Specification, and Verification | E. Juan ; A. Liu; J. Tsai; A. Sahay | IEEE Transactions on Knowledge and Data Engineering | ||
2011 | Methods for Protein Subcellular Localization Prediction | Eric Y. T. Juan ; J. H. Chang; C. H. Li; B. Y. Chen | 0 | ||
2003 | Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems | J. Tsai; A. Sahay; E. Juan | IEEE Transactions on Knowledge and Data Engineering | ||
2001 | Modelling and Verification of High-Assurance Properties of Safety-Critical Systems | J. Tsai; E. Juan | The Computer Journal | ||
1997 | A Parallel Evaluation Model for Software Architecture Specifications | J. Tsai; B. Li; E. Juan | Communications of the ACM | ||
2009 | Predicting Protein Subcellular Localizations for Gram-Negative Bacteria Using DP-PSSM and Support Vector Machines | W. J. Li; J. H. Jhang; C. H. Chiu; Eric Y. T. Juan | 0 | ||
2012 | A Prediction System for Drosophila Melanogaster Protein-Protein Interaction | Eric Y.T. Juan ; J.H. Jhang; B.Y. Chen | |||
2001 | Reduction Methods for Real-Time Systems using Delay Time Petri Nets | E. Juan ; J. Tsai; T. Murata; Y. Zhou | IEEE Transactions on Software Engineering | ||
2013 | Rough clustering using generalized fuzzy clustering algorithm | Jim Z. C. Lai; Eric Y.T. Juan ; Franklin J. C. Lai | Pattern Recognition | 25 |