Eric Y. T. Juan

	2011
14		Eric Y. T. Juan, J. H. Chang, C. H. Li, B. Y. Chen: Methods for Protein Subcellular Localization Prediction. CISIS 2011: 553-558
	2009
13		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: 836-841
	2008
12		Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan: Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
	2003
11		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): 405-422 (2003)
	2002
10		Jeffrey J. P. Tsai, Eric Y. T. Juan: Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. IEEE ICCI 2002: 59-68
	2001
9		Jeffrey J. P. Tsai, Eric Y. T. Juan: Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. Comput. J. 44(6): 504-530 (2001)
8		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): 422-448 (2001)
	1999
7		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): 187-201 (1999)
	1998
6		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): 917-979 (1998)
	1997
5		Jeffrey J. P. Tsai, Eric Y. T. Juan: Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. HASE 1997: 188-193
4		Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40(1): 83-86 (1997)
	1996
3		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: 36-40
2		Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata: A new compositional method for condensed state-space verification. HASE 1996: 104-111
1		Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Transaction integration for reusable hard real-time components. HASE 1996: 166-175

Coauthor Index

1	J. H. Chang	[14]
2	Yao-Hsiung Chang	[3]
3	B. Y. Chen	[14]
4	C. H. Chiu	[13]
5	J. H. Jhang	[13]
6	Bing Li	[1] [4]
7	C. H. Li	[14]
8	W. J. Li	[13]
9	Alan Liu	[7]
10	Tadao Murata	[2] [6] [8]
11	Avinash Sahay	[7] [11] [12]
12	Jeffrey J. P. Tsai	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
13	Stephen J. H. Yang	[3]
14	Du Zhang	[12]
15	Yi Zhou	[8]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page