Eric Y. T. Juan

According to our database, Eric Y. T. Juan authored at least 15 papers between 1996 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

Rough clustering using generalized fuzzy clustering algorithm.

Jim Z. C. Lai, Eric Y. T. Juan, Franklin J. C. Lai

Pattern Recognit., 2013

2011

Methods for Protein Subcellular Localization Prediction.

Eric Y. T. Juan, J. H. Chang, C. H. Li, B. Y. Chen

Proceedings of the International Conference on Complex, 2011

2009

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

Proceedings of the 2009 International Conference on Complex, 2009

2008

Knowledge Verification.

Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2003

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

2002

Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems.

Jeffrey J. P. Tsai, Eric Y. T. Juan

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

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

Modeling and Verification of High-Assurance Properties of Safety-Critical Systems.

Jeffrey J. P. Tsai, Eric Y. T. Juan

Comput. J., 2001

1999

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

1998

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

1997

Parallel Evaluation of Software Architecture Specifications.

Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan

Commun. ACM, 1997

Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems.

Jeffrey J. P. Tsai, Eric Y. T. Juan

Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996

Transaction integration for reusable hard real-time components.

Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

A new compositional method for condensed state-space verification.

Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

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

Proceedings of the COMPSAC '96, 1996