Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jeffrey J. P. Tsai
2010 – today
- 2011
[j70]Rong-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)- [j69]Stephen 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)
- [c49]Yu-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
- [c48]Han 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
- [c47]Chun-Ming Chang, Jeffrey J. P. Tsai: Ergonomic Designs Based on Musculoskeletal Models. BIBE 2011: 112-116
- [c46]David 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
- [c45]Jing-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
- [c44]Ming-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
- [c43]Charles 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
- [c42]Wei-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
- 2010
- [j68]Angus 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)
- [j67]S. 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)
- [j66]Vineela 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)
- [j65]Stephen 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)
2000 – 2009
- 2009
- [j64]Stephen 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)
- [j63]Yingxu 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)
- [j62]Stephen 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)
- [j61]Jeffrey 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)
- [j60]Jeffrey 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)
- [c41]Alan C. H. Chen, Han C. W. Hsiao, Jeffrey J. P. Tsai: Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins. BIBE 2009: 374-377
- [c40]Rong-Ming Chen, M. T. Hou, Jeffrey J. P. Tsai: A Novel Approach for Motif Identification in Unaligned Molecular Sequences. BIBE 2009: 378-381
- [c39]David A. Hecht, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai: SCDL Applications to Drug Discovery. BIBE 2009: 449-454
- [c38]Charles 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
- [c37]Jong-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
- [e4]Jeffrey J. P. Tsai, Phillip C.-Y. Sheu, Han C. W. Hsiao (Eds.): Ninth IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2009, June 22-24, 2009, Taichung, Taiwan. IEEE Computer Society 2009, ISBN 978-0-7695-3656-9
- 2008
- [j59]J. 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)
- [j58]Shu 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)
- [j57]Han 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)
- [j56]Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert: An adaptive automatically tuning intrusion detection system. TAAS 3(3) (2008)
- [j55]Lu 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)
- [c36]Vineela 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
- [c35]Stephen 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
- [c34]Yan Luo, Jeffrey J. P. Tsai: A Framework for Extrusion Detection Using Machine Learning. ISORC 2008: 83-88
- [c33]Zhenwei Yu, Jeffrey J. P. Tsai: A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks. SUTC 2008: 272-279
- [c32]David 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
- [p2]Yanhong A. Liu, Jeffrey J. P. Tsai: System Monitoring. Wiley Encyclopedia of Computer Science and Engineering 2008
- [p1]Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan: Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
- [e3]Mukesh Singhal, Giovanna Di Marzo Serugendo, Jeffrey J. P. Tsai, Wang-Chien Lee, Kay Römer, Yu-Chee Tseng, Han C. W. Hsiao (Eds.): IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan. IEEE Computer Society 2008, ISBN 978-0-7695-3158-8
- 2007
- [j54]Jeffrey J. P. Tsai: Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing. IJDSN 3(2): 135-136 (2007)
- [j53]Shangping 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)
- [j52]Shangping 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)
- [j51]Jeffrey J. P. Tsai, Mukesh Singhal: Introduction: Special issue of the IEEE SUTC'06. TAAS 2(3) (2007)
- [j50]Zhenwei 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)
- 2006
- [j49]Ka-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)
- [j48]Rong-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)
- [j47]Zhenwei Yu, Jeffrey J. P. Tsai: An efficient intrusion detection system using a boosting-based learning algorithm. IJCAT 27(4): 223-231 (2006)
- [j46]Hung-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)
- [j45]Hung-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)
- [c31]Zhenwei Yu, Jeffrey J. P. Tsai: Fuzzy Model Tuning for Intrusion Detection Systems. ATC 2006: 193-204
- [c30]Pierre-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
- [c29]Masahito 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
- [c28]Shangping Ren, Limin Shen, Jeffrey J. P. Tsai: Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. SUTC (1) 2006: 60-67
- [c27]Hsueh-Ting Chu, Chir-Chang Huang, Zhi-Hui Lian, Jeffrey J. P. Tsai: A ubiquitous warning system for asthma-inducement. SUTC (2) 2006: 186-191
- [e2]Jianhua Ma, Hai Jin, Laurence Tianruo Yang, Jeffrey J. P. Tsai (Eds.): Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings. Lecture Notes in Computer Science 4159, Springer 2006, ISBN 3-540-38091-4
- 2005
- [j44]Jeffrey J. P. Tsai, Du Zhang: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 15(3): 473-474 (2005)
- [j43]Rong-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)
- [c26]Po-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
- [c25]
- [c24]Chien-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
- 2004
- [j42]Yi 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)
- [c23]Shih-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
- [c22]Falcon 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
- [c21]Zhenwei Yu, Jeffrey J. P. Tsai: A Multi-Class SLIPPER System for Intrusion Detection. COMPSAC 2004: 212-217
- [c20]Lu Ma, Jeffrey J. P. Tsai, Tadao Murata: A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223
- 2003
- [j41]Du Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. Software Quality Journal 11(2): 87-119 (2003)
- [j40]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)
- [j39]Stephen 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)
- [j38]Yi 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)
- [c19]Jeffrey 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
- 2002
- [j37]Stephen 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)
- [c18]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
- [c17]
- 2001
- [j36]Timothy 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)
- [j35]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)
- [j34]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)
- [c16]Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434
- 2000
- [j33]Jeffrey J. P. Tsai, Kuang Xu: A comparative study of formal verification techniques for software architecture specifications. Ann. Software Eng. 10: 207-223 (2000)
- [j32]Dinesh Kadamuddi, Jeffrey J. P. Tsai: Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. IEEE Trans. Software Eng. 26(4): 340-361 (2000)
1990 – 1999
- 1999
- [j31]Jeffrey 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)
- [j30]Jeffrey J. P. Tsai, Kuang Xu: An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. Ann. Software Eng. 7: 95-126 (1999)
- [j29]Avinash 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)
- [j28]Kuang 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)
- [j27]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)
- [c15]Jeffrey J. P. Tsai, Kuang Xu: Architecture Specification of Multimedia Software Systems. ICMCS, Vol. 1 1999: 97-102
- 1998
- [j26]Jeffrey 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)
- [j25]Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert: A Logic-Based Transformation System. IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998)
- [j24]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
- [j23]Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40(1): 83-86 (1997)
- [c14]Jeffrey J. P. Tsai, Eric Y. T. Juan: Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. HASE 1997: 188-193
- [c13]Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul: Incremental verification of architecture specification language for real-time systems. WORDS 1997: 215-222
- 1996
- [j22]Jeffrey 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)
- [c12]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
- [c11]Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata: A new compositional method for condensed state-space verification. HASE 1996: 104-111
- [c10]Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Transaction integration for reusable hard real-time components. HASE 1996: 166-175
- [c9]Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Verification Criterion Directed Testing for Formal Specifications. SEKE 1996: 393-399
- [c8]Jeffrey J. P. Tsai, Thomas J. Weigert: A logic-based requirements language for the specification and analysis of real-time systems. WORDS 1996: 8-16
- 1995
- [j21]Jeffrey 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)
- [c7]Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Improving Software Quality through a Novel Testing Strategy. COMPSAC 1995: 224-229
- [e1]Jeffrey J. P. Tsai: Dependability of AI Systems - Guest Editor's Introduction. IEEE Trans. Knowl. Data Eng. 7(1): 1-3 (1995)
- 1994
- [j20]Jeffrey 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)
- [j19]Thomas J. Weigert, Jeffrey J. P. Tsai: A Computationally Tractable Nonmonotonic Logic. IEEE Trans. Knowl. Data Eng. 6(1): 57-63 (1994)
- 1993
- [j18]Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu: Fuzzy Operator Logic and Fuzzy Resolution. J. Autom. Reasoning 10(1): 59-78 (1993)
- [c6]Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair: Debugging Logic-Based Requirements Specifications - a FRORL Approach. SEKE 1993: 372-379
- 1992
- [j17]Jeffrey J. P. Tsai, Owen S. Chan, Alan Liu: Intelligent syntax-directed editor that models user proficiency. Applied Artificial Intelligence 6(2): 166-194 (1992)
- [j16]Jeffrey J. P. Tsai: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 2(4): 487 (1992)
- [j15]Jeffrey 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)
- [j14]Jeffrey 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)
- 1991
- [j13]Xuhua 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)
- [j12]Jeffrey J. P. Tsai, Ray-Yuan Sheu: A knowledge-based system for Ada® software development. Journal of Systems Integration 1(2): 163-194 (1991)
- [j11]Jeffrey J. P. Tsai, Thomas J. Weigert, Xuhua Liu: Reasoning under uncertainty in fuzzy operator logic. IEEE Transactions on Systems, Man, and Cybernetics 21(6): 1604-1608 (1991)
- [c5]Jeffrey J. P. Tsai, Ray-Yuan Sheu: A Distributed Cooperative Agents Architecture for Software Development. The Next Generation of Information Systems 1991: 271-290
- 1990
- [j10]Jeffrey J. P. Tsai, Mark Metea, John Cesarone: A knowledge-base navigation scheme for autonomous land vehicles. Applied Artificial Intelligence 4(1): 1-14 (1990)
- [j9]Jeffrey 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)
- [j8]Ming 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)
- [j7]Jeffrey 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)
- [j6]Jeffrey 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)
1980 – 1989
- 1988
- [j5]Ming Rao, Jeffrey J. P. Tsai, Tsung-Shann Jiang: An intelligent decisionmaker for optimal control. Applied Artificial Intelligence 2(3-4): 285-305 (1988)
- [j4]Jeffrey J. P. Tsai, Joel C. Ridge: Intelligent Support for Specifications Transformation. IEEE Software 5(6): 28-35 (1988)
- [j3]Stephen 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)
- [c4]Jeffrey J. P. Tsai, Thomas J. Weigert, M. Aoyama: A declarative approach to software requirement specification languages. ICCL 1988: 414-421
- [c3]Ming Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai: Integrated Environment for Intelligent Control. IEA/AIE (Vol. 1) 1988: 466-474
- 1987
- [j2]Stephen 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
- [j1]Stephen S. Yau, Jeffrey J. P. Tsai: A Survey of Software Design Techniques. IEEE Trans. Software Eng. 12(6): 713-721 (1986)
- [c2]Jeffrey J. P. Tsai, Waldo C. Kabat: Verification of software specifications using automated reasoning techniques (abstract). ACM Conference on Computer Science 1986: 475
- 1984
- [c1]Stephen S. Yau, Jeffrey J. P. Tsai: A Graph-Based Software Maintenance Environment. COMPCON 1984: 321-324
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-16 22:08 CEST by the dblp team