The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Eric Y. T. Juan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jeffrey J. P. Tsai, Eric Y. T. Juan
    Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:59-68 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:36-40 [Conf]
  3. Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
    A new compositional method for condensed state-space verification. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:104-111 [Conf]
  4. Jeffrey J. P. Tsai, Eric Y. T. Juan
    Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:188-193 [Conf]
  5. Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
    Transaction integration for reusable hard real-time components. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:166-175 [Conf]
  6. Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
    Parallel Evaluation of Software Architecture Specifications. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1997, v:40, n:1, pp:83-86 [Journal]
  7. Jeffrey J. P. Tsai, Eric Y. T. Juan
    Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:6, pp:504-530 [Journal]
  8. Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay
    Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:2, pp:405-422 [Journal]
  9. Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay
    Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1999, v:11, n:1, pp:187-201 [Journal]
  10. Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
    Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:5, pp:917-979 [Journal]
  11. Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou
    Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:5, pp:422-448 [Journal]

  12. Predicting Protein Subcellular Localizations for Gram-Negative Bacteria Using DP-PSSM and Support Vector Machines. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002