Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. - Jeffrey J. P. Tsai; Stephen J. H. Yang; Yao-Hsiung Chang; Eric Y. T. Juan (COMPSAC, 1996)

A new compositional method for condensed state-space verification. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata (HASE, 1996)

Transaction integration for reusable hard real-time components. - Jeffrey J. P. Tsai; Bing Li; Eric Y. T. Juan (HASE, 1996)

Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan (HASE, 1997)

Parallel Evaluation of Software Architecture Specifications. - Jeffrey J. P. Tsai; Bing Li; Eric Y. T. Juan (Commun. ACM, 1997)

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata (ACM Trans. Program. Lang. Syst., 1998)

Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. - Jeffrey J. P. Tsai; Alan Liu; Eric Y. T. Juan; Avinash Sahay (IEEE Trans. Knowl. Data Eng., 1999)

Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan (Comput. J., 2001)

Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata; Yi Zhou (IEEE Trans. Software Eng., 2001)

Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan (IEEE ICCI, 2002)

Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan; Avinash Sahay (IEEE Trans. Knowl. Data Eng., 2003)

Knowledge Verification. - Jeffrey J. P. Tsai; Du Zhang; Avinash Sahay; Eric Y. T. Juan (Wiley Encyclopedia of Computer Science and Engineering, 2008)

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 (CISIS, 2009)

Methods for Protein Subcellular Localization Prediction. - Eric Y. T. Juan; J. H. Chang; C. H. Li; B. Y. Chen (CISIS, 2011)

Rough clustering using generalized fuzzy clustering algorithm. - Jim Z. C. Lai; Eric Y. T. Juan; Franklin J. C. Lai (Pattern Recognit., 2013)