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

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

DBLP keys2009
100Electronic 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)
99Electronic 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)
98Electronic 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)
97Electronic 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)
96Electronic 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
95no 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
94Electronic 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
93Electronic 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
92Electronic 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
91Electronic 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
90Electronic 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
89Electronic 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
88Electronic 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
87Electronic 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)
86Electronic 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)
85Electronic 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)
84Electronic 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)
83Electronic 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
82Electronic 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)
81Electronic 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)
80Electronic 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)
79Electronic 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)
78Electronic 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
77no 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
76Electronic 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
75Electronic 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
74Electronic 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
73Electronic 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
72Electronic 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
71Electronic 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)
70Electronic 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)
69Electronic 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)
68Electronic 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)
67Electronic 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
66Electronic 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
65Electronic 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
64Electronic 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
63Electronic 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)
62Electronic 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
61Electronic 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
60Electronic 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
59Electronic 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
58Electronic 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
57Electronic 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
56Electronic 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
55Electronic 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)
54Electronic 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)
53Electronic 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)
52Electronic 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
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDu Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. ICTAI 2002: 22-
50Electronic 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
49Electronic 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
48Electronic 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
47no EE 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)
46Electronic 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)
45Electronic 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
44no EE 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)
43Electronic 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
42Electronic 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
41no EE 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)
40Electronic 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)
39Electronic 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)
38Electronic 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
37Electronic 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)
36Electronic 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)
35Electronic 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
34Electronic 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
33no EE 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
32Electronic 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
31Electronic 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
30Electronic 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
29no 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
28Electronic 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
27Electronic 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
26Electronic 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)
25Electronic 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
24Electronic 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)
23Electronic 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
22no 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
21no EE 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
20no EE 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)
19Electronic 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)
18Electronic 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)
17Electronic 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
16no EE 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
15Electronic 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)
14Electronic 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
13no EE 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)
12no EE 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)
11Electronic 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)
10Electronic 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)
9Electronic 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
8Electronic 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
7Electronic 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
6no EE 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)
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
4no EE 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 [99]
2M. Aoyama [8]
3Konstantin Beznosov [53]
4Yao-Dong Bi [11] [28]
5John Cesarone [13]
6Christine W. Chan [99]
7Owen S. Chan [20]
8W. L. Chan [56]
9J. G. Chang [56]
10Judson Pei-Chun Chang [84]
11Shi-Kuo Chang [47]
12Yao-Hsiung Chang [25] [32]
13Chyun-Chyi Chen [54]
14Horng-Yuan Chen [11] [12]
15Hung-Kuang Chen [67] [68]
16Irene Y. L. Chen (Irene Ya-Ling Chen) [49]
17Nianen Chen [78]
18Rong-Ming Chen [56] [60] [61] [62] [67] [69] [85] [90]
19S. N. Chen [56] [60]
20Shih-Hao Chen [84]
21Shih-Nung Chen [61]
22Hsueh-Ting Chu [72]
23Yi Deng [48] [53] [57]
24Vineela Devarashetty [93]
25Chin-Shyurng Fahn [67] [68]
26Jywe-Fei Fang [64] [66] [70]
27Kwang-Ya Fang [11] [12] [15]
28Haitao Gong [90]
29Xudong He [57]
30David A. Hecht [85] [90]
31Masahito Hirakawa [74]
32H. W. Hsiao [56]
33Han C. W. Hsiao [84] [85] [90] [95]
34Chao-Yen Hsu [90]
35Rouh-Mei Hu [56] [69] [85] [90]
36Angus F. M. Huang [94] [97]
37Chien-Hung Huang [64] [66] [70]
38Chih-Wei Huang [61]
39Chir-Chang Huang [72]
40Jeff J. S. Huang [98]
41Runhe Huang [47]
42Hung-Chin Jang [19]
43Tsung-Shann Jiang [6] [7] [10]
44Hai Jin [77]
45Eric Y. T. Juan [30] [31] [32] [33] [34] [37] [40] [45] [46] [50] [55] [89]
46Waldo C. Kabat [3]
47Dinesh Kadamuddi [43]
48Witold Kinsner [99]
49Kevin A. Kwiat [78] [80]
50Jean-Claude Latombe [99]
51M. M. Lee [56]
52Po-Han Lee [66] [70]
53Wang-Chien Lee [95]
54Bing Li [30] [33] [36]
55Zhi-Hui Lian [72]
56Leon Lin [100]
57Ming-Bo Lin [67] [68]
58Raymond C. K. Lin [61]
59Alan Liu [20] [22] [23] [40] [96]
60Falcon F. M. Liu [56] [60] [62]
61Hsiang-Chuan Liu [86]
62Sying-Syang Liu [5]
63Xuhua Liu [15] [21]
64Yanhong A. Liu [88]
65Yan Luo [65] [92]
66Jianhua Ma [47] [77]
67Lu Ma [58] [87] [93]
68Mark Metea [13]
69Max Mühlhäuser [74]
70Tadao Murata [31] [37] [45] [58]
71Krishnakumar R. Nair [22] [23]
72Ka-Lok Ng [64] [66] [70] [85] [86] [90]
73Robin A. Nicholl [5]
74Jerzy Nogiec [75]
75Jong-Waye Ou [90]
76Dilip Patel [99]
77Raymond A. Paul [35]
78Witold Pedrycz [99]
79Pierre-Etienne Poirot [75]
80Susanto Rahardja [74]
81Ming Rao [6] [7] [10]
82Shangping Ren [73] [75] [78] [80]
83Kay Römer [95]
84Avinash Sahay [35] [39] [40] [55] [89]
85Giovanna Di Marzo Serugendo [95]
86Limin Shen [73]
87Phillip C.-Y. Sheu (Phillip Chen-Yu Sheu) [74] [85] [90] [99]
88Ray-Yuan Sheu [14] [16]
89Kuei-Chung Shih [69]
90S. H. Shih [56] [60]
91Timothy K. Shih [47]
92Mukesh Singhal [79] [95]
93A. Prasad Sistla [35] [39]
94Larry Smarr [74]
95Yu-Chee Tseng [95]
96J. D. Wang [86]
97Jiacun Wang [48] [53] [57]
98Shu Wang [85]
99Yingxu Wang [99]
100Thomas J. Weigert [8] [9] [15] [18] [19] [21] [24] [27] [29] [36] [82] [83]
101Kuang Xu [38] [41] [42] [44]
102Laurence Tianruo Yang [77]
103Stephen J. H. Yang [28] [32] [49] [54] [94] [97] [98] [100]
104Steve Jennhwa Yang [25]
105Yiyu Yao (Y. Y. Yao) [99]
106Stephen S. Yau [1] [2] [4] [5]
107Philip S. Yu [94]
108Yue Yu [78] [80]
109Zhenwei Yu [59] [71] [76] [82] [83] [91]
110Lotfi A. Zadeh [99]
111Xiaomu Zeng [27]
112Ziaomu Zeng [29]
113Du Zhang [51] [52] [63] [89] [93] [99]
114Jia Zhang [94] [97] [98] [100]
115Yi Zhou [45]

Colors in the list of coauthors

Copyright © Fri Nov 20 16:48:08 2009 by Michael Ley (ley@uni-trier.de)