亞洲大學
:::  

本站台為備份用，如需觀看正確最新內容請至正確官網：https://www.asia.edu.tw

| 考生捷徑 | 未來學生 | 本校學生 | 家長貴賓 | 一般訪客 | 教職員工 | 畢業校友 |  

| 本校優勢 | 校園美景 | 認識亞大 | 傑出師資 | 入學招生 | 教學研究 | 行政服務 | 學習資源 | 學生照顧 | 活動生活 |

| 校園資訊 | 訪校交通與導覽 | 網站地圖 |

 

<上圖：亞大活動剪影 ── 點按可閱相關報導、置上可觀靜止圖像>

■ 蔡進發校長--個人資料

蔡進發 校長 　

■ 個人資料

地址：台中市 413 霧峰區柳豐路 500 號

電話：(04) 23323456 ext. 1007

傳真：(04) 23316699

e-mail：president@asia.edu.tw

■ 學 歷

美國西北大學電機工程與電腦科學博士

　

■ 專 長

軟體工程、生物資訊、人工智慧、分散式即時系統

　

英文學術著作

■ 國際期刊論文

 

  • "A Survey of Software Design Techniques," (S.S. Yau and J.J.P. Tsai), IEEE Transactions on Software Engineering, Vol. 12, No. 6, pp. 713-721, June 1986.
  • "Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications," (S. S. Yau and J.J.P. Tsai), IEEE Transactions on Software Engineering, Vol. 13, No. 3, pp. 355-361, March 1987.
  • "An Intelligent Decision-maker for Optimal Control," (M. Rao, T. Jiang, and J.J.P. Tsai),International Journal of Applied Artificial Intelligence, Vol. 2, No. 4, pp. 289-309, 1988.
  • "An Integrated Life-Cycle Model for Software Maintenance," (S. S. Yau, R. Nichol, J.J.P. Tsai, and S. Liu), IEEE Transactions on Software Engineering, Vol. 14, No. 8, pp. 1128-1144, August 1988.
  • "IDSCA: An Intelligent Direction Selector for the Controller's Actions in Multiple-Loop Control Systems," (M. Rao, T. Jiang, and J.J.P. Tsai), International Journal of Intelligent Systems, John Wiley & Sons, Inc., Vol. 3, No. 4, pp. 361-379, 1988.
  • "Intelligent Support for Specifications Transformation," (J.J.P. Tsai and J. Ridge), IEEE Software, Vol. 5, No. 6, pp. 28-35, November 1988.
  • "A Knowledge-Based Approach to Software Design," (J.J.P. Tsai), IEEE Journal on Selected Areas in Communications, Vol. SAC-6, No. 5, pp. 828-841, June 1988.
  • "Combining Symbolic and Numerical Processing in Real-Time Intelligence Control," (M. Rao, T. Jiang, and J.J.P. Tsai), International Journal of Engineering Applications of Artificial Intelligence, Vol. 2, pp. 19-27, 1989.
  • "A Knowledge-Based System for Rapid Prototyping," (J.J.P. Tsai and A. Liu), Journal of Knowledge-Based Systems, Vol. 2, No. 4, pp. 239-248, December 1989.
  • "A Knowledge-Based Approach for Checking Software Information Using a Non-Monotonic Reasoning System," (J.J.P. Tsai and T. Weigert), Journal of Knowledge-Based Systems, Vol. 3, No. 3, pp. 131-138, 1990.
  • "Integration Strategy for Real-Time Distributed Intelligent Systems," (M. Rao, T. Jiang, and J.J.P. Tsai), Journal of Intelligent and Robotic Systems, Vol. 3, pp. 131-146, 1990.
  • "A Knowledge-Based Navigation Scheme for Autonomous Land Vehicles," (M. Metea, J.J.P. Tsai, and J. Cesarone), International Journal of Applied Artificial Intelligence, Vol. 4, No. 1, pp. 1-14, 1990.
  • "Integrated Intelligent Simulation Environment," (M. Rao, T. Jiang, and J.J.P. Tsai), Journal of Simulation, Vol. 55, No. 1, pp. 291-295, July 1990.
  • "A Non-invasive Architecture to Monitor Real-Time Distributed Systems," (J.J.P. Tsai, K.Y. Fang, and H.Y. Chen), IEEE Computer, Vol. 23, No. 4, pp. 11-23, March 1990.
  • "A Non-Interference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging," (J.J.P. Tsai, K.Y. Fang, H.Y. Chen, and Y. Bi), IEEE Transaction on Software Engineering, Vol. SE-16, No. 9 pp. 897-916, August 1990.
  • "HCLIE: A Logic-Based Requirements Language for New Software Engineering Paradigms," (J.J.P. Tsai and T. Weigert), IEEE Software Engineering Journal, Vol. 6, No. 4, pp. 137-151, July 1991.
  • "L-Resolution and the Interpretation of L-Implication in Fuzzy Operator Logic," (J.J.P. Tsai, X. Liu, K.Y. Fang, and T. Weigert), Information Sciences, Vol. 56, No. 1, pp. 259-278, August 1991.
  • "A Knowledge-Based System for ADA Software Development," (J.J.P. Tsai and R. Sheu),Journal of Systems Integration, Vol. 1, No. 2, pp. 163-194, August 1991.
  • "Reasoning under Uncertainty in Fuzzy Operator Logic," (J.J.P. Tsai, T. Weigert, and X. Liu),IEEE Transactions on System, Man, and Cybernetics, Vol. 21, No. 6, pp. 1604-1608, Nov./Dec. 1991.
  • "A Knowledge-Based Approach for the Specification and Analysis of Real-Time Systems," (J.J.P. Tsai and H. Jang), International Journal of Artificial Intelligence Tools, Vol. 1 No. 1, pp. 1-35, March 1992.
  • "An Explication of Reasoning in Multiple Inheritance Systems Through Non-Monotonic Horn Clause Logic," (J.J.P. Tsai and T. Weigert), Information Sciences, Vol. 63, No. 3, pp. 261-283, Sept. 1992.
  • "KBRMS: An Intelligent Assistant for Requirement Definition," (B. Binder and J.J.P. Tsai),International Journal of Artificial Intelligence Tools, Vol. 1, No. 4, pp. 503-522, December 1992.
  • "Artificial Intelligence for Software Engineering," (J.J.P. Tsai), International Journal of Software Engineering and Knowledge Engineering, Vol. 2, No. 4, p. 487, December 1992.
  • "A Hybrid Knowledge Representation as a Basis of Requirements Specification and Specification Analysis," (J.J.P. Tsai, T. Weigert, and H. Jang), IEEE Transactions on Software Engineering, Vol. 18, No. 12, pp. 1076-1100, December 1992.
  • "Intelligent Syntax-Directed Editor that Models User Proficiency," (J.J.P. Tsai, O. Chan, and A. Liu), International Journal of Applied Artificial Intelligence, Vol. 6, pp. 165-192, 1992.
  • "An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems," (J.J.P. Tsai, H. Chen, and Y. Bi), International Journal of Artificial Intelligence Tools, Vol. 2, No. 1, pp. 71-92, March 1993.
  • "Fuzzy Operator Logic and Fuzzy Reasoning," (T. Weigert, J.J.P. Tsai, and X.H. Liu), Journal of Automated Reasoning, Vol. 10, No. 1, pp. 59-78, 1993.
  • "A Computationally Tractable Non-Monotonic Logic," (T. Weigert and J.J.P. Tsai), IEEE Transactions on Knowledge and Data Engineering, Vol. 6, No. 1, pp. 57-63, February 1994.
  • "Debugging of Logic-Based Requirements Specifications for Safety-Critical Systems - A FRORL Approach," (J.J.P. Tsai, A. Liu, and K. Nair), Int'l Journal of Software Engineering and Knowledge Engineering, Vol. 4, No. 2, pp. 205-227, June 1994.
  • "Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications," (J.J.P. Tsai, C. Chang, and S. Yang), IEEE Transactions on Software Engineering, Vol. 21, No. 1, pp. 32-49, January 1995.
  • "Dependability of Artificial Intelligence Systems," (J.J.P. Tsai), IEEE Transactions on Knowledge and Data Engineering, Vol. 7, No. 1, pp. 1-3, February 1995.
  • "MDDT Constructs for Incorporating Early-Receives in Distributed Computing," (D. Kadamuddi and J.J.P. Tsai), Journal of Computer Systems: Science and Engineering, Vol. 10, No. 4, pp. 223-233, October 1995.
  • "Debugging for Timing Constraint Violations," (J.J.P. Tsai, Y. Bi, and Y. Yang), IEEE Software, Vol. 13, No. 2, pp. 89-99, March 1996.
  • "A Knowledge-Based Approach for Requirements Analysis," (A. Liu and J.J.P. Tsai),International Journal of Artificial Intelligence Tools, Vol. 5, No. 2, pp. 167-184, June 1996.
  • "A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support," (J.J.P. Tsai,Y. Yang, and Y. Bi), International Journal of Software Engineering and Knowledge Engineering, Vol. 6, No. 3, September 1996.
  • "Parallel Evaluation of Software Architecture Specifications," (J.J.P. Tsai, B. Li, and E. Juan),Communication of the ACM, Vol. 40, No. 1, pp. 63-70, January 1997.
  • "A Logic-Based Transformation System," (J.J.P. Tsai, B. Li, and T. Weigert), IEEE Transactions on Knowledge and Data Engineering, Vol. 10, No.1, pp. 91-107, Jan. 1998.
  • "Incremental Verification of Architecture Specification for Real-Time Systems," (J.J.P. Tsai, A. Sahay, P. Sistla, and R. Paul), International Journal of Software Engineering and Knowledge Engineering, Vol. 8, No. 3, pp. 347-360, September 1998.
  • "Compositional Verification of Concurrent Systems Using Petri-Nets-Based Condensation Rules," (E. Juan, J.J.P. Tsai, and T. Murata), ACM Transactions on Programming Languages and Systems, Vol. 20, No. 5, pp. 917-979, Sept. 1998.
  • "Knowledge-Based Software Architecture: Acquisition, Specification, Verifi- cation," (J.J.P. Tsai, A. Liu, E. Juan, and A. Sahay), IEEE Transactions on Knowledge and Data Engineering, Vol.11 No. 1, pp. 187-201, Jan. 1999.
  • "Multimedia Software Engineering," (J.J.P. Tsai), International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, 1999.
  • "High-Assurance Software Engineering," (J.J.P. Tsai), International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, 1999.
  • "A New Incremental Algorithm for Real-Time Systems," (J.J.P. Tsai, A. Sahay, and P. Sistla), International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 2, pp203-216, 1999.
  • "A Hybrid Parallel Execution Model of Logic-Based Requirements Specification Language," (J.J.P. Tsai and B. Li), Australian Journal of Information Systems, Vol. 6, No. 2, July 1999.
  • "An Incremental Algorithm for Real-Time Systems," (J.J.P. Tsai, A. Sahay, and P. Sistla),International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 3, pp. 203-216, June 1999.
  • "Specification of Multimedia Software Systems Using an Object-Oriented Architecture Description Language," (J.J.P. Tsai and K. Xu), International Journal of Software Engineering and Knowledge Engineering, Vol. 9, No. 4, pp. 767-800, August 1999.
  • "Real-Time Software Engineering," (J.J.P. Tsai), Annals of Software Engineering, Vol. 7, pp. 1-3, October 1999.
  • "An Empirical Evaluation of Deadlock Detection in Software Architecture Specification," (J.J.P. Tsai and K. Xu), Annals of Software Engineering, Vol. 7, pp. 95-126, October 1999.
  • "Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment," (D. Kadamuddi and J.J.P. Tsai), IEEE Transactions on Software Engineering, Vol. 26, No.4, pp. 340-361, 2000.
  • "A Comparative Study of Formal Verification Techniques for Architecture Specifications," (J.J.P. Tsai and K. Xu), Annals of Software Engineering, Vol. 10, pp. 207-223, March 2000.
  • "Supporting Well-Engineered Web Documentation Development: A Multimedia Software Engineering Approach toward Virtual University Courseware," (T. Shih, S.K. Chang, J.J.P. Tsai, J. Ma, and R. Huang), Annals of Software Engineering, Vol.1 No. 1, pp. 139-165, 2001.
  • "Multimedia Software Engineering," (J.J.P. Tsai), Annals of Software Engineering, Vol.1 No. 1, 2001.
  • "Reduction Methods for Real-Time Systems Using Delay Time Petri Nets," (E. Juan, J.J.P. Tsai, T. Murata, and Y. Zhou), IEEE Transactions on Software Engineering, Vol. 27, No. 5, pp. 422-448, March 2001.
  • "Modeling and Verification of High Assurance Properties of Safety-Critical Systems," (J.J.P. Tsai and E. Juan), The Computer Journal, Vol. 44, No. 6, pp. 504-530, Dec. 2001.
  • "Development of Wireless Embedded Systems Using Component Based Software," (S. J.H. Yang, J.J.P. Tsai, and C.H. Chu), International Journal of Software Engineering and Knowledge Engineering, Vol. 12, No. 2, , pp. 135-154, April 2002.
  • "Fuzzy Rule Base Systems Verification Using High Level Petri Nets," (S. Yang, J.J.P. Tsai, and C. C. Chen), IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 2, pp. 457-473, 2003.
  • "Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems," (J.J.P. Tsai, E. Juan, and A. Sahay), IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 2, pp. 405-422, 2003.
  • "An Approach for Modeling and Analysis of Security System Architecture," (Y. Deng, J. Wang, J.J.P. Tsai, and K. Beznosov), IEEE Transactions on Knowledge and Data Engineering, Vol. 15, No. 5, pp. 1099-1119, 2003.
  • "Machine Learning and Software Engineering," (D. Zhang and J.J.P. Tsai), Software Quality Journal, Kluwer Academic Pub., Vol. 11, No. 2, pp.87-119, 2003.
  • "The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan," (C. H. Huang, F.Y. Liu, R.S.C. Wu, J.J.P. Tsai, C.C. Lin, and A. Kao), Annals of Nuclear Medicine, Vol. 17, No. 3, pp. 213-218, 2003.
  • “Evaluating the Changes in Alveolar Permeability and Lung Ventilation in Patients with Chronic Renal Failure after Haemodialysis using 99mTc-DTPA Radioaerosol Inhalation Lung Scan,” ( M. T. Kao, Y. C. Shiau, J. J.P. Tsai, J. J. Wang, S. T. Ho, A. Kao), Nuclear Medicine Communication, Vol. 24, No. 7, pp, 825-828, July 2003.
  • “Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures,” (I.C. Chou, C.T. Peng, C.C. Huang, J. J. P. Tsai, F.J. Tsai, C.H. Tsai), Pediatric Research, Vol. 54 No. 1, pp. 26-29, 2003.
  • “Interleukin-10 Gene -627 Allele Variants, not Interleukin-I Beta Gene and Receptor Antagonist Gene Polymorphisms, are Associated with Atopic Bronchial Asthma,” (L. W. Hang, T. H. Hsia, W.C. Chen, H. Y. Chen, J. J.P. Tsai, and F. J. Tsai), Journal of Clinical Laboratory Analysis, Vol. 17, No. 5, pp. 168-173, August 2003.
  • “Association of the Neuronal Nicotinic Acetylcholine Receptor Subunit Alpha4 Polymorphisms with Febrile Convulsions,” (I.C. Chou, C.C. Lee, C.C. Huang, J.Y. Wu, J. J.P. Tsai, C.H. Tsai, F.J. Tsai), Epilepsia, Vol. 44, No. 8, pp. 1089-1093, August 2003.
  • “A Pilot Trial of Quantitative Tc-99m HMPAO and Ga-67 Citrate Lung Scans to Detect Pulmonary Endothelial Damage and Lung Inflatammation in Patients of Collagen Vascular Diseases with Active Diffuse Infiltrative Lung Disease,”( S.S. Sun , F.Y. Liu, J.J.P. Tsai, R.F. Yen, C.H. Kao, W.S. Huang), Rheumatology International, Vol. 23, No. 6, pp.301-304, November 2003.
  • “Glutathione S-transferase T1 Deletion is a Factor for Developing End-stage Renal Disease in Diabetic Patients,” (Y. Yang, M.T. Kao, S.Y. Chung, C.M. Chen, J.J.P. Tsai, and J.G. Chang), International Journal of Molecular Medicine, Vol.14, No. 5, pp. 855-859, November 2004.
  • "Constraint Propagation and Progressive Verification for Component-based Process Model," (Y. Deng, X. He, J. Wang, and J.J.P. Tsai), International Journal of Software Engineering and Knowledge Engineering, Vol. 14, No. 5, pp. 471-496, October 2004.
  • “Association between Urokinase Gene 3’-UTR T/C Polymorphism and Chinese patients with Rheumatoid Arthritis in Taiwan,” (C.M. Huang, C.L. Chen, J. J. P. Tsai, C.H. Tsai, and F.J. Tsai), Clinical and Experimental Rhenmatology, Vol. 22, No. 2, pp. 219-222, 2004.
  • “The Relationship between Insulin-like Growth Factor-II Gene Apa I Polymorphism and Rheumatoid Arthritis,” (C. M. Huang, C. H. Tsai, J. J.P. Tsai, P.T. Kung, C. L. Chen, and F. J. Tsai), Scandinavian Journal of Rheumatology, Vol. 33, No. 2, pp. 126-127, March 2004.
  • "A Software Architecture for Finding Motifs using Genetic Algorithm," (R.M. Chen, F. M. Liu, and J.J.P. Tsai), International Journal of Software Engineering and Knowledge Engineering, Vol. 15, No. 3, pp. 571-585, May 2005.
  • “Software Engineering Support for Bioinformatics,” (J. J.P. Tsai and D. Zhang),International Journal of Software Engineering and Knowledge Engineering, Vol. 15, No. 3, pp. 473-474, May 2005.
  • "Distributed Mining of Partial Periodic Patterns in Sequences," (H.W. Hsiao, M.S. Tsai, and J. J.P. Tsai), International Journal of Internet Technology, Vol. 6, No. 4, pp. 445-452, Oct. 2005.
  • “A Bioinformatics Approach for Predicting the Lengths of Motifs,” (C.C. Lee, R.M. Chen, and J. J.P. Tsai), Journal of Health Management, Vol. 3, No. 2, pp. 179-187, Dec. 2005.
  • “Amino Acid Concentrations in Cerebrospinal Fluid in Children with Acute Lymphoblastic Leukemia undergoing Chemotherapy,” (C.T. Peng, K.H. Wu, S.J. Lan, J. J.P. Tsai, F.J. Tsai, and C.H. Tsai), European Journal of Cancer, Vol. 41, No. 8. pp. 1158-1163, 2005.
  • ”Modular Structures and Robustness of Protein Networks,“ (K. L. Ng, C.H. Huang, P. H. Lee, J.F. Fang, and J. J.P. Tsai), International Journal of Artificial Intelligence Tools, Vol. 15, No. 2, pp. 309-322, April 2006.
  • "Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm," (W.F. Huang, R.M. Chen, R.M. Hu, and J.J.P. Tsai), Asian Journal of Health and Information Sciences, Vol.1, No. 1, pp. 122-133, 2006.
  • “A Novel Cache-based Approach to Large Polygonal Mesh Simplification,” (H.K. Chen, C.S. Fahn, J. J.P. Tsai, and M. B. Lin), Journal of Information Science and Engineering, Vol. 22, No. 4, pp. 843-861, 2006.
  • “Generating High Quality Discrete LOD Meshes for 3D Computer Applications Linear Time,” (H. Chen, C.S. Fahn, J. J.P. Tsai, R.M. Chen, and M.B. Lin), ACM Multimedia Systems Journal, Vol. 11, No. 5, pp. 480-494, June 2006.
  • “Predicting Cancerous Genes Based on Regulation Truth Tables,” (R.M. Chen, K.C. Shih, R. M. Hu, and J. J.P. Tsai), International Journal of Artificial Intelligence Tools, Vol. 15, No. 5, pp. 753-766, October 2006.
  • “Increased Prevalence of Interleukin-1 Receptor Antagonist Gene Polymorphism in Patients With Chronic Rhinosinusitis,” ( Y.K. Cheng, C.H. Lin, W. C. Chang, G. Y. Hwang, S.W. Tsai, L. Wan, M. H. Tsai, J. J. P. Tsai, F. J. Tsai), Archives of Otolaryngology Head Neck Surgery, Vol. 132, pp. 285-290, 2006.
  • “A Novel Feature with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment,” (H.W. Hsiao, W.H. Hsiao, C.K. Hsu, J. J.P. Tsai), Asian Journal of Health and Information Sciences, Vol. 1, No. 3, pp. 261-275, October 2006.
  • "An Efficient Intrusion Detection System using Boosting -Based Learning Algorithm," (Z. Yu and J.J.P. Tsai), International Journal of Computer Applications in Technology, Vol. 27, No. 4, pp. 223-231, December 2006.
  • “Cognitive Informatics – Four Years in Practice,” (D. Zhang, W. Kinser, J. J.P. Tsai, Y Wang, P. Sheu, T. Wang), International Journal on Cognitive Informatics and Natural Intelligence, Vol. 1, No. 1, pp. 1107-1108, Jan. 2007.
  • “Sensor Networks, Ubiquitous and Trustworthy Computing,” International Journal of Distributed Sensor Networks, Vol. 3, No. 2, pp. 135-136, 2007.
  • “Security Modeling of Mobile Agent Systems,” (J. J.P. Tsai and L. Ma), Journal of Ubiquitous Computing and Intelligence, Vol. 1 No. 1, pp. 73-85, April 2007.
  • ”Automatically Tuning Intrusion Detection System,” (Z. Yu, J. J.P. Tsai, and T. Weigert),IEEE Transactions on System, Man, and Cybernetics, Part B, Vol. 37, No. 2, pp. 373-384, April 2007.
  • “Sensor Network, Ubiquitous, and Trustworthy Computing,” ( J. J.P. Tsai and M. Singhal), ACM Transactions on Autonomous and Adaptive Systems, Vol. 2, No. 3, September 2007.
  • “A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments,” (S.P. Ren, Y. Yu, K. Kwiat, and J. J.P. Tsai), International Journal of Distributed Sensor Networks, Vol. 3, No. 2, pp. 175-199, 2007.
  • “Sensor Network, Ubiquitous, and Trustworthy Computing,” (J. J.P. Tsai and M. Singhal), International Journal of Distributed Sensor Networks, Vol. 3, No. 2, 2007.
  • “The Role of Roles in Supporting Reconfigurability and Fault Localizations for Open Distributed and Embedded Systems,” (S.P. Ren, Y. Yu, Y. Chen, J. J.P. Tsai, and K. Kwiat), ACM Transactions on Autonomous and Adaptive Systems, Vol. 2, No. 3, September 2007.
  • “Introduction: Special Issue of the IEEE SUTC'06,” (J.J.P. Tsai and M. Singhal), ACM Transactions on Autonomous and Adaptive Systems, Vol. 2, No. 3, September 2007.
  • ”Formal Modeling and Analysis of Secure Mobile Agent Systems,” (L. Ma and J. J.P. Tsai), IEEE Transactions on System, Man, and Cybernetics, Part A, Vol. 38, No. 1, pp. 180-196, January 2008.
  • “Using SCDL for Integrating Tools and Data for Complex Biomedical Applications,” (S. Wang, R.M. Hu, H. C. W. Hsiao, D. Hecht, A. K.L. Ng, R.M. Chen, P. C.Y. Sheu, J.J.P. Tsai) International Journal of Semantic Computing, Vol. 2, No. 2, pp. 291-308, June 2008.
  • “Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences,” (J.D. Wang, H.C. Liu, J. J.P. Tsai, K.L. Ng), International Journal on Cognitive Informatics and Natural Intelligence, Vol. 2, No. 3, pp. 31-42, 2008.
  • “An Adaptive Automatically Tuning Intrusion Detection System,” (Z. Yu, J. J.P. Tsai, and T. Weigert), ACM Transactions on Autonomous and Adaptive Systems, Vol. 3, No. 3, July 2008.
  • “Predicting Subcellular Locations of Eukaryotic Proteins using Bayesian and K-nearest Neighbor Classifiers,” (H.W. Hsiao, S.H. Chen, P.C. Chang, and J. J.P. Tsai), Journal of Information Science and Engineering, Vol. 24, No. 5, pp. 1361-1375, Sept. 2008.
  • “Supporting CSCW and CSCL with Intelligent Grouping Services,” (J. J.P. Tsai, J. Zhang, J. J.S. Huang, S. J.H. Yang), International Journal of Software Science and Computational Intelligence (IJSSCI), Vol. 1, No. 1, pp. 51-63, Jan. 2009.
  • “SOA-oriented Content Delivery Model for Mobile Internet Navigation,” (S. Yang, J. Zhang, J. J.P. Tsai, A. Huang), International Journal of Artificial Intelligence Tools, Vol. 18, No. 1, pp. 141-161, Feb. 2009.
  • “A Doctrine of Cognitive Informatics,” (Y. Wang, W. Kinser, J. Anderson , D. Zhang, Y. Yao, P. Sheu, J. J.P. Tsai, W. Pedrycz, J. Latombe, L. Zadeh, D. Patel, C. Chan), Fundamenta Informaticae, Vol. 90, No. 3, pp. 203-228, March 2009.
  • “Experience on Knowledge-based Software Engineering: A Logic-based Requirements Language and its Industrial Applications,” (J. J.P. Tsai and A. Liu), Journal of Systems and Software, Vol. 82, No. 10, pp. 1578-1587, Oct. 2009.
  • “Improving Peer-to-Peer Performance through Intelligent Social Search,” (S. Yang, J. Zhang, L. Lin, J. Tsai), Journal of Expert Systems with Applications, Vol. 36, No. 7, pp. 10312-10324, 2009.
  • ”A Model for Object Relational OLAP,“ (S. Ikeda, P. Sheu, and J. J.P. Tsai), International Journal of Artificial Intelligence Tools, Oct. 2010.
  • “Using Description Logics for the Provision of Context-Driven Content Adaptation Services,” ( S. Yang, J. Zhang, J. Huang, J.J.P. Tsai), International Journal of Systems and Service-Oriented Engineering, 2010.
  • “Improving Fuzzy Knowledge Integration with Particle Swarm Optimization,” (A Huang, S. Yang, J. Tsai), Journal of Expert Systems with Applications, Vol. 37, 2010.
  • “Special Issue on Selected Papers from the 9th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2009) PREFACE,” (J.J.P. Tsai, Phillip C. Y. Sheu, Han C. W. Hsiao), International Journal on Artificial Intelligence Tools, Vol. 19 No.3 pp. 233-234, 2010.
  • “A Collaborative Multimedia Annotation Tool for Enhancing Knowledge Sharing in CSCL,” (Stephen J. H. Yang, Jia Zhang, Addison Y. S. Su, Jeffrey J. P. Tsai), Interactive Learning Environments, Vol. 19 No.1 pp. 45-62, 2011.
  • “Cumulative Spectral Repeat Finder (CSRF): A Spectral Approach for Identifying the Length of Repeats in DNA Sequences,” (R. M. Chen, M. T. Hou, N. W. Chang, Y. T. Chen, Jeffrey J. P. Tsai), International Journal on Artificial Intelligence Tools, Vol. 20, No. 1, pp.179-194, Feb. 2011.
  • “Decreased Expression of p39 is Associated with a Poor prognosis in Human Hepatocellular Carcinoma,” (J. W. Lu, J. G. Chang, K. T. Yeh, R. M. Chen, Jeffrey J. P. Tsai, and R. M. Hu), Med Oncol. 10:9707-9. (Oct. 2010)
  • “Overexpression of Thy1/CD90 in human hepatocellular carcinoma is associated with HBV infection and poor prognosis.” (J. W. Lu, J. G. Chang, K. T. Yeh, R. M. Chen, Jeffrey J. P. Tsai, and R. M. Hu, 2011.
  • “Induction of a secretable beta-lactamase requires a long lag time in Xanthomonas campestris pv. campestris str. 17”(Tsuey-Ching Yang, Mei-Jung Tsai, Jeffrey J.P. Tsai, Rouh-Mei Hu), Research in Microbiology, p. 1-7 (2011).
  • “Increased expression of PRL-1 protein correlates with shortened patient survival in human hepatocellular carcinoma,”(Jeng-Wei Lu, Jan-Gowth Chang, Kun-Tu Yeh, Rong-Ming Chen, Jeffrey J.P. Tsai ‧ Wei-Wen Su ‧ Rouh-Mei Hu), Clin Transl Oncol (2012) 14:287-293.
  • “Cefoxitin is Both an Inhibitor of Class A Beta-Lactamase of Xanthomonas Campestris pv. Campestris str. 17 and an Inducer of its Gene” ( Yang Tsuey-Ching, David Hecht, Jeffrey J.P. Tsai, and Rouh-Mei Hu ), Research in Micrbiology. 163(8):550-556. (Sep, 2012)
  • “Clinical Implications of Deregulated CDK4 and Cyclin D1 Expression in Patients with Human Hepatocellular Carcinoma” (J. W. Lu, J. G. Chang, K. T. Yeh, R. M. Chen, Jeffrey J. P. Tsai, Su, W. W. and R. M. Hu*), Med. Oncol., 2012.
  • “AmpG is required for the BlaXc beta-lactamase expression in Xanthomonas campestris pv. campestris str.17” (Yang, Tsuey-Ching, Tzu-Fan Chen, Jeffrey J. P. Tsai, Rouh-Mei Hu), FEMS Microbiology Letters, 2013.
  • “Data Hiding in DNA for Authentication of Plant Variety Rights ，Journal of Electronic Science and Technology” (Wei-Liang Tai, Charles C.N. Wang, Phillip C.Y. Sheu, Jeffrey J. P. Tsai), Journal of Electronic Science and Technology. (2013)
  • “Prediction of microRNA-regulated protein interaction pathways in Arabidopsis using machine learning algorithms” (Nilubon Kurubanjerdjit, Chien-Hung Huang, Yuliang Lee, Jeffrey J.P Tsai and Ka-Lok Ng), Computers in Biology and Medicine. (2013)
  • “The Prediction of Protein-Protein Interaction of A. Thaliana and X. Campestris Pv. Campestris Based on Protein Domain and Interolog Approaches” (Nilubon Kurubanjerdjit, Jeffrey J.P Tsai, Chen-Yu Sheu, Ka-Lok Ng), Plant Omics Journal. (2013)
  • “A Model Comparison Study of the Flowering Time Regulatory Network in Arabidopsis” (Charles C.N. Wang, Pei-Chun Chang, Ka-Lok Ng, Phillip C.Y. Sheu, Jeffrey J.P. Tsai), BMC Systems Biology. (2014) (Accepted)

 

■ 研討會論文

 

  • "A Policy for Job's Priority Rank," (J.J.P. Tsai and Y.H. Chin), Proceedings of the Int'l Computer Symp., pp. 1176-1192, Taipei, Taiwan, Dec. 1978.
  • "GQL: A Graphics Query Language for Software Maintenance Environment," (S.S. Yau and J.J.P. Tsai), Proceedings of the 7th IEEE Int'l Computer Software and Applications Conf., pp. 218-228, Chicago, Illinois, Nov. 1983.
  • "A Graph-Based Software Maintenance Environment," (S.S. Yau and J.J.P. Tsai), Digest of Papers, COMPCON 84 Spring, pp. 321-324, San Francisco, California, Feb. 1984.
  • "A Graph Description Language for Large-Scale Software Specification in a Maintenance Environment," (S.S. Yau and J.J.P. Tsai), Proceedings of the 8th IEEE Int’l Computer Software and Application Conf., pp. 397-407, Chicago, Illinois, Nov. 1984.
  • "Expert Graph Prediction System," (J.J.P. Tsai, Y.C. Chen, R. Krelling, and W. Kabat),Proceedings of the 5th Int'l Workshop on Expert Systems & Their Applications, pp. 621-640, Avignon, France, May 1985.
  • "Knowledge Representation of Software Life-Cycle Information Using first-Order Logic," (S.S. Yau, J.J.P. Tsai, and R.A. Nicholl), Proceedings of the 9th IEEE Int'l Computer Software and Applications Conf., pp. 268-277, Chicago, Illinois, Oct. 1985.
  • "Verification of Software Specification Using Automated Reasoning Techniques," (J.J.P. Tsai and W. Kabat), Proceedings of the ACM Computer Science Conf., Cincinnati, Ohio, Feb. 1986.
  • "Current Advances in Expert Systems," (O. Chan and J.J.P. Tsai), Proceedings of the Advanced Technology Conf., pp. 79-90, Delkab, IL, 1986.
  • "A Logic Approach to Design Software Component Interconnection Languages," (J.J.P. Tsai and C.K. Chang), Proceedings of the IEEE Workshop on Languages for Automation, pp. 196-201, Singapore, Aug. 1986.
  • "An Evolution Model for Software Maintenance," (S.S. Yau, R.A. Nicholl, and J.J.P. Tsai),Proceedings of the 10th IEEE Int'l Computer Software and Applications Conf., pp. 440-446, Chicago, Illinois, Oct. 1986.
  • "Fuzzy Reasoning Based on LH-Resolution," (X.H. Liu, J.J.P. Tsai, and C.K. Chang),Proceedings of the 10th IEEE Int'l Computer Software and Applications Conf., pp. 154-157, Chicago, Illinois, Oct. 1986.
  • "An Expert System for Determining Optimum Controller Structures," (C.K. Sanathanan, S.B. Quinn Jr., and J.J.P. Tsai), Proceedings of the IEEE Int'l Systems, Man and Cybernetics Conf., pp. 1530-1535, Atlanta, Georgia, Oct. 1986.
  • "An Expert System Implementation of Structured Software Design Using OPS5," (J.J.P. Tsai, A. Liu, and T. Li), Proceedings of the 2nd Kansas Conf. on Knowledge-Based Software Development, Kansas, Oct. 1986.
  • "A Knowledge-Based Navigation Scheme for Autonomous Land Vehicles," (M. Metea and J.J.P. Tsai), Proceedings of the 6th IEEE Phoenix Conf. on Computers and Communications, Phoenix, Arizona, pp. 526-530, Feb. 1987.
  • "User Modeling of Interactive Systems," (O. Chan and J.J.P. Tsai), Proceedings of the Advanced Technology Conf., Rosement, IL. March 1987.
  • "Route Planning for Intelligent Autonomous Land Vehicles Using Hierarchical Terrain Representation," (M. Metea and J.J.P. Tsai), Proceedings of the 1987 IEEE Int'l Conf. on Robotics and Automation, pp. 1947-1952, Raleigh, North Carolina, March 1987.
  • "A Meta-System Architecture for Intelligent Systems Integration," (M. Rao, T.S. Jiang, and J.J.P. Tsai), Proceedings of the Midwest Conf. on Artificial Intelligence and Cognitive Science, pp. 51-56, University of Chicago, Illinois, Apr. 1987.
  • "Adaptive Feedback Testing System: Case Studies and Applications," (M. Rao, T.S. Jiang, and J.J.P. Tsai), Proceedings of the Midwest Conf. on Artificial Intelligence and Cognitive Science, pp. 43-50, University of Chicago, Illinois, Apr. 1987.
  • "An Expert System Approach to Design and Verify VLSI Circuits," (K. Y. Fang and J.J.P. Tsai), Proceedings of the IEEE Int'l Conf. on VLSI and Computers, Hamburg, Germany, May 1987.
  • "ACPS: An Automatic Computation Programming System," (J.J.P. Tsai, S. Ng, and K. Tsang), Proceedings of the 1st IEEE Int'l Computer-Aided Software Engineering Workshop, Cambridge, Massachusetts, May 1987.
  • "MacroAPT - A Domain-Specific Automatic APT Programming Tool," (K. Senthilkumaran and J.J.P. Tsai), Proceedings of the 1st IEEE Int'l Computer-Aided Software Engineering Workshop, Cambridge, Massachusetts, May 1987.
  • "An Expert System for Chemical Process Control: A Case Study," (J.J.P. Tsai, D. Hsueh, M. Rao, and T.S. Jiang), Proceedings of the 1987 IEEE Expert Systems Conf., pp. 216-222, Anaheim, California, June 1987.
  • "RENPAD: An Expert System for Preliminary Diagnosis of Primary Renal Disease," (L. Gan, R. Razdan, J.J.P. Tsai, and Y. Xu), Proceedings of the 1987 IEEE Expert Systems Conf., pp. 231-237, Anaheim, California, June 1987.
  • "An Intelligent Advisory System for Designing Identification Experiments," (Z. Zhu, T.S. Jiang, J.J.P. Tsai, and D. Hsueh), Proceedings of the 1987 Int'l Computer Simulation Conf., Montreal, Canada, pp. 643-645, July 1987.
  • "An Intelligent Simulation Environment for the Decision Making of Optimal Control," (M. Rao, T.S. Jiang, J.J.P. Tsai, and D. Hsueh), Proceedings of the 1987 Int'l Computer Simulation Conf., Montreal, Canada, pp. 842-844, July 1987.
  • "ISE: An User Modeling Based Software Development System," (J.J.P. Tsai and O. Chan),Proceedings of the 11th IEEE Int'l Computer Software and Applications Conf., pp. 140-147, Tokyo, Japan, Oct. 1987.
  • "A Framework of Integrated Intelligent Systems," (M. Rao, T.S. Jiang, and J.J.P. Tsai),Proceedings of the 1987 IEEE Int'l Systems, Man, Cybernetics Conf., Alexandria, Virginia, pp. 1133-11371, Oct. 1987.
  • "A Knowledge-Based Approach for Real-Time Systems Debugging," (J.J.P. Tsai, K.Y. Fang, V. Thalla, and H. Gandhi), Proceedings of the 21th Hawaii Int'l Conf. on System Sciences, Kailua-Kona, Hawaii, Jan. 1988, pp. 533-540.
  • "Information Network for a Natural Talking System," (P. Buchneit, R. Conant, J.J.P. Tsai, and T. Moher), Proceedings of the IEEE Artificial Intelligence Applications Conf., Orlando, Florida, Apr. 1988.
  • "A Reliable Expert System for Process Control System Design," (M. Rao, T.S. Jiang, and J.J.P. Tsai), Proceedings of the 1988 IEEE NAECON Conf., Dayton, Ohio, pp. 414-420, May 1988.
  • "A New Method to Design Intelligent Control System," (M. Rao, T. Jiang, and J.J.P. Tsai),Proceedings of the 1988 IEEE National Aerospace and Electronics Conf., Dayton, Ohio, pp. 408-413, May 1988.
  • "An Integrated Environment for Intelligent Control," (M. Rao, T.S. Jiang, and J.J.P. Tsai),Proceedings of the 1st ACM Int'l Conf. on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, Tullahoma, Tennessee, June 1988.
  • "An Expert System Approach for System Analysis Using OPS5," (J.J.P. Tsai, A. Raj, K. Mehta, and V. Thalla), Proceedings of the 2nd IEEE Int'l Computer-Aided Software Engineering Workshop, Cambridge, Massachusetts, pp. 13.33-13.41, July 1988.
  • "Integrated Architecture for Intelligent Control," (M. Rao, T.S. Jiang, and J.J.P. Tsai),Proceedings of the Third IEEE Int'l Symposium on Intelligent Control, Arlington, Virginia, August 1988, pp. 81-85.
  • "Knowledge-Based Optimal Control," (M. Rao, T.S. Jiang, and J.J.P. Tsai), Proceedings of the Third IEEE Int'l Symposium on Intelligent Control, Arlington, Virginia, August 1988, pp. 257-262.
  • "Rapid Prototyping Using FRORL Requirements Language," (J.J.P. Tsai, M. Aoyama, and Y.L. Chang), Proceedings of the 12th IEEE Int'l Computer Software and Applications Conf., Chicago, Illinois, Oct. 1988, 410-417.
  • "A Declarative Approach to Software Requirements Specification Languages," (J.J.P. Tsai, T. Weigert, and M. Aoyama), Proceedings of the 1988 IEEE Int'l Conf. on Computer Languages, Miami Beach, Florida, Oct. 1988, pp. 414-421.
  • "An Intelligent Assistant for Checking Software Information Using a Non-Monotonic Reasoning System," (J.J.P. Tsai and T. Weigert), Proceedings of the 22th Hawaii Int'l Conf. on System Sciences, Kona, Hawaii, Jan. 1989, pp. 513-521.
  • "A New Knowledge Representation Technique," (M. Rao, T. Jiang, and J.J.P. Tsai),Proceedings of the International Conf. on Signals and Systems, Miami, FL., March 1989.
  • "The Interpretation of Fuzzy Reasoning in Operator Fuzzy Logic," (X. Liu, K.Y. Fang, and J.J.P. Tsai), Proceedings of the 19th Multiple-Valued Logic Symposium, China, pp. 242-247, May 1989.
  • "Software Environment and Architecture for Intelligent Control," (M. Rao, T. Jiang, and J.J.P. Tsai), Proceedings of the Fourth IEEE Int'l Symposium on Intelligent Control, Albany, NY, Sept. 1989, pp. 482-486.
  • "From Knowledge Transfer to Knowledge Generation," (M. Rao, T. Jiang, and J.J.P. Tsai),Proceedings of the Fourth IEEE Int'l Symposium on Intelligent Control, Albany, NY, Sept. 1989, pp. 387-392.
  • "Exploratory Prototyping Through the Use of Frames and Production Rules," (J.J.P. Tsai and T. Weigert), Proceedings of the 1989 IEEE Int'l Computer Software and Applications Conference, Orlando, Florida, Sept. 1989, pp. 455-462.
  • "A Knowledge-Based Debugger for Real-Time Software Systems Based on a Non-Interference Testing Architecture," (J.J.P. Tsai, K.Y. Fang, and H.Y. Chen), Proceedings of the 1989 IEEE Int'l Computer Software and Applications Conference, Orlando, Florida, Sept. 1989, pp. 642-649.
  • "A Frame and Rule Based System to Support Software Development Using an Integrated Software Engineering Paradigm," (J.J.P. Tsai, S.T. Tsai, and A. Liu), Proceedings of the 1989 IEEE Int'l Workshop on Tools for AI: Architectures, Languages and Algorithms, Fairfax, VA, Oct. 1989, pp. 282-289.
  • "A Knowledge-Based System for Ada Software Development," (J.J.P. Tsai, R. Shue, and S. Tsai), Proceedings of the 5th Annual Conf. on Artificial Intelligence and Ada, Fairfax, VA, Nov. 1989, pp. 137-148.
  • "A Replay Mechanism for Non-Interference Testing and Debugging of Real-Time Software Systems," (J.J.P. Tsai, K.Y. Fang, and H.Y. Chen), Proceedings of the ACM 1989 Software Maintenance Conference, Miami Beach, Florida, Oct. 1989, pp. 209-218.
  • "Classification of Intelligent Simulation," (M. Rao, Y. Ying, T. Jiang, and J.J.P. Tsai),Proceedings of the 1990 Summer Simulation Conf., Calgary, Alberta, Canada, July 1990, pp. 700-702.
  • "On Real-Time Software Testing and Debugging," (J.J.P. Tsai, K.Y. Fang, and Y.D. Bi),Proceedings of the 1990 IEEE Computer Software and Applications Conf., Chicago, Illinois, Oct. 1990, pp. 512-518.
  • "KBRMS: An Intelligent Assistant for Requirement Definition," (B. Binder and J.J.P. Tsai),Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence, Nov. 1990, pp. 610-616.
  • "A Hybrid Knowledge Representation for Requirement Specification and Reasoning," (J.J.P. Tsai, T. Weigert, and H. Jang), Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence, Nov. 1990, pp. 70-76.
  • "Integrating Data Collection, Debugging, and Visualization," (J.J.P. Tsai and Y. Bi),Proceedings of the 7th International Conference on Advanced Science and Technology, Argonne National Laboratory, ILL., pp. 267-279, March 1991.
  • "A Research Overview of Distributed Database System Design," (J. Chen, L. Chen, J.J.P. Tsai, and C. Carlson), Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation, Pittsburgh, Pennsylvania, May 1991.
  • "Nested Concurrency and Its Application to Distributed Database Systems Design," (J. Chen, L. Chen, J.J.P. Tsai, and C. Carlson), Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation, Pittsburgh, Pennsylvania, May 1991.
  • "Timing Errors of Real-Time Software Systems and Their Detection," (J.J.P. Tsai and Y. Bi),Proceedings of the 1991 IEEE International Symposium on Software Reliability Engineering, Austin, TX, May 1991, pp. 116-123.
  • "A Distributed Cooperative Agents Architecture for Software Development," (J.J.P. Tsai and R. Sheu), Proceedings of the IJCAI International Workshop on Intelligent Cooperative Information Systems, Sydney, Australia, Aug. 1991, pp. 51-76.
  • "Artificial Intelligence Techniques for Software Engineering," (J.J.P. Tsai), Proceedings of the Fujitsu International Software Symposium, Kawasaki, Japan, Sept. 1991.
  • "RT-FRORL: A Formal Requirements Specification Language for Specifying and Analyzing Real-Time Systems," (J.J.P. Tsai, H. Jang, and K. Schellinger), Proceedings of the 1991 IEEE International Computer Software and Applications Conference, Tokyo, Japan, Sept. 1991, pp. 142-148.
  • "An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems," (H. Chen and J.J.P. Tsai), Proceedings of the 1991 IEEE Conf. on Tools for Artificial Intelligence, San Jose, CA, Nov. 1991, pp. 210-219.
  • “ Is A.I. the Solution for Software Engineering,” (D. Cooke, M. Feather, S. Fickas, N. Minsky, P. Selfridge, D. Smith, J. P. Tsai), Proceedings of the3rd IEEE Tools with Artificial Intelligence Conference, pp. 10-12, Nov. 1991.
  • "Non-Monotonic Logic as a Basis for Requirements Specification and Analysis," (J.J.P. Tsai, T. Weigert, and H. Jang), Proceedings of the IJCAI 1991 International Symposium on Artificial Intelligence, Cancun, Mexico, Nov. 1991, pp. 409-415.
  • "ESCHE: Expert System for Feature Identification in Human Chest of Computer Tomography," (J. Sushil and J.J.P. Tsai), Proceedings of The World Congress on Expert Systems, Orlando, FL, Dec. 1991, Vol. 4, pp. 2671-2678.
  • "EMBY: Expert System for Low Level Segmentation in Microscopic Image of Human Enbryo," (Jas Sushil and J.J.P. Tsai), Proceedings of The World Congress on Expert Systems, Orlando, FL, Dec. 1991, Vol. 1, pp. 308-315.
  • "Visualization and Debugging Distributed Real-Time Software Systems, (J.J.P. Tsai, S. Yang, and Y. Bi), Proceedings of the 1992 IEEE Int'l Conf. on Automation, Robotics, and Computer Vision, Singapore, Sept. 1992, pp. inv-5.6.1-inv-5.6.5.
  • "A Framework of Logic-Based Transformation System," (J.J.P. Tsai, R. Sheu, and B. Li),Proceedings of the 1992 IEEE Computer Software and Applications Conference, Chicago, IL, Sept. 1992, pp. 294-299.
  • "A Framework for Knowledge-Based Systems Verification" (J.J.P. Tsai and H. Jang),Proceedings of the 1992 IEEE System, Man, Cybernetics Conference, Chicago, IL, Oct. 1992, pp. 1700-1705.
  • "A Requirement Specification Language for Autonomous Decentralized Systems Development," (J.J.P. Tsai), Proceedings of IEEE International Symposium on Autonomous Decentralized Systems, Hitachi System Plaza, Kawasaki, Japan, April 1993, pp. 115-121.
  • "Timing Constraints Petri Nets and Their Application to Schedulability Analysis of Real-Time Software," (J.J.P. Tsai, S. Yang, and P. Chang), Proceedings of the IEEE Workshop on Parallel and Distributed Real-Time Systems, New Port Beach, CA, April 1993.
  • "Debugging of Logic-Based Requirements Languages - A FRORL Approach," (J.J.P. Tsai, A. Liu, and K. Nair), Proceedings of the IEEE Int'l Conf. on Software Engineering and Knowledge Engineering, San Francisco, CA, June 1993, pp. 372-379.
  • "Schedulability Analysis of Real-Time Software Using Timing Constraints Petri Nets," (J.J.P. Tsai, S. Yang, and P. Chang), Proceedings of the European Computer Science Conference, Paris, France, June 1993.
  • "Detection of Traffic Congestion Using Fuzzy Operator Logic in Advance-like Systems," (A. Tarko, N. Rouphail, and J.J.P. Tsai), Proceedings of the Intelligent Vehicle Symposium, Tokyo, Japan, pp. 189-194, July 1993.
  • "Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language," (J.J.P. Tsai, B. Li, and A. Liu), Proceedings of the 18th IEEE International Computer Software and Applications Conference, pp. 11-16, Nov. 1994.
  • "A Survey of Current Topics in Multimedia Research," (J.J.P. Tsai, B. Li, and A. Liu), IEEE Newsletter of the Technical Committee on Multimedia Computing, Vol. 2, No. 2, July 1994.
  • "A Simple Graph Algorithm for Message-optimized Distributed Computing," (D. Kadamuddi and J.J.P. Tsai), Proceedings of the 7th International Conference on Parallel and Distributed Computing, pp. 80-85, Las Vegas, Nevada, Oct. 1994.
  • "Improving Parallel Execution Performance for Logic Programs Using Mode Information," (J.J.P. Tsai and B. Li), Proceedings of the 6th IEEE Symposium on Parallel and Distributed Processing, pp. 144-151, Dallas, TX, Oct. 1994.
  • "Requirements, Specification, and Analysis of Autonomous Distributed Communication Service," (J.J.P. Tsai), Proceedings of the National Development Symposium, Taipei, Taiwan, June 1995.
  • "Improving Software Quality Through a New Testing Strategy," (X. Zeng, J.J.P. Tsai, and T. Weigert), Proceedings of the 19th IEEE International Computer Software and Applications Conference, pp. 224-229, August 1995.
  • "A Knowledge-Based Approach to Specification-Based Software Architecture," (J.J.P. Tsai),Proceedings of the 1995 NSF/DARPA/ONR Software Specification Workshop, Monterey, CA, pp. 33-43, Sept. 1995.
  • "A Knowledge-Based Approach for Requirements Analysis," (A. Liu and J.J.P. Tsai),Proceedings of the 1995 IEEE Tools with Artificial Intelligence Conference, Herndon, Virginia, pp. 26-33, Nov. 1995.
  • "A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems," (J.J.P. Tsai and T. Weigert), Proceedings of the 2nd IEEE Object-Oriented Real-Time Dependable System Workshop, Laguna Beach, CA, pp. 8-16, February 1996.
  • "Automatic Generation of Verification Scenario from Systems Requirements Specification," (X. Zeng, J.J.P. Tsai, and T. Weigert), Proceedings of the 8th Int'l Conference on Software Engineering and Knowledge Engineering, Nevada, pp. 393-399, June 1996.
  • "Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets," (J.J.P. Tsai, S. Yang, P. Chang, and E. Juan), Proceedings of the 20th IEEE International Computer Software and Applications Conference, pp. 36-40, August 1996.
  • "An Efficient Analysis Method for Large-Scale Concurrent Systems," (E. Juan, J.J.P. Tsai, and T. Murata) Proceedings of Int'l IEEE High-Assurance Systems Engineering, Ontario, Canada, pp. 19.1 - 19.8, October 1996.
  • "A Hybrid Execution Model for Logic-Based Requirements Specifications, (J.J.P. Tsai and B. Li), Proceedings of IEEE International High-Assurance Systems Engineering, Ontario, Canada, pp. 13.1-13.8, October 1996.
  • "An Integrated Architecture for Distributed Real-Time Systems Analysis," (S. Yang, J.J.P. Tsai, and A. Liu), Proceedings of the 2nd World Conference on Integrated Design and Process Technology, Austin, TX, pp. 152-159, December 1996.
  • "An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems," (J.J.P. Tsai, A. Sistla, A. Sahay, and R. Paul), Proceeding of the 3rd IEEE Object Oriented Real-Time Dependable System Workshop, Laguna Beach, CA, pp. 55-63, February 1997.
  • "Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems," (J.J.P. Tsai and E. Juan), Proceedings of IEEE Int'l Symposium on High-Assurance Systems Engineering, Washington D.C., pp. 188-193, August 1997.
  • "An Incremental Verification of Software Architecture," (J.J.P. Tsai, A. Sistla, and A. Sahay),ACM SIGSOFT Notics, Oct. 1997, pp. 60-63.
  • "Multimedia Software Engineering," (J.J.P. Tsai, F. Bastani, M. Hirakawa, and S. Barchayara), Proceedings of Int'l Conf. on Software Engineering, Kyoto, Japan, April 1998.
  • "Architecture Specification of Multimedia Software Systems,” (J.J.P. Tsai and K. Xu),Proceedings of the 6th IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, June 1999.
  • "A Compositional Approach for Modeling and Verification of Component-Based Software Systems," (J.J.P. Tsai and E. Juan), Proceedings of the NSF/ARL Workshop on Software Evolution, Italy, June 2000.
  • "An Agent-based Internet Software Integration System," (J.-M. Lin and J.J.P. Tsai),Proceedings of the 4th World Conference on Integrated Design and Process Technology, Dallas, TX, June 2000.
  • "Formal Analysis of Software Security Systems Architecture," (Y. Deng, J. Wang, J.J.P. Tsai, and K. Beznosov), Proceedings of the 5th IEEE Symposium on Autonomous Decentralized Systems, Dallas, TX, March 2001.
  • "Modeling a Secure Mobile Agent System with Petri Nets Scheme," (L. Ma, J.J.P. Tsai, and T. Murata), Proceedings of the 12th Information Security Conference, pp. 399-406, Taiwan, May 16-17, 2002.
  • "Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets," (C. Xiong, T. Murata, and J.J.P. Tsai), Proceedings of the Workshop on Formal Methods Applied to Defense Systems, Adelaide, Australia, June 2002.
  • "Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems," (J.J.P. Tsai and E. Juan), Proceedings of the 1st IEEE Int’l Conf. on Cognitive Informatics, Calgary, Alberta, Canada, August 19-20, 2002.
  • "Machine Learning and Software Engineering," (D. Zhang and J.J.P. Tsai), Proceedings of the IEEE Int’l Conf. on Tools with Artificial Intelligent, Washington D.C., Nov. 4-6, 2002.
  • "A Secure Mobile Agent System Model Based on Extended Elementary Object Net," (L. Ma, J.J.P. Tsai, and T. Murata), Proceedings of the World Congress on Integrated Design and Process Technology, June 2002.
  • "A Framework for Cancer-related Genes Mining over the Internet," (J.J.P. Tsai, J.G. Chang, R.M. Chen, H.W. Hsiao, R.M. Hu, S.N. Chen, M.M. Lee, W.L. Chan, P.X. Wu, W.H. Chen, S.S. Chen, F.M. Liu, and Y.C. Lin), Proceedings of the 3rd IEEE Symp. on Bioinformatics and Bioengineering, Washington D.C., March 10-12, 2003.
  • "Extended Elementary Object System Model for Mobile Agent Security," (L. Ma, J.J.P. Tsai, and T. Murata), Proceedings of the 2003 World Congress on Integrated Design and Process Technology, Dec. 2003.
  • "Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm," (W.F. Huang, R.M. Hu, J.J.P. Tsai, and R.M. Chen), Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering, Dec. 2003.
  • "Subcellular Localization Prediction of Eukaryotic Protein Using Functional Domain Frequency Measure," (H. W. Hsiao S. H. Chen, and J.J.P. Tsai), Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering, Dec. 2003.
  • "An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes," (S.N. Chen, J.J.P. Tsai, and W.H. Chen), Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering, Dec. 2003.
  • "A Bioinformatics Approach for Mining Cancer-related Genes over Internet," (J.J.P. Tsai, J.G. Chang, R.M. Chen, H.W. Hsiao, R.M. Hu, S.N. Chen, M.M. Lee, W.L. Chan, P.X. Wu, W.H. Chen, S.S. Chen, F.M. Liu, and Y.C. Lin), Proceedings of the IEEE ICDE Workshop on Bioinformatics, March 2003.
  • "In Silico Discovery of Cancer-Related Genes by Functional Domain Analysis," (H. W. Hsiao, P. Wu, R. M. Hu, and J.J.P. Tsai), Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering, Dec. 2003.
  • "Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics," (S. N. Chen, J.J.P. Tsai, R.M. Chen, C. W. Huang, and R. Lin),Proceedings of the 5th IEEE Int'l Symp. on Bioinformatics and Bioengineering, May 2004.
  • "FMGA: Finding Motifs by Genetic Algorithm," (F. M. Liu, J.J.P. Tsai, R.M. Chen, S.H. Chen, and S.H. Shih), Proceedings of the 5th IEEE Int'l Symp. on Bioinformatics and Bioengineering, pp. 459-466, May 2004.
  • “Analysis of Cancerous Genes based on Microarray Gene Expression Data,” (S.S. Shen, K.C. Shih, C.W. Liang, F.M. Liu, R.M Chen, J.G. Chang, J. J.P. Tsai, S.H. Shih),Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory, pp. 119-123, May 21-22, 2004.
  • “Regulatory Protein Binding Site Analysis Using Position Weight Matrix,” (S. N. Chen, J. J.P. Tsai, C.K. Lin, C. W. Huang), Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory, pp. 124-131, May 21-22, 2004.
  • "A Secure Mobile Agent System Model Based on Extended Elementary Object Net," (L. Ma, J.J.P. Tsai, and T. Murata), Proceedings of the 28th IEEE Int'l Computer Software and Applications Conference, pp. 218-223, Sept. 2004.
  • "A Multiple-Class System for KDD Intrusion Detection," (Z. Yu and J.J.P. Tsai),Proceedings of the 28th IEEE Int'l Computer Software and Applications Conference, pp. 212-217, Sept. 2004.
  • "Distributed Discovery of Asychronous Partial Periodic Patterns in Sequence Data Using Modified Periodicity Transform," (H.W. Hsiao, M. S. Tsai, and J.J.P. Tsai), Proceedings of the 6th IEEE Int'l Symp. on Multimedia Software Engineering, Dec. 2004.
  • "Predication of Gene Regulatory Networks using Differential Expression of cDNA Microarray Data," (K. C. Shih, R.M. Chen, and J.J.P. Tsai), Proceedings of the 6th IEEE Int'l Symp. on Multimedia Software Engineering, Dec. 2004.
  • “Reliability Verification of Microarray Gene Expression Database,” (C.W. Leung, R.M. Chen, R.M. Fu, K.C. Shih, I.C. Wang, M.I. Lee, J.J.P. Tsai, C. K. Chang), Proceedings of the 8th ETCM Conference, May 2005.
  • “Recognizing Cancer-Related Genes based on Single Nucleotide Polymorphism,” (I.C. Wang, R.M. Chen, R.M. Fu, M.I. Lee, C.W. Leung, K.C. Shih, J.J.P. Tsai, C. K. Chang),Proceedings of the 8th ETCM Conference, May 2005.
  • “Study of the Protein-Protein Interaction Networks via Random Graph Approach, “(P.H. Lee, C.H. Huang, J.F. Fang, J.J.P. Tsai, and K.L. Ng), Proceedings of the 4th IEEE Int’l Conf. on Cognitive Informatics, CA. August 2005.
  • “Evolutionary Analysis of MTA-Related Proteins,” (Y.-J. Chen, F. P. Chu, H. T. Chu, and J.J.P. Tsai), Proceedings of the Bioinformatics in Taiwan (BIT), Sept. 2005.
  • “Modular Structure of Protein-Protein Interaction, (C.H. Huang, P.H. Lee, J.J.P. Tsai, and K.L. Ng), Proceedings of the NCTS Symp. on Network Biology, Tsing Hua Univ., Taiwan, Nov. 2005.
  • “Structure-Based Virtual Screening of HDAC Proteins with Functional Evolutionary Analysis,” (Y.J. Chen, H.T. Chu, and J.J.P. Tsai), Proceedings of the National Computer Symp., Dec. 2005.
  • “A Graphical Simulation Environment for Modeling and Analysis of Sensor Networks,” (Y. Luo and J.J.P. Tsai), Proceedings of the 6th IEEE Int’l Symp. on Multimedia, CA. Dec. 2005.
  • “An Analysis of H5N1 Influenza A Virus Hemagglutinin,” (Y.J. Chen, H.T. Chu, and J. J.P. Tsai), Proceedings of the 4th Asia Pacific Bioinformatics Conference, (APBC06), Feb. 2006.
  • "Topological Stability of the Protein-Protein Interaction Networks,” (C.H. Huang J.J.P. Tsai, F. F. Fang, and K.L. Ng), Proceedings of the 4th Asia Pacific Bioinformatics Conference, (APBC06), 13-16 Feb, 2006.
  • “Large Scale Predication of Domain-Domain Interactions from Protein-Protein Interactions,” (J.R. Lee, H.C. Liu, J. J.P. Tsai, and K.L. Ng), Proceedings of the 4th Asia Pacific Bioinformatics Conference, (APBC06), Feb. 2006.
  • “Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy,” (P. Srinivasan, J. J.P. Tsai, and L. Ma), Proceedings of Workshop on Advances in Computer Science and Engineering, UC Berkeley, May 2006.
  • “A Ubiquitous Warning System for Asthma-Inducement,” (H.T. Chu , C.C. Huang, Z.H. Lian, and J. J.P. Tsai), Proceedings of the IEEE Workshop on Multimedia Technology and Ubiquitous Computing, pp. 186-191, June 5-7, 2006.
  • “Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems,” (S.P. Ren, L. Shen, and J.J. P. Tsai), Proceedings of the 1st IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing, pp. 60-67, June 5-7, 2006.
  • "Separating Functional and Non-functional Concerns through Coordination: an Application to Reliability,” (P. Pierre-Etienne, S. P. Ren, J. Nogiec, J. J.P. Tsai), Proceedings of the 30th IEEE Int'l Computer Software and Applications Conference, Chicago, Sept. 17-21, 2006.
  • “Fuzzy Model Tuning for Intrusion Detection Systems,” Proceedings of the 3rd IFIP International Autonomic and Trusted Computing Conference, (Z. Yu and J. J.P. Tsai), Lecture Notes in Computer Science, Springer-Verlag, New York, pp. 193- 204, Sept. 2006.
  • “Issues, Challenges, and Future Directions in Multimedia Research,” (M. Hirakawa, M. Muhlhauser, S. Rahardja, P. C.-Y. Sheu, L. Smarr, J. J.P. Tsai), Proceedings of the 8th IEEE International Symposium on Multimedia, San Diego, CA, Dec. 2006.
  • “Potential Function Optimization using Particle Swarm Approach to One-class Classification,” (H.W. Hsiao, H.K. Chung, C.K. Hsu, and J. J.P. Tsai), Proceedings of the 14th National Conference on Fuzzy Theory and Its Applications, Kaohsiung, Taiwan, December 14-15, 2006.
  • “Topical Robustness of the Protein-protein Interaction Networks,” (C.H. Huang, J.F. Fang, J.J.P. Tsai, and K.L. Ng), Lecture Notes in Bioinformatics, Springer Verlag, Vol. 4023, p.166-177, Jan. 2007.
  • “A Framework for Extrusion Detection Using Machine Learning,” (Y. Luo and J. J.P. Tsai), Proceedings of the 11th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC08), May 5-7, 2008.
  • “IHCread: An Automatic Immuohistochemistry Image Analysis Tool,” ( C.Y. Hsu, R. M. Hu, R. M. Chen, J. J.P. Tsai), Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, pp. 294-297, June 1-6, 2008.
  • “Sharing Cancer-Related Genes Research on Peer-to-Peer Network, (C.H. Wu, R.M. Chen, J. J.P. Tsai), Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, pp. 303-307, June 1-6, 2008.
  • “A Systematic Genes Expression Explorer Tool for Multiple and Paired Chips,” (J.W. Ou, R. M. Chen, R. M. Hu, J. J.P. Tsai), Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, pp. 298-302, June 1-6, 2008.
  • “A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks,” (Z. Yu and J. J.P. Tsai), Proceedings of the 2nd IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing (SUTC2008), pp. 272-393, June 11-13, 2008.
  • “Biosemantic System: Applications of Structured Natural Language to Biological and Biochemical Research,” (D. Hecht, J. J.P. Tsai, and P. Sheu), Proceedings of the 1st IEEE Ambient Semantic Computing Workshop (ASC2008), pp. 386-393, June 11-13, 2008.
  • “Modeling of Secure Sensor Networks Using an Extended Elementary Object System,” (with V. Devarashetty, J. J.P. Tsai, L. Ma, D. Zhang), Proceedings of the 7th IEEE Int’l Conf. on Cognitive Informatics, Stanford University, CA. August 14-16, 2008.
  • “A Context-driven Content Adaptation Planner for Improving Mobile Internet Accessibility,” ( S. Yang, J. Zhang, A. Huang, J. J. P. Tsai, P. S. Yu), Proceedings of the 2008 IEEE Int’l Conf. on Web Services, Beijing, China, September 23-26, 2008.
  • “Local Alignment of Protein Structures Using Non-rigid Approach,” (H. C.W. Hsiao, S. J.X. Lee, J. J.P. Tsai), Proceedings of the 8th Int’l Conf. on Intelligent Systems Design and Applications, Taiwan, November 26-28, 2008.
  • “Residue Contact with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment,” (S. J.S. Lee, H.W. Hsiao, J. J.P. Tsai), Proceedings of the ITAOI, May 22-24, 2009.
  • “A Novel Approach for Motif Identification in Unaligned Molecular Sequences,” (R.M. Chen, M. T. Hou, J. J.P. Tsai), Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, June 22-24, 2009.
  • “An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data,” (J.W. Ou, R. M. Chen, R. M. Hu, C.Y. Tang, J. J.P. Tsai), Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, June 22-24, 2009.
  • “Phylogenetic Analysis using Nuclear-encoded Mitochondrial Proteins,” (A. C.H. Chen, H. C.W. Hsiao, J. J.P. Tsai), Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, June 22-24, 2009.
  • “Describing Dynamic Biological Systems using SPDL and SCDL,” (C. Wang, D. Hacht, H. C.W. Hsiao, P. Sheu, J. J.P. Tsai), Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, June 22-24, 2009.
  • “SCDL Applications to Drug Discovery,” (D.A. Hecht, P. Sheu, J. J.P. Tsai), Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, June 22-24, 2009.
  • “Object Relational Programming of Biomedical Images” (Han C.W. Hsiao, R. M. Hu, W. L. Tai, R. M. Chen, Jeffrey J.P. Tsai), Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Oct. 24-26, 2011.
  • “Ergonomic Designs Based on Musculoskeletal Models” (Chun-Ming Chang, Jeffrey Tsai), Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Oct. 24-26, 2011.
  • “Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model” (Charles C.N. Wang, Ka-Lok Ng, Yu-Ching Chen, Phillip C.Y. Sheu, Jeffrey J.P. Tsai), Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Oct. 24-26, 2011.
  • “Molecular Modeling Studies of AmpR Mediated AmpC beta-Lactamase Repression” (David Hecht, Charles C.N. Wang, Rouh-Mei Hu, Jeffrey J.P. Tsai), Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Oct. 24-26, 2011.
  • “Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing” (Yu-Liang Lee, Jie-Wei Weng, Wen-Chin Chiang, Yi-Wen Lin, Ka-Lok Ng, Jeffrey Jing-Pha Tsai, Chi-Ying Huang), Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Oct. 24-26, 2011.
  • “The Application of Molecular Markers to Identify Edible Fungi - A Case Sudy of Tremella fuciformis” (Jing-Gung Chung, Jeffrey J.P. Tsai, Chien-Yih Lin, Yang-Chia Shih, Jin-Shih Chen, Ming-Jen Fan), Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Oct. 24-26, 2011.
  • “TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach” (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),Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Oct. 24-26, 2011.
  • “Towards Improving the Biological Relevance of Time-Series Gene Expression Clustering Using support Vector machine”(Pei-Lin Chen, Rong-Ming Chen, Chien-Yuan Li, Rouh-Mei Hu, Been-Chian Chien and Jeffrey Tsai), the 23rd International Conference on Genome Informatics , Dec. 12-14, 2012. (poster paper)
  • “Molecular simulation methods for selecting thrombin-binding aptamers” (Kumar Jangam Vikram, Wen-Yih Chen, Jeffrey J. P. Tsai and Wen-Pin Hu),The 10th FTRA International Conference on Secure and Trust Computing, data management, and Applications, July 8-10, 2013.
  • “A Study of Floral Transition in Arabidopsis Using Partial Correlation Analysis”(Nikubon Kuruanjerdjit, Jeffrey J.P. Tsai ,Jin-Shuei Ciou , Ka-Lok Ng ), The 2013 International Conference on Bioinformatics & Computational Biology, July 22-25, 2013.

 

■ 專 書

 

  • Knowledge-Based Software Development for Real-Time Distributed Systems, (J. J.P. Tsai and T. Weigert), World Scientific Inc., New Jersey, December 1993.
  • Monitoring and Debugging Distributed Real-Time Systems, (ed., J. J.P. Tsai and S. Yang), IEEE Computer Society Press, Washington D.C., November 1994.
  • Distributed Real-Time Systems, (J. J.P. Tsai, Y. Bi, S. Yang, and R. Smith),Wiley & Sons Inc., NY, 1996.
  • Hybrid Parallel Execution Model for Logic-Based Specification Languages, (J. J.P. Tsai and B. Li),World Scientific Pub. Inc., New Jersey, 2001.
  • Compositional Verification of Concurrent and Real-Time Systems, (E. Juan and J. J.P. Tsai), Springer/Kluwer, 2002.
  • Machine Learning Applications in Software Engineering, (ed., D. Zhang and J. J.P. Tsai), World Scientific Inc., 2005.
  • Security Modeling and Analysis of Mobile Agent Systems, (L. Ma and J. J.P. Tsai), Imperial College Press, London, 2006.
  • Ubiquitous Intelligence and Computing, (ed. J. Ma, H. Jin, L. T. Yang, J. J.P. Tsai), Lecture Notes in Computer Science, Springer, New York, 2006.
  • Advances in Machine Learning Applications in Software Engineering, (ed., D. Zhang and J. J.P. Tsai), IGI Publishing Inc., PA, 2007.
  • Sensor Networks, Ubiquitous and Trustworthy Computing, (ed., M. Singhal, G. Serugendo, J. Tsai, W. Lee, K. Romer, Y. Tseng), IEEE Computer Society Press, 2008.
  • Machine Learning in Cyber Trust: Security, Privacy, Reliability, (ed. J. J.P. Tsai and P. S. Yu), Springer, New York, 2009.
  • Intrusion Detection: A Machine Learning Approach, (J. J.P. Tsai, Z. Yu), Imperial College Press, London, 2010.

 

■ 專書章節

 

  • "A Knowledge-Based Approach for the Specification and Analysis of Real-Time Systems," (J. J.P. Tsai and H. Jang), Advances Series in Artificial Intelligence, Vol. 1, (ed. N. Bourbakis), World Scientific Inc., 1992.
  • "Development of Expert Systems Shells,” (J. J.P. Tsai, S. J.H. Yang, N. Waheed, T. Moher), Knowledge Engineering Shells: Systems and Techniques (Advances Series in Artificial Intelligence), Vol. 2, (ed. N. Bourbakis), World Scientific Inc., Dec. 1993.
  • "A Distributed Cooperative Agents Architecture for Software Development," (J. J.P. Tsai and R. Sheu), The Next Generation of Information Systems: from Data to Knowledge, Lecture Notes in Artificial Intelligence, (eds. M. Papazoglou and J. Zeleznikow), Springer-Verlag, Berlin Heidelberg, Vol. 611, pp. 271-290, 1992.
  • "Knowledge Verification," Encyclopedia of Electrical and Electronics Engineering, (J. J.P. Tsai, E. Juan, A. Sahay, and D. Zhang), John Wiley & Sons Inc., Feb. 1999.
  • "Computer System Monitoring," Encyclopedia of Electrical and Electronics Engineering, (A. Liu and J. J.P. Tsai), John Wiley & Sons Inc., Feb. 1999.
  • "Formal Verification Techniques for Computer Communication Security Protocol," (L. Ma and J. J.P. Tsai), Handbook of Software Engineering and Knowledge Engineering, Vol. I, January 2002.
  • "Attacks and Countermeasure in Software System Security," (L. Ma and J. J.P. Tsai),Handbook of Software Engineering and Knowledge Engineering, Vol. III, August 2005.
  • "Software Monitoring," Encyclopedia of Computer Science and Engineering, (A. Liu and J. J.P. Tsai), Wiley Interscience, 2006.
  • "Adding Context into Access Control Model for Computer Security Policy," (S. Ren, J. J.P. Tsai, O. Frieder), Advances in Machine Learning Application in Software Engineering, IGI Publishing Inc., 2007.
  • "Intrusion Detection Techniques for Wireless Networks," (C. Kersey, Z. Yu, and J. J.P. Tsai), Wireless Ad Hoc Networking: Personal-Area, Local-Area, and Sensory-Area Networks, Taylor & Francis, 2007.
  • "Knowledge Verification," Encyclopedia of Computer Science and Engineering, (J. J.P. Tsai and D. Zhang), Wiley Interscience, Dec. 2008.
  • "Computer System Monitoring," Encyclopedia of Computer Science and Engineering Engineering, (A. Liu and J. J.P. Tsai), John Wiley & Sons Inc., Dec. 2008.
  • "A Non-Intrusive Approach to Enhance Legacy Embedded Control Systems with Cyber Protection features," (S.P. Ren, K. Kwiat, J. J.P. Tsai), Machine Learning in Cyber Trust: Security, Privacy, and Reliability (ed. J. J.P. Tsai and P. Yu), Springer-Verlag, New York, 2009.
  • "A Systematic Gene Expression Explorer Tool for Multiple and Paired Chips," (J. W. Ou, R. M. Chen, R. M. Hu, C. Y. Hsu, and Jeffrey J. P. Tsai), Biomedical Engineering: Health Care Systems, Technology and Techniques, Springer, New York, 2011.
  • "IHCREAD: An Automatic Immunohistochemistry Image Analysis Tool," (C. Y. Hsu, R. M. Hu, R. M. Chen, J. W. Ou, and Jeffrey J. P. Tsai), Biomedical Engineering: Health Care Systems, Technology and Techniques, Springer, New York, 2011.
  • "Sharing Cancer-related Genes Research Resources on Peer-to-Peer Network," (C. C. Wu, R. M. Chen, and Jeffrey J. P. Tsai), Biomedical Engineering: Health Care Systems, Technology and Techniques, Springer, New York, 2011.

 

　

學術活動

■ Journal Editorship Positions

 

  • Advisory Board, International Journal of Big Data Intelligence, 2014
  • Honorary Editors-in-Chief , International Journal of Engineering and Industries (IJEI), 2010-present.
  • Co-Editor-in-Chief, International Journal of Artificial Intelligence Tools, 1994-present.
  • Editor-in-Chief, SDPS Transaction on Integrated Design and Process Science, 2001 - 2006.
  • Editor-in-Chief, Book Series in Health Informatics, 2005-present.
  • Editor, Annals of Software Engineering (Kluwer), 2000-2002.
  • Associate Editor, IEEE Transactions on Knowledge and Data Engineering, 1994 - 1999.
  • Associate Editor, IEEE Transactions on Services Computing, 2008 – present.
  • Associate Editor, International Journal of Systems Integration (Kluwer), 1994-2002.
  • Associate Editor, International Journal of Web Services Research, 2003-present.
  • Associate Editor, International Journal of Software Engineering and Knowledge Engineering, 1990 - present.
  • Associate Editor, International Journal of Semantic Computing, 2007 - present.
  • Associate Editor, Journal of Ubiquitous Computing and Intelligence, 2005 – present.
  • Editor, Int’l Journal of Cognitive Informatics and Natural Intelligence, 2005 – present.
  • Editor, Encyclopedia of Computer Science and Engineering, Wiley Interscience, 2002-2009.
  • Associate Editor, International Journal of Software Science and Computational Intelligence (IJSSCI), 2009 - present.
  • Editor, Handbook on Software Engineering and Knowledge Engineering, 1999-2002.
  • Editor, Journal of the Chinese Institute of Engineers, 1997 - 2004.
  • Guest Co-Editor, ACM Transactions on Autonomous and Adaptive Systems, 2006.
  • Guest Co-Editor, Int'l Journal of Software Engineering and Knowledge Engineering, special issue on Software and Knowledge Support in Bioinformatics, April 2005.
  • Guest Editor, Annals of Software Engineering, special issue on Multimedia Software Engineering, 2001.
  • Guest Co-Editor, Int'l Journal of Software Engineering and Knowledge Engineering, special issue on Multimedia Software Engineering, 1999.
  • Guest Editor, Annals of Software Engineering, special issue on Real-Time Software Engineering, 1999.
  • Guest Editor, International Journal of Software Engineering and Knowledge Engineering, special issue on High-Assurance Systems, 1999.
  • Guest Editor, IEEE Transactions on Knowledge Engineering and Data Engineering, special issue on Dependability of A.I. Systems, Feb. 1995.
  • Guest Editor, International Journal on Software Engineering and Knowledge Engineering, special issue on A.I. Techniques for Software Engineering, Dec. 1992.

 

■ Honorary Conference/General Chair

 

  • IEEE Knowledge and Data Engineering Exchange Symposium, Taipei, 1998.
  • The ATLAS (Transdisciplinary-Transnational-Transcultural Biennial Meeting), Taichung, 2012.

 

■ Conference/General Chair (or Co-Chair)

 

  • The 21st IEEE International Conference on Web Services, Jun. 27 – Jul. 2, 2014, Alaska, USA
  • The National Computing Symposium, Taiwan, Dec 13-14, 2013
  • The 11th IEEE International Conference on Bioinformatics and Bioengineering, Taichung, Taiwan, Oct. 24-26, 2011.
  • The 11th IEEE Int’l Symposium on Multimedia, San Diego, California, Dec. 14-16, 2009.
  • The 9th IEEE Int’l Conference on Bioinformatics and Bioengineering, Taiwan, June 22-24, 2009.
  • The Third IEEE Asia-Pacific Services Computing Conference (APSCC 2008), Yilan, Taiwan, December 09-12, 2008.
  • The 1st IEEE Int’l Workshop on Multimedia, Information Privacy, Intelligent Computing Systems, Yilan, Taiwan, December 09-12, 2008.
  • The 2008 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, Taiwan, June 11-13, 2008.
  • The11th Conference on Integrated Design and Process Technology, Taiwan, June 1-6, 2008.
  • The 1st IEEE International Workshop on Ambient Semantic Computing, Taiwan, June 11-13, 2008.
  • The 9th IEEE Int’l Symposium on Multimedia, Taiwan, Dec. 10-12, 2007.
  • The 1st International Symposium on Creativity, Innovation, and Entrepreneurship (INSPIRE07), Taiwan, May 30 – June 1, 2007.
  • The 3rd IFIP International Conference on Ubiquitous Intelligence and Computing, Wuhan, China, September, 2006.
  • The 1st IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, Taiwan, June 5-7, 2006.
  • The 7th IEEE Int’l Symposium on Multimedia, Irvine, CA, Dec. 12-14, 2005.
  • The 16th IEEE Int’l Symposium on Software Reliability Engineering, Chicago, ILL., Nov. 8-11, 2005.
  • The 4th IEEE Int’l Conference on Cognitive Informatics, Irvine, CA, August 2005.
  • The 5th IEEE Int’l Symposium on Bioinformatics and Bioengineering, Taiwan, May 2004.
  • The 6th Conf. on Engineering Technology and Application of Chinese and Western Medicine, Taiwan, May 2003.
  • The 4th IEEE Multimedia Software Engineering Symposium, Irvine, CA, Dec. 2002.
  • 2002 Object-Oriented Technology and Application Workshop, Taiwan Oct. 2002.
  • National Information Security Conference, Taiwan, May 2002.
  • The 2nd IEEE Multimedia Software Engineering Workshop, Kyoto, Japan, 1998.
  • IEEE Knowledge and Data Engineering Exchange Workshop, Irvine, CA, 1997.
  • The IEEE International Conference on Tools with Artificial Intelligence, New Orleans, November 1994.
  • MACSTA Fall Forum, Mid-America Chinese Science and Technology Association, Lisle, ILL., Nov. 1993.

 

■ Program Chair (or Co-Chair)

 

  • The 5th IEEE International Symposium on Autonomous Decentralized Systems, Richardson, Texas, 2001.
  • The 3rd IEEE High-Assurance Systems Engineering Symposium, Washington D.C., 1998.
  • The 5th IEEE International Conference on Tools with Artificial Intelligence, Boston, 1993.
  • The 13th IEEE International Computer Software and Applications Conference, Orlando, Florida, 1989.

 

■ Member of Steering Committee or Advisory Committee

 

  • Member, Steering Committee, The 11th IEEE International Conference on Bioinformatics and Bioengineering, Taichung, Taiwan, Oct. 24-26, 2011.
  • Chair, Steering Committee, The 2010 IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing, Newport Beach, CA, June 7-9, 2010.
  • Member, Steering Committee, The IEEE International Conference on Multimedia and Expo (ICME), Singapore, July 21-23, 2010.
  • Member, International Advisory Committee, The 5th International Conference on Future Information Technology (FutureTech2010), Jeju, Korea, May 21-23, 2010.
  • Member, Steering Committee, The IEEE Technical Committee on Service Computing, IEEE Computer Society, 2009.
  • Member, Advisory Committee, 2009 Object-Oriented Technology and Application Workshop, Taiwan, Nov. 2009.
  • Member, Technical Steering Committee, The IEEE International Conference on Web Services, Los Angels, July 6-10, 2009.
  • Chair, Steering Committee, The 10th IEEE International Symposium on Multimedia, Berkeley, CA, December 15-17, 2008.
  • Member, International Advisory Committee, Int’l Computer Symposium, Taipei, Taiwan, Nov. 13-15, 2008.
  • Member, Steering Committee, The 8th IEEE Int’l Conference on Bioinformatics and Bioengineering, Athens, Greece, Oct. 8-10, 2008.
  • Member, Technical Advisory Committee, The 2008 International Conference on Web Services, Beijing, China, September 23-26, 2008.
  • Member, Steering Committee, The 2nd IEEE International Conference on Semantic Computing, Santa Cruz, CA, August 4-7, 2008.
  • Member, Technical Steering Committee, The 2008 IEEE International Conference on Services Computing, Hawaii, July 8-11, 2008.
  • Member, Steering Committee, The 5th IFIP International Conference on Ubiquitous Intelligence and Computing (UIC08), Oslo, Norway, June 23-25, 2008.
  • Member, International Advisory Committee, The 22nd IEEE International Conference on Advanced Information Networking and Applications (AINA2008), Okinawa, Japan, March 25 – 28, 2008.
  • Member, International Advisory Committee, the 3rd International Symposium on Ubiquitous Application and Security Service (UASS08), Okinawa, Japan, March 25-28, 2008.
  • Chair, Steering Committee, The 1st IEEE International Conference on Semantic Computing, Irvine, CA, September 17-19, 2007.
  • Member, Advisory Committee, The IEEE International Workshop on Web 2.0 and Multimedia-Enabled Education, Taiwan, Dec. 2007.
  • Member, Steering Committee, The 2nd International Workshop on Ubiquitous Applications and Security Service (UASS07), Kuala Lumpur, Malaysia, August 26-30, 2007.
  • Member, Steering Committee, The 4th IFIP International Conference on Ubiquitous Intelligence and Computing, Hong Kong, July 11-13, 2007.
  • Member, Steering Committee, The 4th IFIP International Conference on Autonomic and Trusted Computing, Hong Kong, July 11-13, 2007.
  • Member, International Advisory Committee, The 21st IEEE International Conference on Advanced Information Networking and Applications (AINA2007), Niagara Falls, Canada, May 21-23, 2007.
  • Member, Technical Advisory Committee, the 2006 International Conference on Services Computing, Chicago, Illinois, September 18-22, 2006.
  • Member, Technical Advisory Committee, the 2006 International Conference on Web Services, Chicago, Illinois, September 18-22, 2006.
  • Member, International Advisory Committee, The 20th IEEE International Conference on Advanced Information Networking and Applications (AINA2006), Vienna, April 18- 20, 2006.
  • Member, Steering Committee, IEEE Int’l Symposium on Multimedia, San Diego CA, Dec. 12-14, 2006.
  • Member, International Advisory Committee, The 2nd International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), Nagasaki, Japan, Dec. 6-7, 2005.
  • Member, Technical Advisory Committee, the 2005 International Conference on Web Services, Orlando, Florida, July 11-15, 2005.
  • Member, International Advisory Committee, IEEE International Conf. on Multimedia and Expo., Taipei, 2004.
  • Member, Advisory Board, International Journal of Fuzzy Systems, 2003-present.
  • Member, Technical Advisory Committee, the 2003 International Conference on Web Services, Las Vegas, Nevada, June 23-26, 2003.
  • Member, Advisory Board, Tamkang Journal of Science and Engineering, 2002 - present.
  • Member, Steering Committee for IEEE Transactions on Multimedia, 2000-2003.
  • Member, Track Advisory Committee, 1994 ACM Symposium on Applied Computing (SAC '94), 1994.
  • Member, Steering Committee, IEEE Int'l Knowledge and Data Engineering Workshop, 1997- 1998.
  • Member, Steering Committee, IEEE Int'l Conference on Tools with A.I., 1994-present.

 

■ Other Committee Activities

 

  • Session Organizer, the 11th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC08), May 5-7, 2008.
  • Judge, the Illinois Junior Academy of Science, March 14, 2007.
  • Track Chair, IEEE International Conf. on Multimedia and Expo., Baltimore, Maryland, July 6-9, 2003.
  • Co-Organizer, 3rd Intelligent Software Engineering Workshop, in conjunction with IEEE Int'l Conference on Software Engineering, Ireland, 2000.
  • Track Chair, The 4th World Congress on Integrated Design and Process Technology, Turkey, 1999.
  • Session Organizer, Panel session on "E-Commerce," IEEE Knowledge and Data Engineering Exchange Workshop, 1998.
  • Track Chair, The 2nd World Congress on Integrated Design and Process Technology, Austin, TX, 1997.
  • Program Vice-Chair, 19th IEEE International Computer Software and Applications Conference, Dallas, August, 1995.
  • Tutorial Chairman, IEEE International Conference on Requirements Engineering, Colorado, April 1994.
  • Tutorial Chairman, International Conference on Parallel and Distributed Systems, December 1993.
  • Judge of IEEE Richard E. Merwin Scholarships, 1993.
  • Tutorial Co-Chairman, IEEE Int'l Computer Symposium, Dec. 1992.
  • Workshop Organizer, 1992 Real-Time Systems Workshop, Taipei, 1992.
  • Session Organizer, Panel session on "Is Artificial Intelligence the Solution to Software Engineering" 1991 Int'l Conf. on Tools for A.I., San Jose, CA, 1991.
  • Session Organizer, Paper session on "Artificial Intelligence and Software Engineering" 1990 Int'l Conf. on Tools for A.I., Fairfax, VA, 1990.
  • Workshop Organizer, 1990 Software Engineering Workshop, Academia Sinica, Taipei, 1990.
  • Session Organizer, Panel session on "Critical Issues of Real-Time Software Systems" COMPSAC'89, Orlando, Florida.
  • Finance Chairman, IEEE Int'l Computer Software and Applications Conference, 1986-1988.
  • Member, Conference Committee, IEEE Int'l Computer Software and Applications Conference, 1983, 1985.

 

■ Member of Technical Program Committee

 

  • The 4th IEEE Asia-Pacific Services Computing Conference (APSCC 2009), Singapore, December 07-11, 2009.
  • 1st IEEE Int’l Conference on Cloud Computing, Bangalore, India, Sept. 21-25, 2009.
  • The 21st International Conference on Software Engineering and Knowledge Engineering, Boston, July 1-3, 2009.
  • 8th IEEE Int’l Conference on Cognitive Informatics, Hong Kong , June 15-17, 2009.
  • 9th IEEE Int'l Conf. on Autonomous Decentralized Systems, Greece, March 23-25, 2009.
  • 7th IEEE Int’l Conference on Cognitive Informatics, Stanford University, CA , August 14-16, 2008.
  • The First IEEE International Workshop on Cyber-Physical Systems, Sponsored by National Science Foundation of the United States, in conjunction with IEEE ICDCS 2008, Beijing, China, June 17-20, 2008.
  • IFIP International Conference on Embedded and Ubiquitous Computing, Taipei, Dec. 2007.
  • 6th IEEE Int’l Conference on Cognitive Informatics, Lake Tahoe, CA , August 6-8, 2007.
  • International Conference on Parallel Processing, Columbus, Ohio, August 14-18, 2006.
  • The 2nd International Conference on Innovations and Real-time Applications of Distributed Senor Networks, Washington D.C. October 18-19, 2006.
  • IEEE International Conference on Web Services, Chicago, Sept. 18-22, 2006.
  • 5th IEEE Int’l Conference on Cognitive Informatics, Beijing, July 17-19, 2006.
  • 17th IEEE Int’l Symposium on Software Reliability Engineering, North Carolina, Nov. 6-10, 2006.
  • International Conference on Software Engineering and Knowledge Engineering, 1993, 1994, 1995, 2000, 2004, 2005, 2006.
  • 5th Int’l Conference on Quality Software, Melbourne, Australia, Sept. 19-21, 2005.
  • 2005 IEEE International Conf. on Multimedia and Expo., Amsterdam, 2005
  • 2005 IEEE International Collaborative Computing, Cape Code, June 2005.
  • 2005 IEEE International Service Computing, Orlando, July 12-15, 2005.
  • IEEE Symposium on High-Assurance Systems Engineering, 2004.
  • IEEE International Conference on Electronic Commerce (CEC’03), Newport Beach, California, June 2003.
  • 2003 International Conference on Web Services, Las Vegas, Nevada, June 23 - 26, 2003.
  • SEKE2003 15th International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, July 1-3, 2003
  • 15th IEEE International Conference on Tools with Artificial Intelligence, Sacramento, California, November 3-5, 2003.
  • 11th World-Wide-Web Conference, Hawaii, 2002.
  • 4th IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems(WECWIS 2002), Newport Beach, California, June 2002
  • 14th International Conference on Software Engineering and Knowledge Engineering (SEKE’02), Ischia, Italy, July 15-18, 2002.
  • IEEE International Computer Software and Applications Conference, 1995, 1996, 1997, 2000, 2001.
  • The Second Workshop on Agent-Oriented Software Engineering in conjunction with 5th International Conference on Autonomous Agents (Agents 2001), Montreal, Canada, May/June 2001.
  • First International Workshop on Internet Bots: Systems and Applications
  • (INBOSA2001)" in conjunction with the 12th International Conference on Database and Expert Systems Applications, Munich, Germany, September 3-7, 2001.
  • IDPT 5th World Congress on Integrated Design and Process Technology, Dallas, 2000.
  • 3rd IEEE Symposium Application-specific Systems and Software Engineering and Technology (ASSET'00), Richardson, Texas, March 24-25, 2000.
  • 3rd IEEE Knowledge and Data Engineering Exchange Workshop, Evanston, IL, 2000.
  • International Workshop on Agent-Based Information Systems (ABIS'2000)
  • Greenwich, United Kingdom, September 4-8, 2000.
  • The First International Workshop on Agent-Oriented Software Engineering(AOSE-2000), Limerick, Ireland, June 10, 2000.
  • IEEE International Conference on Data Engineering, 1999.
  • IEEE Int'l Conf. on Autonomous Decentralized Systems, 1999.
  • IEEE Symposium on Object-Oriented Real-Time Computing, 1998.
  • IEEE Workshop on Object-Oriented Dependable Real-Time Systems, 1997.
  • IEEE High-Assurance Systems Engineering Workshop, 1996, 1997.
  • IEEE 2nd Requirement Engineering Symposium, 1996.
  • International Conference on Artificial Intelligence, 1996.
  • IEEE International Conference on Data Engineering, 1995.
  • 4th ACM Information and Knowledge Management Conference, 1995.
  • IEEE International Parallel and Distributed Processing Conference, 1994.

 

　

Invited Keynote Speech

 

  • Distinguished Speaker, "Knowledge-Based Software Engineering for Communication Software," Advanced Communication Research Laboratory, Kyoto, Japan, Oct., 1994.
  • Tamkang Chair Distinguished Speaker, "Engineering of Intelligent Systems," Tamkang University, Taiwan, May 1999.
  • Keynote Speaker, "Engineering of Intelligent Agent Systems," The 11th IEEE International Conference on Tools with Artificial Intelligence, Chicago, ILL., Nov. 1999.
  • Distinguished Speaker, "Specification and Verification of Agent-Based Systems," University of Texas at Dallas, Nov. 1999.
  • Distinguished Speaker, "Knowledge-Based Software Systems," University of Wollongong, Australia, August 2000.
  • Keynote Speaker, "Engineering of Agent-Based Systems," International Computer Symposium, Taiwan, Dec. 2000.
  • Distinguished Speaker in Software Engineering, "Compositional Approach for Modeling and Verification of Software Systems," Southern Methodist University, March 2001.
  • Keynote Speaker, "Compositional Modeling and Verification of Software systems," Object-Oriented Software Technology and Applications Workshop, Oct. 2001.
  • Keynote Speaker, "Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems," The 1st IEEE Int’l Conference on Cognitive Informatics, Calgary, Alberta, Canada, August 19-20, 2002.
  • Distinguished Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," National Chung Cheng University, Oct. 2002.
  • Keynote Speaker, "New Areas of Applied Artificial Intelligent Research," The 14th IEEE Int’l Conf. on Tools with Artificial Intelligence, Washington D.C., Nov. 2002.
  • Keynote Speaker, "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," Conf. on Sun Yat-sen Philosophy and Modern Society: Managerial Science’s Practice and Application, Dec. 2002.
  • Keynote Speaker, “Applications of A.I. Research in Bioinformatics,” World Congress on Integrated Design and Process Science, Austin, Texas, Dec. 2003.
  • Keynote Speaker, “Attacks and Countermeasures in Software System Security,” IEEE Int’l Symposium on E-Commerce for Dynamic E-Business, Beijing, Sept. 2004.
  • Keynote Speaker, “Intrusion Detection for Sensor Networks,” The 19th IEEE Advanced Information Networking and Application Conference, Taipei, March 29-30, 2005.
  • Distinguished Speaker, "Transdisciplinary Research and Education in Health Science, Management, and Information Technology," the 9th Conference on Integrated Design and Process Technology, San Diego, CA, June 25-28, 2006.
  • Distinguished Speaker, “Challenges and Opportunities of Ubiquitous Computing Paradigm,” Forum on Future Computing – Transparent Computing and Active Services, Tsinghua University, Beijing, June 23-25, 2007.
  • Keynote Speaker, "Opportunities and Challenges of Sensor Networks Computing," National Computer Symposium, Taiwan, Dec. 20-21, 2007.
  • Keynote Speaker, “A New Frontier: Software Engineering for Cyber Physical Systems,”the 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
  • Keynote Speaker, “A New Frontier: Cyber Physical Systems,” the 2009 Joint Conference on Pervasive Computing, December 3-5, 2009, Taipei, Taiwan, 2009.
  • Distinguished Speaker, “Green Computing,” Annual Conference on Transdisciplinary & Transnational Transcultural, May 23-27, Georgetown, Texas, May 23-27, 2010.

 

　

Invited Talks

 

  • "A Requirement Theory of New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, Oct. 1987.
  • "A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," University of Florida, Gainesville, July 1989.
  • "A Frame-and-Rule Oriented Requirements Specification Language for New Software Engineering Paradigm," Institute of Information Industry, Taiwan, July 1989.
  • "Reverse Engineering," Institute of Information Industry, Taiwan, July 1989.
  • "Real-Time Software Testing and Debugging," one-week seminar at National Chiao-Tung University, Taiwan, August 1989.
  • "A Frame-and-Rule Based System for Software Development Using an Integrated Software Engineering Paradigm," George Mason University, Faifax, VA, Jan. 1990.
  • "FRORL: A Requirement Language for New Software Engineering Paradigms," Switching System Group, Fujitsu Laboratory, Kawasaki, Japan, March 1990.
  • "On Real-Time Distributed Monitoring," Tung-Hai University, May 1990.
  • "Artificial Intelligence and Software Engineering," Academia Sinica, Taiwan, Aug. 1990.
  • Tutorial on "Artificial Intelligence for Software Engineering," 1990 IEEE Int'l Conference on Tools for A.I., Fairfax, VA, Nov. 1990.
  • Tutorial on "Artificial Intelligence Technique for Software Engineering,"1991 Int'l Conference on Software Engineering and Knowledge Engineering, Skokie, IL, June 1991.
  • "A Distributed Cooperative Agents Architecture for Software Development," IJCAI Workshop on Intelligent and Cooperative Information Systems, University of Technology, Sydney, Australia, Aug. 1991.
  • "A.I./K.E. Techniques for Software Engineering" Fujitsu International Software Symposium, Fujitsu Limited, Kawasaki, Japan, Sept. 1991.
  • "Artificial Intelligence for Software Engineering," National Taiwan University, Taipei, Taiwan, Sept. 1991.
  • "On Distributed Real-Time Systems Monitoring, Visualization, and Debugging," Chung-Shan Institute of Science and Technology, Long-Tang, June 1992.
  • "Visualization and Debugging of Distributed Real-Time Systems," 1992 International Conference on Automation, Robotics, and Computer Vision, Singapore, Sept. 1992.
  • "Visualization and Debugging of Distributed Real-Time Systems," Hitachi, Japan, March 1993.
  • "Knowledge-Based Approach to the Specification, Analysis, and Transformation of Real-Time Distributed Systems," Fujitsu Lab, Kawasaki, Japan, April 1993.
  • "A Requirements Language for Autonomous Decentralized Systems," Hitachi System Plaza, Japan, April 1993.
  • "Knowledge-Based Software Engineering," USAF Rome Laboratory, Jan. 1994.
  • "Knowledge-Based Software Design for Real-Time Distributed Systems," University of Toronto, Toronto, Ontario, Jan. 1994.
  • "Knowledge-Based Approach for the Specification, Analysis, and Transformation of Real-Time Distributed Systems," University of California at Berkeley, CA, Feb. 1994.
  • "Knowledge-Based Software Requirements Specification Language," State University of New York at Buffalo, Buffalo, New York, May 1994.
  • "Knowledge-Based Software Engineering for Real-Time Distributed Systems," University of Texas at Austin, June 1994.
  • Tutorial on "Knowledge-Based Software Development for Real-Time Distributed Systems,"International Computer Symposium, National Chiao-Tung University, Hsinchu, Taiwan, Dec. 1994.
  • "Software Technology in National Information Infrastructure," National Development Symposium, Taipei, Taiwan, June 1995.
  • "A Specification-Based Software Architecture," Naval Postgraduate School, Monterey, CA, Sept. 1995.
  • "Research Issues in Software Architecture Design," University of Houston, Houston, Texas, Oct. 1995.
  • Tutorial on "A Knowledge-based Approach to Software Architecture," the 7th IEEE Tools with Artificial Intelligence Conference, Washington, D.C., Nov. 1995.
  • "Knowledge-Based Software Architecture," National Central University, May 1997.
  • "Formal Verification of Software Architecture," University of Southern California, Feb. 1997.
  • "Compositional Verification," NSF Workshop on Foundation of Software Systems, Tulane University, Dec. 1997.
  • "E-Commerce," IEEE Knowledge and Data Engineering Exchange Workshop, Nov. 1998.
  • "Compositional Verification of Software Architecture," NSF/ARO Workshop on Evolutionary Software Construction, Italy, 2000.
  • "Compositional Approach for Modeling and Verification of Software Systems," University of Toronto, Canada, Dec. 2000.
  • "Specification and Verification of Software Agents," Academia Sinica, Taipei, Oct. 2000.
  • "Transdisciplinary Research and Education in Healthcare, Management, and Information Technology," China Medical University Hospital, Dec. 2002
  • “A Framework for Adaptive Intrusion Detection Systems,” NSF/Industry Software Engineering Research Center, Ball State Univeristy, Muncie, IN, Nov. 16-17, 2005.
  • “Fuzzy Model Tuning for Intrusion Detection Systems,” The 3rd IFIP International Autonomic and Trusted Computing Conference, Wuhan, China, Sept. 2006.
  • “Personal Sense of Persistent Fundamental Research Enquiry,” Stanford University, Kozmetsky Global Collaboratory: Tenth Anniversary Celebration, Workshop on KGC Community’s Shared Research Aspirations, Palo Alto, CA, May 12-18, 2007.
  • “Global Network for Transdisciplinary Collaboration,” 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, June 1-6, Taichung, Taiwan, 2008.
  • “A Framework of Machine Learning based Intrusion Detection for Wireless Sensor Networks,” The 2nd IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing (SUTC2008), Taichung, Taiwan, June 11-13, 2008.

(2014-01-27 updated)

     ■ 資訊捷徑

     ---------------------------------------------------

活動 • 生活

 • 校園公告 • 電子報 • 活動視訊

 • 亞大電視台 • 活動快訊

 • 亞大附屬醫院  • 亞大現代美術館

  

 

社群 • 國際

 • 亞大Facebook  • Twitter

 • YouTube  • Instagram • Linkedin

 • 亞大學生會 • 校友會 • 海外中心

  

 

學習 • 生涯

  • 新生學籍登錄  •  學生資訊系統

  • 跨域學程  • 獎助學金  • 生涯就業
  • 諾貝爾大師論壇  • 諮商輔導

   

 

校務 • 資源

  • 評鑑專區  • 財務專區  • 法規彙編

  • 網路資源  • 校園入口   • 網路郵局
  • 行事曆  • 捐款專區   • 教師學研產

   

校園 • 資訊

  • 特色研究中心    • 學術研討會 

  • 圖書館   • 重要連結   • 緊急電話 
  • 性平會   • 訪校交通與導覽 

     ■ 認識亞大

     ---------------------------------------------------
• 簡介與目標 -----------

  • 校長歡迎詞

• 校長

  • 亞大快覽

 • 教育目標

  • 學校概況

 • 校務發展要點
  • 亞大影音簡介    1   2   3   4   5
• 榮譽與成果 -----------

  • 辦學重要成果

• 典雅校園

  • 師生重要榮譽

• 名譽博士頒授
• 組織與校史 ----------

  • 董事會

• 行政組織
  • 歷任校長 • 創辦人

  • 校徽

   • 校訓  
  • 校歌   • 亞大CIS  
  • 創校紀要 • 校史

  • 國際姊妹校

• 國內姊妹校
• 相關資訊 ----------
  • 世界參展榮譽榜 • 傑出師資
  • 特別報導：「亞大入榜四大全球大學排行榜」
 

    美術館左前妮基桑法勒雕塑：海豚上的娜娜

    (美術館前妮基桑法勒雕塑：海豚上的娜娜)