Eric Y. T. Juan

Publication Activity (10 Years)

Years Active: 1996-2013
Publications (10 Years): 0

Top Topics

Fuzzy Clustering Algorithms

Gustafson Kessel

Top Venues

Pattern Recognit.

Publications

Jim Z. C. Lai, Eric Y. T. Juan, Franklin J. C. Lai
Rough clustering using generalized fuzzy clustering algorithm. Pattern Recognit. 46 (9) (2013)
Eric Y. T. Juan, J. H. Chang, C. H. Li, B. Y. Chen
Methods for Protein Subcellular Localization Prediction. CISIS (2011)
Eric Y. T. Juan, W. J. Li, J. H. Jhang, C. H. Chiu
Predicting Protein Subcellular Localizations for Gram-Negative Bacteria Using DP-PSSM and Support Vector Machines. CISIS (2009)
Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. IEEE Trans. Knowl. Data Eng. 15 (2) (2003)
Jeffrey J. P. Tsai, Eric Y. T. Juan
Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. IEEE ICCI (2002)
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. IEEE Trans. Software Eng. 27 (5) (2001)
Jeffrey J. P. Tsai, Eric Y. T. Juan
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. Comput. J. 44 (6) (2001)
Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. IEEE Trans. Knowl. Data Eng. 11 (1) (1999)
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. ACM Trans. Program. Lang. Syst. 20 (5) (1998)
Jeffrey J. P. Tsai, Eric Y. T. Juan
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. HASE (1997)
Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40 (1) (1997)
Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
Transaction integration for reusable hard real-time components. HASE (1996)
Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. COMPSAC (1996)
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
A new compositional method for condensed state-space verification. HASE (1996)