| 2009 | ||
|---|---|---|
| 100 | 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) | |
| 99 | 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) | |
| 98 | 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) | |
| 97 | 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) | |
| 96 | 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) | |
| 2008 | ||
| 95 | Mukesh 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 | |
| 94 | 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 | |
| 93 | 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 | |
| 92 | Yan Luo, Jeffrey J. P. Tsai: A Framework for Extrusion Detection Using Machine Learning. ISORC 2008: 83-88 | |
| 91 | Zhenwei Yu, Jeffrey J. P. Tsai: A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks. SUTC 2008: 272-279 | |
| 90 | 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 | |
| 89 | Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan: Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering 2008 | |
| 88 | Yanhong A. Liu, Jeffrey J. P. Tsai: System Monitoring. Wiley Encyclopedia of Computer Science and Engineering 2008 | |
| 87 | 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) | |
| 86 | 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) | |
| 85 | 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) | |
| 84 | 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) | |
| 83 | Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert: An adaptive automatically tuning intrusion detection system. TAAS 3(3): (2008) | |
| 2007 | ||
| 82 | 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) | |
| 81 | Jeffrey J. P. Tsai: Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing. IJDSN 3(2): 135-136 (2007) | |
| 80 | 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) | |
| 79 | Jeffrey J. P. Tsai, Mukesh Singhal: Introduction: Special issue of the IEEE SUTC'06. TAAS 2(3): (2007) | |
| 78 | 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) | |
| 2006 | ||
| 77 | Jianhua 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 | |
| 76 | Zhenwei Yu, Jeffrey J. P. Tsai: Fuzzy Model Tuning for Intrusion Detection Systems. ATC 2006: 193-204 | |
| 75 | 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 | |
| 74 | 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 | |
| 73 | Shangping Ren, Limin Shen, Jeffrey J. P. Tsai: Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. SUTC (1) 2006: 60-67 | |
| 72 | 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 | |
| 71 | Zhenwei Yu, Jeffrey J. P. Tsai: An efficient intrusion detection system using a boosting-based learning algorithm. IJCAT 27(4): 223-231 (2006) | |
| 70 | 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) | |
| 69 | 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) | |
| 68 | 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) | |
| 67 | 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) | |
| 2005 | ||
| 66 | 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 | |
| 65 | Yan Luo, Jeffrey J. P. Tsai: A Graphical Simulation System for Modeling and Analysis of Sensor Networks. ISM 2005: 474-482 | |
| 64 | 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 | |
| 63 | Jeffrey J. P. Tsai, Du Zhang: Guest Editors' Introduction. International Journal of Software Engineering and Knowledge Engineering 15(3): 473-474 (2005) | |
| 62 | 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) | |
| 2004 | ||
| 61 | 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 | |
| 60 | 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 | |
| 59 | Zhenwei Yu, Jeffrey J. P. Tsai: A Multi-Class SLIPPER System for Intrusion Detection. COMPSAC 2004: 212-217 | |
| 58 | Lu Ma, Jeffrey J. P. Tsai, Tadao Murata: A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223 | |
| 57 | 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) | |
| 2003 | ||
| 56 | 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 | |
| 55 | 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) | |
| 54 | 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) | |
| 53 | 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) | |
| 52 | Du Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. Software Quality Journal 11(2): 87-119 (2003) | |
| 2002 | ||
| 51 | Du Zhang, Jeffrey J. P. Tsai: Machine Learning and Software Engineering. ICTAI 2002: 22- | |
| 50 | 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 | |
| 49 | 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) | |
| 2001 | ||
| 48 | Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai: Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434 | |
| 47 | 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) | |
| 46 | 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) | |
| 45 | 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) | |
| 2000 | ||
| 44 | Jeffrey J. P. Tsai, Kuang Xu: A comparative study of formal verification techniques for software architecture specifications. Ann. Software Eng. 10: 207-223 (2000) | |
| 43 | Dinesh Kadamuddi, Jeffrey J. P. Tsai: Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. IEEE Trans. Software Eng. 26(4): 340-361 (2000) | |
| 1999 | ||
| 42 | Jeffrey J. P. Tsai, Kuang Xu: Architecture Specification of Multimedia Software Systems. ICMCS, Vol. 1 1999: 97-102 | |
| 41 | Jeffrey J. P. Tsai, Kuang Xu: An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. Ann. Software Eng. 7: 95-126 (1999) | |
| 40 | 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) | |
| 39 | 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) | |
| 38 | 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) | |
| 1998 | ||
| 37 | 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) | |
| 36 | Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert: A Logic-Based Transformation System. IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998) | |
| 35 | 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) | |
| 1997 | ||
| 34 | Jeffrey J. P. Tsai, Eric Y. T. Juan: Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. HASE 1997: 188-193 | |
| 33 | Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40(1): 83-86 (1997) | |
| 1996 | ||
| 32 | 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 | |
| 31 | Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata: A new compositional method for condensed state-space verification. HASE 1996: 104-111 | |
| 30 | Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan: Transaction integration for reusable hard real-time components. HASE 1996: 166-175 | |
| 29 | Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Verification Criterion Directed Testing for Formal Specifications. SEKE 1996: 393-399 | |
| 28 | 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) | |
| 1995 | ||
| 27 | Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert: Improving Software Quality through a Novel Testing Strategy. COMPSAC 1995: 224-231 | |
| 26 | Jeffrey J. P. Tsai: Dependability of AI Systems - Guest Editor's Introduction. IEEE Trans. Knowl. Data Eng. 7(1): 1-3 (1995) | |
| 25 | 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) | |
| 1994 | ||
| 24 | Thomas J. Weigert, Jeffrey J. P. Tsai: A Computationally Tractable Nonmonotonic Logic. IEEE Trans. Knowl. Data Eng. 6(1): 57-63 (1994) | |
| 23 | 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) | |
| 1993 | ||
| 22 | Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair: Debugging Logic-Based Requirements Specifications - a FRORL Approach. SEKE 1993: 372-379 | |
| 21 | Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu: Fuzzy Operator Logic and Fuzzy Resolution. J. Autom. Reasoning 10(1): 59-78 (1993) | |
| 1992 | ||
| 20 | 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) | |
| 19 | 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) | |
| 18 | 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) | |
| 17 | Jeffrey J. P. Tsai: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 2(4): 487 (1992) | |
| 1991 | ||
| 16 | Jeffrey J. P. Tsai, Ray-Yuan Sheu: A Distributed Cooperative Agents Architecture for Software Development. The Next Generation of Information Systems 1991: 271-290 | |
| 15 | 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) | |
| 14 | Jeffrey J. P. Tsai, Ray-Yuan Sheu: A knowledge-based system for Ada® software development. Journal of Systems Integration 1(2): 163-194 (1991) | |
| 1990 | ||
| 13 | 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) | |
| 12 | 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) | |
| 11 | 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) | |
| 10 | 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) | |
| 9 | 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) | |
| 1988 | ||
| 8 | Jeffrey J. P. Tsai, Thomas J. Weigert, M. Aoyama: A declarative approach to software requirement specification languages. ICCL 1988: 414-421 | |
| 7 | Ming Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai: Integrated Environment for Intelligent Control. IEA/AIE (Vol. 1) 1988: 466-474 | |
| 6 | Ming Rao, Jeffrey J. P. Tsai, Tsung-Shann Jiang: An intelligent decisionmaker for optimal control. Applied Artificial Intelligence 2(3-4): 285-305 (1988) | |
| 5 | 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) | |
| 1987 | ||
| 4 | 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 | ||
| 3 | Jeffrey J. P. Tsai, Waldo C. Kabat: Verification of software specifications using automated reasoning techniques (abstract). ACM Conference on Computer Science 1986: 475 | |
| 2 | Stephen S. Yau, Jeffrey J. P. Tsai: A Survey of Software Design Techniques. IEEE Trans. Software Eng. 12(6): 713-721 (1986) | |
| 1984 | ||
| 1 | Stephen S. Yau, Jeffrey J. P. Tsai: A Graph-Based Software Maintenance Environment. COMPCON 1984: 321-324 | |