Eric Y. T. Juan

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