Jeffrey J. P. Tsai Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChun-Ming Chang, Jeffrey J. P. Tsai: Ergonomic Designs Based on Musculoskeletal Models. BIBE 2011: 112-116
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Hecht, Charles C. N. Wang, Rouh-Mei Hu, Jeffrey J. P. Tsai: Molecular Modeling Studies of AmpR Mediated AmpC ß-Lactamase Repression. BIBE 2011: 195-200
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJing-Gung Chung, Jeffrey J. P. Tsai, Chien-Yih Lin, Yang-Chia Shih, Jin-Shih Chen, Ming-Jen Fan: The Application of Molecular Markers to Identify Edible Fungi: A Case Study of Tremella Fuciformis. BIBE 2011: 213-220
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing-Jen Fan, Su-May Yu, Tzu-Chieh Hung, Wei-Quan Chen, Yue-Ie Hsing, Hsin-Li Lin, Chia-Cheng Liu, Jing-Gung Chung, Jeffrey J. P. Tsai: TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach. BIBE 2011: 221-227
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles C. N. Wang, Ka-Lok Ng, Yu-Ching Chen, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai: Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model. BIBE 2011: 228-233
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu-Liang Lee, Jie-Wei Weng, Wen-Chin Chiang, Yi-Wen Lin, Ka-Lok Ng, Jeffrey J. P. Tsai, Chi-Ying Huang: Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing. BIBE 2011: 33-38
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan C. W. Hsiao, Rouh-Mei Hu, Wei-Liang Tai, Rong-Ming Chen, Jeffrey J. P. Tsai: Object Relational Programming of Biomedical Images. BIBE 2011: 52-57
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei-Liang Tai, Rouh-Mei Hu, Han C. W. Hsiao, Rong-Ming Chen, Jeffrey J. P. Tsai: Blood Cell Image Classification Based on Hierarchical SVM. ISM 2011: 129-136
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. H. Yang, Jia Zhang, Addison Y. S. Su, Jeffrey J. P. Tsai: A collaborative multimedia annotation tool for enhancing knowledge sharing in CSCL. Interactive Learning Environments 19(1): 45-62 (2011)
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRong-Ming Chen, M. T. Hou, N. W. Chang, Y. T. Chen, Jeffrey J. P. Tsai: Cumulative Spectral repeat Finder (Csrf): a Spectral Approach for Identifying the Length of repeats in DNA Sequences. International Journal on Artificial Intelligence Tools 20(1): 179-194 (2011)
2010
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngus F. M. Huang, Stephen J. H. Yang, Minhong Wang, Jeffrey J. P. Tsai: Improving fuzzy knowledge integration with particle swarmoptimization. Expert Syst. Appl. 37(12): 8770-8783 (2010)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang: Modeling a Secure Sensor Network Using an Extended Elementary Object System. IJCINI 4(3): 1-17 (2010)
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. H. Yang, Jia Zhang, Jeff J. S. Huang, Jeffrey J. P. Tsai: Using Description Logics for the Provision of Context-Driven Content Adaptation Services. IJSSOE 1(1): 96-129 (2010)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Ikeda, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai: A Model for Object Relational OLAP. International Journal on Artificial Intelligence Tools 19(5): 551-595 (2010)
2009
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Phillip C.-Y. Sheu, Han C. W. Hsiao: Ninth IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2009, June 22-24, 2009, Taichung, Taiwan IEEE Computer Society 2009
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan C. H. Chen, Han C. W. Hsiao, Jeffrey J. P. Tsai: Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins. BIBE 2009: 374-377
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRong-Ming Chen, M. T. Hou, Jeffrey J. P. Tsai: A Novel Approach for Motif Identification in Unaligned Molecular Sequences. BIBE 2009: 378-381
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Hecht, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai: SCDL Applications to Drug Discovery. BIBE 2009: 449-454
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCharles C. N. Wang, David A. Hecht, Han C. W. Hsiao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai: Describing Dynamic Biological Systems in SPDL and SCDL. BIBE 2009: 455-460
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJong-Waye Ou, Rouh-Mei Hu, Rong-Ming Chen, C. Y. Tang, Jeffrey J. P. Tsai: An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data. BIBE 2009: 467-470
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. H. Yang, Jia Zhang, Leon Lin, Jeffrey J. P. Tsai: Improving peer-to-peer search performance through intelligent social search. Expert Syst. Appl. 36(7): 10312-10324 (2009)
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYingxu Wang, Witold Kinsner, James A. Anderson, Du Zhang, Yiyu Yao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai, Witold Pedrycz, Jean-Claude Latombe, Lotfi A. Zadeh, Dilip Patel, Christine W. Chan: A Doctrine of Cognitive Informatics (CI). Fundam. Inform. 90(3): 203-228 (2009)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Jia Zhang, Jeff J. S. Huang, Stephen J. H. Yang: Supporting CSCW and CSCL with Intelligent Social Grouping Services. IJSSCI 1(1): 51-63 (2009)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. H. Yang, Jia Zhang, Jeffrey J. P. Tsai, Angus F. M. Huang: Soa-Based Content Delivery Model for Mobile Internet Navigation. International Journal on Artificial Intelligence Tools 18(1): 141-161 (2009)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Alan Liu: Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications. Journal of Systems and Software 82(10): 1578-1587 (2009)
2008
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMukesh Singhal, Giovanna Di Marzo Serugendo, Jeffrey J. P. Tsai, Wang-Chien Lee, Kay Römer, Yu-Chee Tseng, Han C. W. Hsiao: IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan IEEE Computer Society 2008
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. H. Yang, Jia Zhang, Angus F. M. Huang, Jeffrey J. P. Tsai, Philip S. Yu: A Context-Driven Content Adaptation Planner for Improving Mobile Internet Accessibility. ICWS 2008: 88-95
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang: Modeling a secure sensor network system using an Extended Elementary Object System. IEEE ICCI 2008: 67-74
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYan Luo, Jeffrey J. P. Tsai: A Framework for Extrusion Detection Using Machine Learning. ISORC 2008: 83-88
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenwei Yu, Jeffrey J. P. Tsai: A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks. SUTC 2008: 272-279
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid A. Hecht, Rouh-Mei Hu, Rong-Ming Chen, Jong-Waye Ou, Chao-Yen Hsu, Haitao Gong, Ka-Lok Ng, Han C. W. Hsiao, Jeffrey J. P. Tsai, Phillip C.-Y. Sheu: BioSemantic System: Applications of Structured Natural Language to Biological and Biochemical Research. SUTC 2008: 386-393
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan: Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYanhong A. Liu, Jeffrey J. P. Tsai: System Monitoring. Wiley Encyclopedia of Computer Science and Engineering 2008
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Ma, Jeffrey J. P. Tsai: Formal Modeling and Analysis of a Secure Mobile-Agent System. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 180-196 (2008)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. D. Wang, Hsiang-Chuan Liu, Jeffrey J. P. Tsai, Ka-Lok Ng: Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences. IJCINI 2(3): 31-42 (2008)
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShu Wang, Rouh-Mei Hu, Han C. W. Hsiao, David A. Hecht, Ka-Lok Ng, Rong-Ming Chen, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai: Using SCDL for Integrating Tools and Data for Complex Biomedical Applications. Int. J. Semantic Computing 2(2): 291-308 (2008)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHan C. W. Hsiao, Shih-Hao Chen, Judson Pei-Chun Chang, Jeffrey J. P. Tsai: Predicting Subcellular Locations of Eukaryotic Proteins Using Bayesian and /k/-Nearest Neighbor Classifiers. J. Inf. Sci. Eng. 24(5): 1361-1375 (2008)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert: An adaptive automatically tuning intrusion detection system. TAAS 3(3): (2008)
2007
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert: An Automatically Tuning Intrusion Detection System. IEEE Transactions on Systems, Man, and Cybernetics, Part B 37(2): 373-384 (2007)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai: Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing. IJDSN 3(2): 135-136 (2007)
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShangping Ren, Yue Yu, Kevin A. Kwiat, Jeffrey J. P. Tsai: A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments. IJDSN 3(2): 175-199 (2007)
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Mukesh Singhal: Introduction: Special issue of the IEEE SUTC'06. TAAS 2(3): (2007)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShangping Ren, Yue Yu, Nianen Chen, Jeffrey J. P. Tsai, Kevin A. Kwiat: The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems. TAAS 2(3): (2007)
2006
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianhua Ma, Hai Jin, Laurence Tianruo Yang, Jeffrey J. P. Tsai: Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings Springer 2006
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenwei Yu, Jeffrey J. P. Tsai: Fuzzy Model Tuning for Intrusion Detection Systems. ATC 2006: 193-204
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai: Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability. COMPSAC (2) 2006: 63-66
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMasahito Hirakawa, Max Mühlhäuser, Susanto Rahardja, Phillip C.-Y. Sheu, Larry Smarr, Jeffrey J. P. Tsai: Issues, Challenges, and Future Directions in Multimedia Research. ISM 2006: 773
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShangping Ren, Limin Shen, Jeffrey J. P. Tsai: Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. SUTC (1) 2006: 60-67
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHsueh-Ting Chu, Chir-Chang Huang, Zhi-Hui Lian, Jeffrey J. P. Tsai: A ubiquitous warning system for asthma-inducement. SUTC (2) 2006: 186-191
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenwei Yu, Jeffrey J. P. Tsai: An efficient intrusion detection system using a boosting-based learning algorithm. IJCAT 27(4): 223-231 (2006)
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKa-Lok Ng, Chien-Hung Huang, Po-Han Lee, Jywe-Fei Fang, Jeffrey J. P. Tsai: Modular Structures and Robustness of Protein Networks. International Journal on Artificial Intelligence Tools 15(2): 309-322 (2006)
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRong-Ming Chen, Kuei-Chung Shih, Rouh-Mei Hu, Jeffrey J. P. Tsai: Predicting Cancerous Genes Based on Regulation Truth Tables. International Journal on Artificial Intelligence Tools 15(5): 753-766 (2006)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Ming-Bo Lin: A Novel Cache-based Approach to Large Polygonal Mesh Simplification. J. Inf. Sci. Eng. 22(4): 843-861 (2006)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Rong-Ming Chen, Ming-Bo Lin: Generating high-quality discrete LOD meshes for 3D computer games in linear time. Multimedia Syst. 11(5): 480-494 (2006)
2005
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPo-Han Lee, Chien-Hung Huang, Jywe-Fei Fang, Jeffrey J. P. Tsai, Ka-Lok Ng: Study of the protein-protein interaction networks via random graph approach. IEEE ICCI 2005: 110-119
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYan Luo, Jeffrey J. P. Tsai: A Graphical Simulation System for Modeling and Analysis of Sensor Networks. ISM 2005: 474-482
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChien-Hung Huang, Jywe-Fei Fang, Jeffrey J. P. Tsai, Ka-Lok Ng: Topological Robustness of the Protein-Protein Interaction Networks. Systems Biology and Regulatory Genomics 2005: 166-177
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Du Zhang: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 15(3): 473-474 (2005)
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRong-Ming Chen, Falcon F. M. Liu, Jeffrey J. P. Tsai: A Software Architecture for Finding Motifs Using Genetic Algorithm. International Journal of Software Engineering and Knowledge Engineering 15(3): 571-585 (2005)
2004
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShih-Nung Chen, Jeffrey J. P. Tsai, Chih-Wei Huang, Rong-Ming Chen, Raymond C. K. Lin: Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics. BIBE 2004: 142-148
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFalcon F. M. Liu, Jeffrey J. P. Tsai, Rong-Ming Chen, S. N. Chen, S. H. Shih: FMGA: Finding Motifs by Genetic Algorithm. BIBE 2004: 459-466
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenwei Yu, Jeffrey J. P. Tsai: A Multi-Class SLIPPER System for Intrusion Detection. COMPSAC 2004: 212-217
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLu Ma, Jeffrey J. P. Tsai, Tadao Murata: A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai: Constraint Propagation And Progressive Verification For Component-Based Process Model. International Journal of Software Engineering and Knowledge Engineering 14(5): 471-496 (2004)
2003
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, J. G. Chang, S. H. Shih, Rong-Ming Chen, H. W. Hsiao, Rouh-Mei Hu, S. N. Chen, M. M. Lee, Falcon F. M. Liu, W. L. Chan: A Framework for Cancer-Related Genes Mining over the Internet. BIBE 2003: 426-435
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen: Fuzzy Rule Base Systems Verification Using High-Level Petri Nets. IEEE Trans. Knowl. Data Eng. 15(2): 457-473 (2003)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov: An Approach for Modeling and Analysis of Security System Architectures. IEEE Trans. Knowl. Data Eng. 15(5): 1099-1119 (2003)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDu Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. Software Quality Journal 11(2): 87-119 (2003)
2002
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDu Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. ICTAI 2002: 22-
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Eric Y. T. Juan: Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. IEEE ICCI 2002: 59-68
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen J. H. Yang, Jeffrey J. P. Tsai, Irene Y. L. Chen: Development of Wireless Embedded Systems Using Component Based Software. International Journal of Software Engineering and Knowledge Engineering 12(2): 135-153 (2002)
2001
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy K. Shih, Shi-Kuo Chang, Jeffrey J. P. Tsai, Jianhua Ma, Runhe Huang: Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs. Ann. Software Eng. 12(1): 139-165 (2001)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric 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)
2000
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Kuang Xu: A comparative study of formal verification techniques for software architecture specifications. Ann. Software Eng. 10: 207-223 (2000)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDinesh Kadamuddi, Jeffrey J. P. Tsai: Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. IEEE Trans. Software Eng. 26(4): 340-361 (2000)
1999
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Kuang Xu: Architecture Specification of Multimedia Software Systems. ICMCS, Vol. 1 1999: 97-102
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Kuang Xu: An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. Ann. Software Eng. 7: 95-126 (1999)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Bing Li: A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper). Australasian J. of Inf. Systems 6(2): (1999)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey 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)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAvinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla: An Incremental Verification Algorithm for Real-Time Systems. International Journal of Software Engineering and Knowledge Engineering 9(2): 203-216 (1999)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKuang Xu, Jeffrey J. P. Tsai: Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language. International Journal of Software Engineering and Knowledge Engineering 9(6): 767-800 (1999)
1998
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric 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)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Bing Li, Thomas J. Weigert: A Logic-Based Transformation System. IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul: Incremental Verification of Architecture Specification Language for Real-Time Systems. International Journal of Software Engineering and Knowledge Engineering 8(3): 347-360 (1998)
1997
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Eric Y. T. Juan: Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. HASE 1997: 188-193
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40(1): 83-86 (1997)
1996
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata: A new compositional method for condensed state-space verification. HASE 1996: 104-111
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Transaction integration for reusable hard real-time components. HASE 1996: 166-175
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Verification Criterion Directed Testing for Formal Specifications. SEKE 1996: 393-399
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Yao-Dong Bi, Stephen J. H. Yang: A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support. International Journal of Software Engineering and Knowledge Engineering 6(3): 355-400 (1996)
1995
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Improving Software Quality through a Novel Testing Strategy. COMPSAC 1995: 224-231
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai: Dependability of AI Systems - Guest Editor's Introduction. IEEE Trans. Knowl. Data Eng. 7(1): 1-3 (1995)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang: Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. IEEE Trans. Software Eng. 21(1): 32-49 (1995)
1994
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas J. Weigert, Jeffrey J. P. Tsai: A Computationally Tractable Nonmonotonic Logic. IEEE Trans. Knowl. Data Eng. 6(1): 57-63 (1994)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair: Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. International Journal of Software Engineering and Knowledge Engineering 4(2): 205-228 (1994)
1993
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair: Debugging Logic-Based Requirements Specifications - a FRORL Approach. SEKE 1993: 372-379
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu: Fuzzy Operator Logic and Fuzzy Resolution. J. Autom. Reasoning 10(1): 59-78 (1993)
1992
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Owen S. Chan, Alan Liu: Intelligent syntax-directed editor that models user proficiency. Applied Artificial Intelligence 6(2): 166-194 (1992)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang: A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. IEEE Trans. Software Eng. 18(12): 1076-1100 (1992)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Thomas J. Weigert: An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic. Inf. Sci. 63(3): 261-283 (1992)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 2(4): 487 (1992)
1991
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Ray-Yuan Sheu: A Distributed Cooperative Agents Architecture for Software Development. The Next Generation of Information Systems 1991: 271-290
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXuhua Liu, Kwang-Ya Fang, Jeffrey J. P. Tsai, Thomas J. Weigert: lambda-Resolution and interpretation of -implication in fuzzy operator logic. Inf. Sci. 56(1-3): 259-278 (1991)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Ray-Yuan Sheu: A knowledge-based system for Ada® software development. Journal of Systems Integration 1(2): 163-194 (1991)
1990
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Mark Metea, John Cesarone: A knowledge-base navigation scheme for autonomous land vehicles. Applied Artificial Intelligence 4(1): 1-14 (1990)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen: A Noninvasive Architecture to Monitor Real-Time Distributed Systems. IEEE Computer 23(3): 11-23 (1990)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi: A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. IEEE Trans. Software Eng. 16(8): 897-916 (1990)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai: Integration strategy for distributed intelligent systems. Journal of Intelligent and Robotic Systems 3(2): 131-146 (1990)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Thomas J. Weigert: A knowledge-based approach for checking software information using a non-monotonic reasoning system. Knowl.-Based Syst. 3(3): 131-138 (1990)
1988
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Thomas J. Weigert, M. Aoyama: A declarative approach to software requirement specification languages. ICCL 1988: 414-421
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai: Integrated Environment for Intelligent Control. IEA/AIE (Vol. 1) 1988: 466-474
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMing Rao, Jeffrey J. P. Tsai, Tsung-Shann Jiang: An intelligent decisionmaker for optimal control. Applied Artificial Intelligence 2(3-4): 285-305 (1988)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Joel C. Ridge: Intelligent Support for Specifications Transformation. IEEE Software 5(6): 28-35 (1988)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu: An Integrated Life-Cycle Model for Software Maintenance. IEEE Trans. Software Eng. 14(8): 1128-1144 (1988)
1987
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Yau, Jeffrey J. P. Tsai: Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications. IEEE Trans. Software Eng. 13(3): 355-361 (1987)
1986
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey J. P. Tsai, Waldo C. Kabat: Verification of software specifications using automated reasoning techniques (abstract). ACM Conference on Computer Science 1986: 475
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Yau, Jeffrey J. P. Tsai: A Survey of Software Design Techniques. IEEE Trans. Software Eng. 12(6): 713-721 (1986)
1984
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen S. Yau, Jeffrey J. P. Tsai: A Graph-Based Software Maintenance Environment. COMPCON 1984: 321-324

Coauthor Index

1James A. Anderson [101]
2M. Aoyama [9]
3Konstantin Beznosov [55]
4Yao-Dong Bi [12] [29]
5John Cesarone [14]
6Christine W. Chan [101]
7Owen S. Chan [21]
8W. L. Chan [58]
9Chun-Ming Chang [122]
10J. G. Chang [58]
11Judson Pei-Chun Chang [86]
12N. W. Chang [113]
13Shi-Kuo Chang [49]
14Yao-Hsiung Chang [26] [33]
15Alan C. H. Chen [107]
16Chyun-Chyi Chen [56]
17Horng-Yuan Chen [12] [13]
18Hung-Kuang Chen [69] [70]
19Irene Y. L. Chen (Irene Ya-Ling Chen) [51]
20Jin-Shih Chen [120]
21Nianen Chen [80]
22Rong-Ming Chen [58] [62] [63] [64] [69] [71] [87] [92] [103] [106] [113] [115] [116]
23S. N. Chen [58] [62]
24Shih-Hao Chen [86]
25Shih-Nung Chen [63]
26Wei-Quan Chen [119]
27Y. T. Chen [113]
28Yu-Ching Chen [118]
29Wen-Chin Chiang [117]
30Hsueh-Ting Chu [74]
31Jing-Gung Chung [119] [120]
32Yi Deng [50] [55] [59]
33Vineela Devarashetty [95] [111]
34Chin-Shyurng Fahn [69] [70]
35Ming-Jen Fan [119] [120]
36Jywe-Fei Fang [66] [68] [72]
37Kwang-Ya Fang [12] [13] [16]
38Haitao Gong [92]
39Xudong He [59]
40David A. Hecht [87] [92] [104] [105] [121]
41Masahito Hirakawa [76]
42M. T. Hou [106] [113]
43H. W. Hsiao [58]
44Han C. W. Hsiao [86] [87] [92] [97] [104] [107] [108] [115] [116]
45Yue-Ie Hsing [119]
46Chao-Yen Hsu [92]
47Rouh-Mei Hu [58] [71] [87] [92] [103] [115] [116] [121]
48Angus F. M. Huang [96] [99] [112]
49Chi-Ying Huang [117]
50Chien-Hung Huang [66] [68] [72]
51Chih-Wei Huang [63]
52Chir-Chang Huang [74]
53Jeff J. S. Huang [100] [110]
54Runhe Huang [49]
55Tzu-Chieh Hung [119]
56S. Ikeda [109]
57Hung-Chin Jang [20]
58Tsung-Shann Jiang [7] [8] [11]
59Hai Jin [79]
60Eric Y. T. Juan [31] [32] [33] [34] [35] [38] [41] [47] [48] [52] [57] [91]
61Waldo C. Kabat [3]
62Dinesh Kadamuddi [45]
63Witold Kinsner [101]
64Kevin A. Kwiat [80] [82]
65Jean-Claude Latombe [101]
66M. M. Lee [58]
67Po-Han Lee [68] [72]
68Wang-Chien Lee [97]
69Yu-Liang Lee [117]
70Bing Li [31] [34] [37] [42]
71Zhi-Hui Lian [74]
72Chien-Yih Lin [120]
73Hsin-Li Lin [119]
74Jaimie Yi-Wen Lin (Yi-Wen Lin) [117]
75Leon Lin [102]
76Ming-Bo Lin [69] [70]
77Raymond C. K. Lin [63]
78Alan Liu [21] [23] [24] [41] [98]
79Chia-Cheng Liu [119]
80Falcon F. M. Liu [58] [62] [64]
81Hsiang-Chuan Liu [88]
82Sying-Syang Liu [5]
83Xuhua Liu [16] [22]
84Yanhong A. Liu [90]
85Yan Luo [67] [94]
86Jianhua Ma [49] [79]
87Lu Ma [60] [89] [95] [111]
88Mark Metea [14]
89Max Mühlhäuser [76]
90Tadao Murata [32] [38] [47] [60]
91Krishnakumar R. Nair [23] [24]
92Ka-Lok Ng [66] [68] [72] [87] [88] [92] [117] [118]
93Robin A. Nicholl [5]
94Jerzy Nogiec [77]
95Jong-Waye Ou [92] [103]
96Dilip Patel [101]
97Raymond A. Paul [36]
98Witold Pedrycz [101]
99Pierre-Etienne Poirot [77]
100Susanto Rahardja [76]
101Ming Rao [7] [8] [11]
102Shangping Ren [75] [77] [80] [82]
103Joel C. Ridge [6]
104Kay Römer [97]
105Avinash Sahay [36] [40] [41] [57] [91]
106Giovanna Di Marzo Serugendo [97]
107Limin Shen [75]
108Phillip C.-Y. Sheu (Phillip Chen-Yu Sheu) [76] [87] [92] [101] [104] [105] [108] [109] [118]
109Ray-Yuan Sheu [15] [17]
110Kuei-Chung Shih [71]
111S. H. Shih [58] [62]
112Timothy K. Shih [49]
113Yang-Chia Shih [120]
114Mukesh Singhal [81] [97]
115A. Prasad Sistla [36] [40]
116Larry Smarr [76]
117Addison Y. S. Sue (Addison Y. S. Su) [114]
118Wei-Liang Tai [115] [116]
119C. Y. Tang [103]
120Yu-Chee Tseng [97]
121Charles C. N. Wang [104] [118] [121]
122J. D. Wang [88]
123Jiacun Wang [50] [55] [59]
124Minhong Wang [112]
125Shu Wang [87]
126Yingxu Wang [101]
127Thomas J. Weigert [9] [10] [16] [19] [20] [22] [25] [28] [30] [37] [84] [85]
128Jie-Wei Weng [117]
129Kuang Xu [39] [43] [44] [46]
130Laurence Tianruo Yang [79]
131Stephen J. H. Yang [29] [33] [51] [56] [96] [99] [100] [102] [110] [112] [114]
132Steve Jennhwa Yang [26]
133Yiyu Yao (Y. Y. Yao) [101]
134Stephen S. Yau [1] [2] [4] [5]
135Philip S. Yu [96]
136Su-May Yu [119]
137Yue Yu [80] [82]
138Zhenwei Yu [61] [73] [78] [84] [85] [93]
139Lotfi A. Zadeh [101]
140Xiaomu Zeng [28]
141Ziaomu Zeng [30]
142Du Zhang [53] [54] [65] [91] [95] [101] [111]
143Jia Zhang [96] [99] [100] [102] [110] [114]
144Yi Zhou [47]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page