出版年月 |
著作類別 |
著作名稱 |
作者 |
收錄出處 |
2013-09 |
期刊論文
|
Rough Clustering Using Generalized Fuzzy Clustering Algorithm |
Jim Z. C. Lai, Eric Y.T. Juan* and Franklin J. C. Lai |
Pattern Recognition
|
2012-06 |
研討會論文
|
A Prediction System for Drosophila Melanogaster Protein-Protein Interaction |
Eric Y.T. Juan, J.H. Jhang, B.Y. Chen |
|
2011-06 |
研討會論文
|
Methods for Protein Subcellular Localization Prediction |
Eric Y. T. Juan, J. H. Chang, C. H. Li, B. Y. Chen |
|
2009-03 |
研討會論文
|
Predicting Protein Subcellular Localizations for Gram-Negative Bacteria Using DP-PSSM and Support Vector Machines |
Eric Y. T. Juan, W. J. Li, J. H. Jhang, C. H. Chiu |
|
2008-01 |
專書論文
|
Knowledge Verification |
Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan |
Wiley Encyclopedia of Computer Science and Engineering
|
2003-03 |
期刊論文
|
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems |
J. Tsai, E. Juan, A. Sahay |
IEEE Transactions on Knowledge and Data Engineering
|
2002--- |
專書
|
Compositional Verification of Concurrent and Real-Time Systems |
E. Juan, J. Tsai |
Kluwer Academic Publishers
|
2001-12 |
期刊論文
|
Modelling and Verification of High-Assurance Properties of Safety-Critical Systems |
J. Tsai, E. Juan |
The Computer Journal
|
2001-05 |
期刊論文
|
Reduction Methods for Real-Time Systems using Delay Time Petri Nets |
E. Juan, J. Tsai, T. Murata, and Y. Zhou |
IEEE Transactions on Software Engineering
|
1999-02 |
專書
|
Knowledge Verification |
J. Tsai, D. Zhang, A. Sahay, E. Juan |
Wiley Encyclopedia of Electrical and Electronics Engineering
|
1999-01 |
期刊論文
|
Knowledge-Based Software Architecture: Acquisition, Specification, and Verification |
J. Tsai, A. Liu, E. Juan, A. Sahay |
IEEE Transactions on Knowledge and Data Engineering
|
1998--- |
期刊論文
|
Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules |
E. Juan, J. Tsai, T. Murata |
ACM Transactions on Programming Languages and Systems
|
1997-01 |
期刊論文
|
A Parallel Evaluation Model for Software Architecture Specifications |
J. Tsai, B. Li, E. Juan |
Communications of the ACM
|