Eric Y. T. Juan

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Rough clustering using generalized fuzzy clustering algorithm.
Pattern Recognit., 2013

2011
Methods for Protein Subcellular Localization Prediction.
Proceedings of the International Conference on Complex, 2011

2009
Predicting Protein Subcellular Localizations for Gram-Negative Bacteria Using DP-PSSM and Support Vector Machines.
Proceedings of the 2009 International Conference on Complex, 2009

2008
Knowledge Verification.
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.
IEEE Trans. Knowl. Data Eng., 2003

2002
Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems.
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.
IEEE Trans. Software Eng., 2001

Modeling and Verification of High-Assurance Properties of Safety-Critical Systems.
Comput. J., 2001

1999
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification.
IEEE Trans. Knowl. Data Eng., 1999

1998
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.
ACM Trans. Program. Lang. Syst., 1998

1997
Parallel Evaluation of Software Architecture Specifications.
Commun. ACM, 1997

Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems.
Proceedings of the 2nd High-Assurance Systems Engineering Workshop (HASE '97), 1997

1996
Transaction integration for reusable hard real-time components.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

A new compositional method for condensed state-space verification.
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.
Proceedings of the COMPSAC '96, 1996


  Loading...