Jeffrey J.P. Tsai(蔡進發)
Status Specially appointed teacher
Name Jeffrey J.P. Tsai(蔡進發)
Email president@asia.edu.tw
Position Chair Professor, President, IEEE Fellow
Education Ph.D. in Electrical Engineering and Computer Science, Northwestern University, USA
Extension 1007
Research Areas Artificial Intelligence, Biological data, Software Engineering, Distributed Systems
Websites Web page
Experience Founding President of Asia University
Advisor, Institute for Information Industry
Member, U.S. DARPA Information Science and Technology (ISAT) Study on Complex System
Adjunct Professor, Tulane University, USA
Fellow of IC2 at the University of Texas at Austin, USA
Visiting Scholar, University of California at Berkeley, USA
Visiting Professor, Stanford University, USA
Professor, University of Illinois, USA
Year Paper Title
2014 王昭能(Charles C.N. Wang)、張培均(Pei-Chun Chang)、吳家樂(Ng, Ka-Lok)、許承瑜(Sheu, Phillip C.Y.)、蔡進發(JEFFREY J. P. TSAI), A Model Comparison Study of the Flowering Time Regulatory Network in Arabidopsis, BMC Systems Biology
2013 戴維良(Wei-Liang Tai)、王昭能(Charles C.N. Wang)、許承瑜(Sheu, Phillip C.Y.)、蔡進發(Jeffrey J. P. Tsai), Data Hiding in DNA for Authentication of Plant Variety Rights, Journal of Electronic Science and Technology, vol.11 no.1 pp.38-43
2013 J. W. Lu(J. W. Lu)、J. G. Chang(J. G. Chang)、K. T. Yeh(K. T. Yeh)、R. M. Chen(R. M. Chen)、蔡進發(Jeffrey J. P. Tsai)、Su, W. W(Su, W. W)、胡若梅(Rouh-Mei Hu), Clinical Implications of Deregulated CDK4 and Cyclin D1 Expression in Patients with Human Hepatocellular Carcinoma, MEDICAL ONCOLOGY, vol.30 pp.379-389
2013 N.K.(Nilubon Kurubanjerdjit)、C.H. Huang(Chien-Hung Huang)、李育良(Yuliang Lee)、蔡進發(JEFFREY J. P. TSAI)、吳家樂(Ng, Ka-Lok), Prediction of microRNA-regulated protein interaction pathways in Arabidopsis using machine learning algorithms, Computers in Biology and Medicine
2013 N. K.(Nilubon Kurubanjerdjit)、蔡進發(JEFFREY J. P. TSAI)、許承瑜(Sheu, Phillip C.Y.)、吳家樂(Ng, Ka-Lok), The Prediction of Protein-Protein Interaction of A. Thaliana and X. Campestris Pv. Campestris Based on Protein Domain and Interolog Approaches, Plant Omics
2012 Yang, Tsuey-(Yang, Tsuey-Ching)、Tzu-Fan Che(Tzu-Fan Che)、蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu), AmpG is required for the BlaXc beta-lactamase expression in Xanthomonas campestris pv. campestris str.17, FEMS MICROBIOLOGY LETTERS
2012 Jeng-Wei Lu(Jeng-Wei Lu)、Jan-Gowth Ch(Jan-Gowth Chang)、Kun-Tu Yeh(Kun-Tu Yeh)、Rong-Ming Ch(Rong-Ming Chen)、蔡進發(Jeffrey J. P. Tsai)、Wei-Wen Su(Wei-Wen Su)、胡若梅(Rouh-Mei Hu), Increased expression of PRL-1 protein correlates with shortened patient survival in human hepatocellular carcinoma, Clinical & Translational Oncology, vol.14 pp.287-293
2011 Stephen J. H(Stephen J. H. Yang)、Jia Zhang(Jia Zhang)、Addison Y. S(Addison Y. S. Su)、蔡進發(Jeffrey J. P. Tsai)*, A Collaborative Multimedia Annotation Tool for Enhancing Knowledge Sharing in CSCL, INTERACTIVE LEARNING ENVIRONMENTS, vol.19 no.1 pp.45-62
2011 R. M. Chen(R. M. Chen)、M. T. Hou(M. T. Hou)、N. W. Chang(N. W. Chang)、Y. T. Chen(Y. T. Chen)、蔡進發(Jeffrey J. P. Tsai)*, Cumulative Spectral Repeat Finder (CSRF): A Spectral Approach for Identifying the Length of Repeats in DNA Sequences, International Journal on Artificial Intelligence Tools, vol.20 no.1 pp.179-194
2011 Tsuey-Ching(Tsuey-Ching Yang)、Mei-Jung Tsa(Mei-Jung Tsa)、蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu), Induction of a secretable beta-lactamase requires a long lag time in Xanthomonas campestris pv. campestris str. 17, RESEARCH IN MICROBIOLOGY
2011 蕭震緯(Chen-Wei Hsiao)、胡若梅(Rouh-Mei Hu)、Wei-Liang Ta(Wei-Liang Tai)、Rong-Ming Ch(Rong-Ming Chen)、蔡進發(Jeffrey J. P. Tsai), Object Relational Programming of Biomedical Images, IEEE BIBE 2011
2011 Jeng-Wei Lu(Jeng-Wei Lu)、Jan-Gowth Ch(Jan-Gowth Chang)、Kun-Tu Yeh(Kun-Tu Yeh)、Rong-Ming Ch(Rong-Ming Chen)、蔡進發(Jeffrey J. P. Tsai)、Wei-Wen Su(Wei-Wen Su)、胡若梅(Rouh-Mei Hu), Increased expression of PRL-1 protein correlates with shortened patient survival in human hepatocellular carcinoma, Clinical & Translational Oncology, vol.14 pp.287-293
2011 Chao-Neng Wa(Chao-Neng Wang)、吳家樂(Ng, Ka-Lok)、Yu-Ching Che(Yu-Ching Chen)、蔡進發(Jeffrey J. P. Tsai)*, Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model, IEEE BIBE 2011
2011 David A. Hec(David A. Hecht)、Charles C.N.(Charles C.N. Wang)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai)*, Molecular Modeling Studies of AmpR Mediated AmpC β-Lactamase Repression, IEEE BIBE 2011
2011 Yu-Liang Lee(Yu-Liang Lee)、Jie-Wei Weng(Jie-Wei Weng)、Wen-Chin Chi(Wen-Chin Chiang)、Yi-Wen Lin(Yi-Wen Lin)、吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai)、Chi-Ying Hua(Chi-Ying Huang), Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions caused by Alternative Splicing, IEEE BIBE 2011
2011 張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai)*, Ergonomic Designs Based on Musculoskeletal Models, IEEE BIBE 2011
2011 Jing-Gung Ch(Jing-Gung Chung)、蔡進發(Jeffrey J. P. Tsai)、Chien-Yih Li(Chien-Yih Lin)、Yang-Chia Sh(Yang-Chia Shih)、Jin-Shih Che(Jin-Shih Chen)、范宗宸(Ming-Jen Fan), The application of molecular markers to identify edible fungi-A case study of Tremella fuciformis, IEEE BIBE 2011
2011 范宗宸(Ming-Jen Fan)、Su-May Yu(Su-May Yu)、Tzu-Chieh Hu(Tzu-Chieh Hung)、Wei-Quan Che(Wei-Quan Chen)、Yue-Ie Hsing(Yue-Ie Hsing)、Hsin-Li Lin(Hsin-Li Lin)、Chia-Cheng L(Chia-Cheng Liu)、Jing-Gung Ch(Jing-Gung Chung)、蔡進發(Jeffrey J. P. Tsai), TTRSIS: A cloud computing platform for rice functional genomics research through a reverse genetics approach, IEEE BIBE 2011 pp.221-227
2010 Jeng-Wei Lu(Jeng-Wei Lu)、Jan-Gowth Ch(Jan-Gowth Chang)、Kun-Tu Yeh(Kun-Tu Yeh)、Rong-Ming Ch(Rong-Ming Chen)、蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)*, Decreased expression of p39 is associated with a poor prognosis in human hepatocellular carcinoma, MEDICAL ONCOLOGY
2010 S. Yang(S. Yang)、J. Zhang(J. Zhang)、A. Sue(A. Sue)、蔡進發(Jeffrey J. P. Tsai), Personalized Annotation Management System: A Web 2.0 Collaborative e-Learning Tool through Knowledge Sharing, IEEE Transactions on Knowledge and Data Engineering
2010 Vineela Deva(Vineela Devarashetty)、蔡進發(Jeffrey J. P. Tsai)、Lu Ma(Lu Ma)、Du Zhang(Du Zhang), Modeling a Secure Sensor Network Using an Extended Elementary Object System, International Journal of Cognitive Informatics and Natural Intelligence, vol.4 no.3 pp.1-17
2010 Angus F.M. H(Angus F.M. Huang)、Stephen J.H.(Stephen J.H. Yang)、Minhong Wang(Minhong Wang)、蔡進發(Jeffrey J. P. Tsai), Improving Fuzzy Knowledge Integration with Particle Swarm Optimization, EXPERT SYSTEMS WITH APPLICATIONS, vol.37 no.12 pp.8770-8783
2010 S. Ikeda(S. Ikeda)、P. Sheu(P. Sheu)、蔡進發(Jeffrey J. P. Tsai), A Model for Object Relational OLAP, International Journal on Artificial Intelligence Tools, vol.19 no.5 pp.551-595
2010 蔡進發(Jeffrey J. P. Tsai)、許承瑜(Sheu, Phillip C.Y.)、蕭震緯(Chen-Wei Hsiao), Special Issue on Selected Papers from the 9th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2009) PREFACE, International Journal on Artificial Intelligence Tools, vol.19 no.3 pp.233-234
2009 S. Yang(S. Yang)、J. Zhang(J. Zhang)、L. Lin(L. Lin)、蔡進發(Jeffrey J. P. Tsai), Improving Peer-to-Peer Performance through Intelligent Social Search, EXPERT SYSTEMS WITH APPLICATIONS, vol.36 no.7 pp.10312-10324
2009 S. Yang(S. Yang)、J. Zhang(J. Zhang)、蔡進發(Jeffrey J. P. Tsai)、A. Huang(A. Huang), SOA-based Content Delivery Model for Mobile Internet Navigation, International Journal on Artificial Intelligence Tools, vol.18 no.1 pp.141-161
2009 Y. Wang(Y. Wang)、W. Kinser(W. Kinser)、J. Anderson(J. Anderson)、D. Zhang(D. Zhang)、Y. Yao、P. Sheu(P. Sheu)、蔡進發(Jeffrey J. P. Tsai)、W. Pedrycz(W. Pedrycz)、J. Latombe(J. Latombe)、L. Zadeh(L. Zadeh)、D. Patel(D. Patel)、C. Chan(C. Chan), A Doctrine of Cognitive Informatics, Fundamenta Informaticae, vol.90 no.3 pp.203-228
2009 蔡進發(Jeffrey J. P. Tsai)、A. Liu(A. Liu), Experience on Knowledge-based Software Engineering: A Logic-based Requirements Language and its Industrial Applications, Journal of Systems and Software, vol.82 no.10 pp.1578-1587
2008 L. Ma(L. Ma)、蔡進發(Jeffrey J. P. Tsai), Formal Modeling and Analysis of Secure Mobile Agent Systems, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, vol.38 no.1 pp.180-196
2008 Zhenwei Yu(Zhenwei Yu)、蔡進發(Jeffrey J. P. Tsai)、Thomas J. We(Thomas J. Weigert), An Adaptive Automatically Tuning Intrusion Detection System, ACM Transactions on Autonomous and Adaptive Systems, vol.3 no.3
2007 C.H. Huang(C.H. Huang)、J.F. Fang(J.F. Fang)、蔡進發(Jeffrey J. P. Tsai)、K.L. Ng(K.L. Ng), Topical Robustness of the Protein-protein Interaction Networks, Lecture Notes in Bioinformatics, vol.4023 pp.166-177
2007 蔡進發(Jeffrey J. P. Tsai), Sensor Networks, Ubiquitous and Trustworthy Computing, International Journal of Distributed Sensor Networks, vol.3 no.2 pp.135-136
2007 S.P. Ren(S.P. Ren)、Y. Yu(Y. Yu)、K. Kwiat(K. Kwiat)、蔡進發(Jeffrey J. P. Tsai), A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments, International Journal of Distributed Sensor Networks, vol.3 no.2 pp.175-199
2007 Shangping Re(Shangping Ren)、Yue Yu(Yue Yu)、Nianen Chen(Nianen Chen)、蔡進發(Jeffrey J. P. Tsai)、Kevin Kwiat(Kevin Kwiat), The Role of Roles in Supporting Reconfigurability and Fault Localizations for Open Distributed and Embedded Systems, ACM Transactions on Autonomous and Adaptive Systems, vol.2 no.3
2006 Z. Yu(Z. Yu)、蔡進發(Jeffrey J. P. Tsai), An Efficient Intrusion Detection System using Boosting -Based Learning Algorithm, International Journal of Computer Applications in Technology, vol.27 no.4 pp.223-231
2006 H.W. Hsiao(H.W. Hsiao)、W.H. Hsiao(W.H. Hsiao)、C.K. Hsu(C.K. Hsu)、蔡進發(Jeffrey J. P. Tsai), A Novel Feature with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment, Asian Journal of Health and Information Sciences, vol.1 no.3 pp.261-275
2006 蔡進發(Jeffrey J. P. Tsai), Special issue on bioinformatics - Preface, International Journal on Artificial Intelligence Tools, vol.15 no.5 pp.693-694
2006 Z. Yu(Z. Yu)、蔡進發(Jeffrey J. P. Tsai), Fuzzy model tuning for Intrusion Detection Systems, International Journal on Artificial Intelligence Tools, vol.15 no.5 pp.693-694
2006 吳家樂(Ng, Ka-Lok)、C. H. Huang(C. H. Huang)、P. H. Lee(P. H. Lee)、J. F. Fang(J. F. Fang)、蔡進發(Jeffrey J. P. Tsai), Modular structures and robustness of protein networks, International Journal on Artificial Intelligence Tools, vol.15 no.2 pp.309-322
2006 W.F. Huang(W.F. Huang)、R.M. Chen(R.M. Chen)、R.M. Hu(R.M. Hu)、蔡進發(Jeffrey J. P. Tsai), Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm, Asian Journal of Health and Information Sciences, vol.1 no.1 pp.122-133
2006 H.K. Chen(H.K. Chen)、C.S. Fahn(C.S. Fahn)、蔡進發(Jeffrey J. P. Tsai)、M. B. Lin(M. B. Lin), A Novel Cache-based Approach to Large Polygonal Mesh Simplification, Journal of Information Science and Engineering, vol.22 no.4 pp.843-861
2006 Y.K. Cheng(Y.K. Cheng)、C.H. Lin(C.H. Lin)、W. C. Chang(W. C. Chang)、G. Y. Hwang(G. Y. Hwang)、S.W. Tsai(S.W. Tsai)、L. Wan(L. Wan)、M. H. Tsai(M. H. Tsai)、J. J. P. Tsa(J. J. P. Tsai)、F. J. Tsai(F. J. Tsai), Increased Prevalence of Interleukin-1 Receptor Antagonist Gene Polymorphism in Patients With Chronic Rhinosinusitis, ARCHIVES OF OTOLARYNGOLOGY-HEAD & NECK SURGERY, vol.132 pp.285-290
2005 C.C. Lee(C.C. Lee)、R.M. Chen(R.M. Chen)、蔡進發(Jeffrey J. P. Tsai), A Bioinformatics Approach for Predicting the Lengths of Motifs, 健康管理學刊, vol.3 no.2 pp.179-187
2005 R.M. Chen(R.M. Chen)、F. M. Liu(F. M. Liu)、蔡進發(Jeffrey J. P. Tsai), A Software Architecture for Finding Motifs using Genetic Algorithm, International Journal of Software Engineering and Knowledge Engineering, vol.15 no.3 pp.571-585
2005 蔡進發(Jeffrey J. P. Tsai)、D. Zhang(D. Zhang), Software Engineering Support for Bioinformatics, International Journal of Software Engineering and Knowledge Engineering, vol.15 no.3 pp.473-474
2005 C.T. Peng(C.T. Peng)、K.H. Wu(K.H. Wu)、S.J. Lan(S.J. Lan)、蔡進發(Jeffrey J. P. Tsai)、F.J. Tsai(F.J. Tsai)、C.H. Tsai(C.H. Tsai), Amino Acid Concentrations in Cerebrospinal Fluid in Children with Acute Lymphoblastic Leukemia undergoing Chemotherapy, EUROPEAN JOURNAL OF CANCER, vol.41 no.8 pp.1158-1163
2004 Y. Yang(Y. Yang)、M.T. Kao(M.T. Kao)、S.Y. Chung(S.Y. Chung)、C.M. Chen(C.M. Chen)、蔡進發(Jeffrey J. P. Tsai)、J.G. Chang(J.G. Chang), Glutathione S-transferase T1 Deletion is a Factor for Developing End-stage Renal Disease in Diabetic Patients, INTERNATIONAL JOURNAL OF MOLECULAR MEDICINE, vol.14 no.5 pp.855-859
2004 Y. Deng(Y. Deng)、X. He(X. He)、J. Wang(J. Wang)、蔡進發(Jeffrey J. P. Tsai), Constraint Propagation and Progressive Verification for Component-based Process Model, International Journal of Software Engineering and Knowledge Engineering, vol.14 no.5 pp.471-496
2004 C. M. Huang(C. M. Huang)、C. H. Tsai(C. H. Tsai)、蔡進發(Jeffrey J. P. Tsai)、P.T. Kung(P.T. Kung)、C. L. Chen(C. L. Chen)、F. J. Tsai(F. J. Tsai), The Relationship between Insulin-like Growth Factor-II Gene Apa I Polymorphism and Rheumatoid Arthritis, SCANDINAVIAN JOURNAL OF RHEUMATOLOGY, vol.33 no.2 pp.126-127
2003 A Pilot Tria(A Pilot Trial of Quantitative Tc)、F.Y. Liu(F.Y. Liu)、蔡進發(Jeffrey J. P. Tsai)、R.F. Yen(R.F. Yen)、C.H. Kao(C.H. Kao)、W.S. Huang(W.S. Huang), 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, RHEUMATOLOGY INTERNATIONAL, vol.23 no.6 pp.301-301
2003 L. W. Hang(L. W. Hang)、T. H. Hsia(T. H. Hsia)、W.C. Chen(W.C. Chen)、H. Y. Chen(H. Y. Chen)、蔡進發(Jeffrey J. P. Tsai)、F. J. Tsai(F. J. Tsai), Interleukin-10 Gene -627 Allele Variants, not Interleukin-I Beta Gene and Receptor Antagonist Gene Polymorphisms, are Associated with Atopic Bronchial Asthma, JOURNAL OF CLINICAL LABORATORY ANALYSIS, vol.17 no.5 pp.168-173
2003 I.C. Chou(I.C. Chou)、C.C. Lee(C.C. Lee)、C.C. Huang(C.C. Huang)、J.Y. Wu(J.Y. Wu)、蔡進發(Jeffrey J. P. Tsai)、C.H. Tsai(C.H. Tsai)、F.J. Tsai(F.J. Tsai), Association of the Neuronal Nicotinic Acetylcholine Receptor Subunit Alpha4 Polymorphisms with Febrile Convulsions, EPILEPSIA, vol.44 no.8 pp.1089-1093
2003 S. Yang(S. Yang)、蔡進發(Jeffrey J. P. Tsai)、C. C. Chen(C. C. Chen), Fuzzy Rule Base Systems Verification Using High Level Petri Nets, IEEE Transactions on Knowledge and Data Engineering, vol.15 no.2 pp.457-473
2003 蔡進發(Jeffrey J. P. Tsai)、E. Juan(E. Juan)、A. Sahay(A. Sahay), Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems, IEEE Transactions on Knowledge and Data Engineering, vol.15 no.2 pp.405-422
2003 Y. Deng(Y. Deng)、J. Wang(J. Wang)、蔡進發(Jeffrey J. P. Tsai)、K. Beznosov(K. Beznosov), An Approach for Modeling and Analysis of Security System Architecture, IEEE Transactions on Knowledge and Data Engineering, vol.15 no.5 pp.1099-1119
2003 D. Zhang(D. Zhang)、蔡進發(Jeffrey J. P. Tsai), Machine Learning and Software Engineering, SOFTWARE QUALITY JOURNAL, vol.11 no.2 pp.87-119
2003 C. H. Huang(C. H. Huang)、F.Y. Liu(F.Y. Liu)、R.S.C. Wu(R.S.C. Wu)、蔡進發(Jeffrey J. P. Tsai)、C.C. Lin(C.C. Lin)、A. Kao(A. Kao), The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan, Annals of Nuclear Medicine and Sciences, vol.17 no.3 pp.213-218
2003 M. T. Kao(M. T. Kao)、Y. C. Shiau(Y. C. Shiau)、蔡進發(Jeffrey J. P. Tsai)、J. J. Wang(J. J. Wang)、S. T. Ho(S. T. Ho)、A. Kao(A. Kao), Evaluating the Changes in Alveolar Permeability and Lung Ventilation in Patients with Chronic Renal Failure after Haemodialysis using 99mTc-DTPA Radioaerosol Inhalation Lung Scan, NUCLEAR MEDICINE COMMUNICATIONS, vol.24 no.7 pp.825-828
2003 I.C. Chou(I.C. Chou)、C.T. Peng(C.T. Peng)、C.C. Huang(C.C. Huang)、蔡進發(Jeffrey J. P. Tsai)、F.J. Tsai(F.J. Tsai)、C.H. Tsai(C.H. Tsai), Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures, PEDIATRIC RESEARCH, vol.54 no.1 pp.26-29
2002 S. J.H. Yang(S. J.H. Yang)、蔡進發(Jeffrey J. P. Tsai)、C.H. Chu(C.H. Chu), Development of Wireless Embedded Systems Using Component Based Software, International Journal of Software Engineering and Knowledge Engineering, vol.12 no.2 pp.135-154
2001 E. Juan(E. Juan)、蔡進發(Jeffrey J. P. Tsai)、T. Murata(T. Murata)、Y. Zhou(Y. Zhou), Reduction Methods for Real-Time Systems Using Delay Time Petri Nets, IEEE Transactions on Software Engineering, vol.27 no.5 pp.422-448
2000 D. Kadamuddi(D. Kadamuddi)、蔡進發(Jeffrey J. P. Tsai), Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment, IEEE Transactions on Software Engineering, vol.26 no.4 pp.340-361
2000 Z.Wang(Z.Wang)、蔡進發(Jeffrey J. P. Tsai), Fault-toleration by Duplication and Debugging for Distributed Real-Time Systems, Tamkang Journal of Science and Engineering, vol.3 no.3 pp.173-186
Year Book Title
2011 C. C. Wu(C. C. Wu)、R. M. Chen(R. M. Chen)、蔡進發(Jeffrey J. P. Tsai), Biomedical Engineering: Health Care Systems, Technology and Techniques, Sharing Cancer-related Genes Research Resources on Peer-to-Peer Network, Springer, 2011/01
2011 C. Y. Hsu(C. Y. Hsu)、胡若梅(Rouh-Mei Hu)、R. M. Chen(R. M. Chen)、J. W. Ou(J. W. Ou)、蔡進發(Jeffrey J. P. Tsai), Biomedical Engineering: Health Care Systems, Technology and Techniques, IHCREAD: An Automatic Immunohistochemistry Image Analysis Tool, Springer, 2011/01
2010 蔡進發(Jeffrey J. P. Tsai)、Zhengwei Yu(Zhengwei Yu), Intrusion Detection: A Machine Learning Approach, World Scientific Inc., 2010/12
2009 蔡進發(Jeffrey J. P. Tsai)、Philip S. Yu(Philip S. Yu), Machine Learning in Cyber Trust: Security, Privacy, and Reliability, Springer, 2009/04
2009 S.P. Ren(S.P. Ren)、K. Kwiat(K. Kwiat)、蔡進發(Jeffrey J. P. Tsai), Machine Learning in Cyber Trust: Security, Privacy, and Reliability, A Non-Intrusive Approach to Enhance Legacy Embedded Control Systems with Cyber Protection features, Springer-Verlag, 2009/01
2008 A. Liu(A. Liu)、蔡進發(Jeffrey J. P. Tsai), Encyclopedia of Computer Science and Engineering Engineering, Computer System Monitoring, John Wiley & Sons Inc., 2008/01
2007 S. Ren(S. Ren)、蔡進發(Jeffrey J. P. Tsai), Advances in Machine Learning Application in Software Engineering, Adding Context into Access Control Model for Computer Security Policy, IGI Publishing Inc., 2007/01
2007 C. Kersey(C. Kersey)、Z. Yu(Z. Yu)、蔡進發(Jeffrey J. P. Tsai), Wireless Ad Hoc Networking: Personal-Area, Local-Area, and Sensory-Area Networks, Intrusion Detection Techniques for Wireless Networks, Taylor & Francis, 2007/01
2007 S. Ren(S. Ren)、蔡進發(Jeffrey J. P. Tsai), Advances in Machine Learning Application in Software Engineering, Adding Context into Access Control Model for Computer Security Policy, 2007/01
2006 A. Liu(A. Liu)、蔡進發(Jeffrey J. P. Tsai), Encyclopedia of Computer Science and Engineering, Software Monitoring, Wiley Interscience, 2006/01
2005 L. Ma(L. Ma)、蔡進發(Jeffrey J. P. Tsai), Handbook of Software Engineering and Knowledge Engineering, Vol. III, Attacks and Countermeasure in Software System Security, World Scientific Pub. Co., 2005/01
2002 L. Ma(L. Ma)、蔡進發(Jeffrey J. P. Tsai), Handbook of Software Engineering and Knowledge Engineering, Vol. I, Formal Verification Techniques for Computer Communication Security Protocol, Vol. III, 2002/01
1993 蔡進發(Jeffrey J. P. Tsai)、T. Weigert(T. Weigert), Knowledge-Based Software Development for Real-Time Distributed Systems, World Scientific Inc. Publishers, New Jersey, 1993/12
1993 蔡進發(Jeffrey J. P. Tsai)、S. Yang(S. Yang), Monitoring and Debugging Distributed Real-Time Systems, IEEE Computer Society Press, 1993/11
Du Zhang(Du Zhang)、蔡進發(Jeffrey J. P. Tsai), Advances in Machine Learning Applications in Software Engineering, IGI Publishing Inc., PA
Lu Ma(Lu Ma)、蔡進發(Jeffrey J. P. Tsai), Security Modeling and Analysis of Mobile Agent Systems, Series in Electrical and Computer Engineering Vol. 5, Imperial College Press, London
J. Ma(J. Ma)、H. Jin(H. Jin)、L. T. Yang(L. T. Yang)、蔡進發(Jeffrey J. P. Tsai), Ubiquitous Intelligence and Computing, Springer-Verlag, New York
Du Zhang(Du Zhang)、蔡進發(Jeffrey J. P. Tsai), Machine Learning Application in Software Engineering, World Scientific Inc. Publishers, New Jersey
Y.T. Juan(Eric Y.T. Juan)、蔡進發(Jeffrey J. P. Tsai), Compositional Verification of Concurrent and Real-Time Systems, Springer/Kluwer
蔡進發(Jeffrey J. P. Tsai)、B. Li(B. Li), Hybrid Parallel Execution Model for Logic-Based Specification Languages, World Scientific Pub. Inc.New Jersey
蔡進發(Jeffrey J. P. Tsai)、Y. Bi(Y. Bi)、S. Yang(S. Yang)、R. Smith(R. Smith), Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis, Wiley & Sons Inc
Paper Title
Jia-Zhen Guo(Jia-Zhen Guo)、林宥秀(Yo-Xiu Lin)、張培均(Pei-Chun Chang)、Chieh-Hsi Wu(Chieh-Hsi Wu)、許承瑜(Sheu, Phillip C.Y.)、蔡進發(JEFFREY J. P. TSAI), The 12th Asia Pacific Bioinformatics Conference, Shanghai, China,
Kumar Jangam(Kumar Jangam Vikr、Wen-Yih Chen(Wen-Yih Chen)、蔡進發(Jeffrey J. P. Tsai)、胡文品(Wen-Pin Hu), Molecular simulation methods for selecting thrombin, binding aptamers , Japan
N. K.(Nikubon Kuruanjerdjit)、蔡進發(Jeffrey J. P. Tsai)、邱金水(Jin-Shuei Ciou)、吳家樂(Ng, Ka-Lok), A Study of Floral Transition in Arabidopsis Using Partial Correlation Analysis , The 2013 International Conference on Bioinformatics & Computational Biology, U.S.
Pei-Lin Chen(Pei-Lin Chen)、Rong-Ming Ch(Rong-Ming Chen)、Chien-Yuan L(Chien-Yuan Li)、胡若梅(Rouh-Mei Hu)、Been-Chian C(Been-Chian Chien)、蔡進發(Jeffrey J. P. Tsai), Towards Improving the Biological Relevance of Time, Series Gene Expression Clustering Using support Vector machine , Tainan, Taiwan
胡若梅(Rouh-Mei Hu)、蕭震緯(Chen-Wei Hsiao)、陳榮銘(Rong-Ming Chen)、蔡進發(Jeffrey J. P. Tsai), Blood Cell Image Classification Based on Hierarchical SVM , 2011 IEEE International Symposium on Multimedia, California, USA
蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)、W. L. Tai(W. L. Tai)、R. M. Chen(R. M. Chen)、蔡進發(Jeffrey J. P. Tsai), Object Relational Programming of Biomedical Images , Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Taichung, Taiwan
張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai), Ergonomic Designs Based on Musculoskeletal Models , Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Taichung, Taiwan
C.N. Wang(Charles C.N. Wang)、吳家樂(Ng, Ka-Lok)、陳玉菁(Yu-ching Chen)、許承瑜(Sheu, Phillip C.Y.)、蔡進發(Jeffrey J. P. Tsai), Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model , Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering,, Taichung, Taiwan
David Hecht(David Hecht)、C.N. Wang(Charles C.N. Wang)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai), Molecular Modeling Studies of AmpR Mediated AmpC beta, Lactamase Repression , Taichung, Taiwan
Yu-Liang Lee(Yu-Liang Lee)、Jie-Wei Weng(Jie-Wei Weng)、Wen-Chin Chi(Wen-Chin Chiang)、Yi-Wen Lin(Yi-Wen Lin)、吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai)、Chi-Ying Hua(Chi-Ying Huang), Investigating Cancer, related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing , Taichung, Taiwan
Jing-Gung Ch(Jing-Gung Chung)、蔡進發(Jeffrey J. P. Tsai)、Chien-Yih Li(Chien-Yih Lin)、Yang-Chia Sh(Yang-Chia Shih)、Jin-Shih Che(Jin-Shih Chen)、范宗宸(Ming-Jen Fan), The Application of Molecular Markers to Identify Edible Fungi , A Case Sudy of Tremella fuciformis , Taichung, Taiwan
范宗宸(Ming-Jen Fan)、Su-May Yu(Su-May Yu)、Tzu-Chieh Hu(Tzu-Chieh Hung)、Wei-Quan Che(Wei-Quan Chen)、Yue-Ie Hsing(Yue-Ie Hsing)、Hsin-Li Lin(Hsin-Li Lin)、Chia-Cheng L(Chia-Cheng Liu)、Jing-Gung Ch(Jing-Gung Chung)、蔡進發(Jeffrey J. P. Tsai), TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach , Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Taichung, Taiwan
R. M. Chen(R. M. Chen)、Y. J. Wu(Y. J. Wu)、S. R. Jhuang(S. R. Jhuang)、M. H. Hsieh(M. H. Hsieh)、C. L. Kuo(C. L. Kuo)、Y. L. Ma(Y. L. Ma)、R. M. Hu(R. M. Hu)、蔡進發(Jeffrey J. P. Tsai), A Computer, aided System for Discriminating Normal from Cancerous Areas in IHC Liver Cancer Tissue Images Using K, Hsinchu, Taiwan
R.M. Chen(R.M. Chen)、M. T. Hou(M. T. Hou)、蔡進發(Jeffrey J. P. Tsai), A Novel Approach for Motif Identification in Unaligned Molecular Sequences , Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Taichung, Taiwan
J.W. Ou(J.W. Ou)、R. M. Chen(R. M. Chen)、胡若梅(Rouh-Mei Hu)、C.Y. Tang(C.Y. Tang)、蔡進發(Jeffrey J. P. Tsai), An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data , Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Taichung, Taiwan
A. C.H. Chen、蕭震緯(Chen-Wei Hsiao)、蔡進發(Jeffrey J. P. Tsai), Phylogenetic Analysis using Nuclear, encoded Mitochondrial Proteins , Taichung, Taiwan
C. Wang(C. Wang)、D. Hacht(D. Hacht)、蕭震緯(Chen-Wei Hsiao)、P. Sheu(P. Sheu)、蔡進發(Jeffrey J. P. Tsai), Describing Dynamic Biological Systems using SPDL and SCDL , Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Taichung, Taiwan
D.A. Hecht、P. Sheu(P. Sheu)、蔡進發(Jeffrey J. P. Tsai), SCDL Applications to Drug Discovery , Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering, Taichung, Taiwan
S. J.S. Lee(S. J.S. Lee)、H.W. Hsiao(H.W. Hsiao)、蔡進發(Jeffrey J. P. Tsai), Residue Contact with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment , Proceedings of the ITAOI, Kinmen, Taiwan
蕭震緯(Chen-Wei Hsiao)、S. J.X. Lee(S. J.X. Lee)、蔡進發(Jeffrey J. P. Tsai), Local Alignment of Protein Structures Using Non, rigid Approach , Taiwan
S. Yang(S. Yang)、J. Zhang(J. Zhang)、A. Huang(A. Huang)、蔡進發(Jeffrey J. P. Tsai)、P. S. Yu(P. S. Yu), A Context, driven Content Adaptation Planner for Improving Mobile Internet Accessibility , Beijing, China
V.D.(V. Devarashetty)、蔡進發(Jeffrey J. P. Tsai)、L. Ma(L. Ma)、D. Zhang(D. Zhang), Modeling of Secure Sensor Networks Using an Extended Elementary Object System , Proceedings of the 7th IEEE Int’l Conf. on Cognitive Informatics, Stanford University, CA
Z. Yu(Z. Yu)、蔡進發(Jeffrey J. P. Tsai), A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks , Proceedings of the 2nd IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing (SUTC2008), Taichung, Taiwan
D. Hecht(D. Hecht)、蔡進發(Jeffrey J. P. Tsai)、P. Sheu(P. Sheu), Biosemantic System: Applications of Structured Natural Language to Biological and Biochemical Research , Proceedings of the 1st IEEE Ambient Semantic Computing Workshop (ASC2008), Taiwan
David Hecht、胡若梅(Rouh-Mei Hu)、胡若梅(Rouh-Mei Hu)、Rong-Ming Chen、Jong-Waye Ou、Chao-Yen Hsu、Haitao, Gong、吳家樂(Ng, Ka-Lok)、吳家樂(Ng, Ka-Lok)、蕭震緯(Chen-Wei Hsiao)、蕭震緯(Chen-Wei Hsiao)、蔡進發(Jeffrey J. P. Tsai)、蔡進發(Jeffrey J. P. Tsai)、許承瑜(Sheu, Phillip C.Y.)、許承瑜(Sheu, Phillip C.Y.), BIOSEMANTIC SYSTEM , 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, Asia University, Taiwan
C.Y. Hsu(C.Y. Hsu)、胡若梅(Rouh-Mei Hu)、R. M. Chen(R. M. Chen)、蔡進發(Jeffrey J. P. Tsai), IHCread: An Automatic Immuohistochemistry Image Analysis Tool , Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, Taichung, Taiwan
C.H. Wu(C.H. Wu)、R.M. Chen(R.M. Chen)、蔡進發(Jeffrey J. P. Tsai), Sharing Cancer, Related Genes Research on Peer, Taichung, Taiwan
J.W. Ou(J.W. Ou)、R. M. Chen(R. M. Chen)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai), A Systematic Genes Expression Explorer Tool for Multiple and Paired Chips , Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science, Taichung, Taiwan
Y. Luo(Y. Luo)、蔡進發(Jeffrey J. P. Tsai), A Framework for Extrusion Detection Using Machine Learning , Proceedings of the 11th IEEE Symposium on Object/Component/Service, Taichung, Taiwan
蕭震緯(Chen-Wei Hsiao)、H.K. Chung(H.K. Chung)、C.K. Hsu(C.K. Hsu)、蔡進發(Jeffrey J. P. Tsai), Potential Function Optimization using Particle Swarm Approach to One, class Classification , Kaohsiung, Taiwan
M. Hirakawa、M. Muhlhauser、S. Rahardja(S. Rahardja)、C.-Y. Sheu(P. C.-Y. Sheu)、L. Smarr(L. Smarr)、蔡進發(Jeffrey J. P. Tsai), Proceedings of the 8th IEEE International Symposium on Multimedia , Issues, Challenges, and Future Directions in Multimedia Research, San Diego, CA
P.E.(P. Pierre-Etienne)、S. P. Ren(S. P. Ren)、J. Nogiec(J. Nogiec)、蔡進發(Jeffrey J. P. Tsai), Separating Functional and Non, functional Concerns through Coordination: an Application to Reliability , Chicago
Z. Yu(Z. Yu)、蔡進發(Jeffrey J. P. Tsai), Fuzzy Model Tuning for Intrusion Detection Systems , Proceedings of the 3rd IFIP International Autonomic and Trusted Computing Conference, Springer-Verlag, New York
H.T. Chu(H.T. Chu)、C.C. Huang(C.C. Huang)、Z.H. Lian(Z.H. Lian)、蔡進發(Jeffrey J. P. Tsai), A Ubiquitous Warning System for Asthma, Inducement , Taichung, Taiwan
L. Shen(L. Shen)、蔡進發(Jeffrey J. P. Tsai), Reconfigurable Coordination Model for Dynamic Autonomous Real, Time Systems , Taichung, Taiwan
P. S.(P. Srinivasan)、蔡進發(Jeffrey J. P. Tsai)、L. Ma(L. Ma), Modeling an E, Auctioning System using Formal Method with a Trusted Agent Proxy , UC Berkeley
C.H. Huang(C.H. Huang)、蔡進發(Jeffrey J. P. Tsai)、F. F. Fang(F. F. Fang)、吳家樂(Ng, Ka-Lok), Topological Stability of the Protein, Protein Interaction Networks , Taiwan
J.R. Lee(J.R. Lee)、H.C. Liu(H.C. Liu)、蔡進發(Jeffrey J. P. Tsai), Large Scale Predication of Domain, Domain Interactions from Protein, Taiwan
Y.J. Chen(Y.J. Chen)、H.T. Chu(H.T. Chu)、蔡進發(Jeffrey J. P. Tsai), An Analysis of H5N1 Influenza A Virus Hemagglutinin , Proceedings of the 4th Asia Pacific Bioinformatics Conference, (APBC06), Taiwan
Y.J. Chen(Y.J. Chen)、H.T. Chu(H.T. Chu)、蔡進發(Jeffrey J. P. Tsai), Structure, Based Virtual Screening of HDAC Proteins with Functional Evolutionary Analysis , Taiwan
Y. Luo(Y. Luo)、蔡進發(Jeffrey J. P. Tsai), A Graphical Simulation Environment for Modeling and Analysis of Sensor Networks , Proceedings of the 6th IEEE Int’l Symp. on Multimedia, CA
C.H. Huang(C.H. Huang)、P.H. Lee(P.H. Lee)、蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok), Modular Structure of Protein, Protein Interaction , Tsing Hua Univ., Taiwan
Y.-J. Chen(Y.-J. Chen)、F. P. Chu(F. P. Chu)、H. T. Chu(H. T. Chu)、蔡進發(Jeffrey J. P. Tsai), Evolutionary Analysis of MTA, Related Proteins , Taiwan
P.H. Lee(P.H. Lee)、C.H. Huang(C.H. Huang)、J.F. Fang(J.F. Fang)、蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok), Study of the Protein, Protein Interaction Networks via Random Graph Approach , CA
C.W. Leung(C.W. Leung)、R.M. Chen(R.M. Chen)、R.M. Fu(R.M. Fu)、K.C. Shih(K.C. Shih)、I.C. Wang(I.C. Wang)、M.I. Lee(M.I. Lee)、蔡進發(Jeffrey J. P. Tsai)、C. K. Chang(C. K. Chang), Reliability Verification of Microarray Gene Expression Database , Proceedings of the 8th ETCM Conference, Taiwan
I.C. Wang(I.C. Wang)、R.M. Chen(R.M. Chen)、R.M. Fu(R.M. Fu)、M.I. Lee(M.I. Lee)、C.W. Leung(C.W. Leung)、K.C. Shih(K.C. Shih)、蔡進發(Jeffrey J. P. Tsai)、K.C. Shih(K.C. Shih), Recognizing Cancer, Related Genes based on Single Nucleotide Polymorphism , Taiwan
H.W. Hsiao(H.W. Hsiao)、M. S. Tsai(M. S. Tsai)、蔡進發(Jeffrey J. P. Tsai), Distributed Discovery of Asychronous Partial Periodic Patterns in Sequence Data Using Modified Periodicity Transform , Proceedings of the 6th IEEE Int'l Symp. on Multimedia Software Engineering, Florida, USA
K. C. Shih(K. C. Shih)、R.M. Chen(R.M. Chen)、蔡進發(Jeffrey J. P. Tsai), Predication of Gene Regulatory Networks using Differential Expression of cDNA Microarray Data , Proceedings of the 6th IEEE Int'l Symp. on Multimedia Software Engineering, Florida, USA
L. Ma(L. Ma)、蔡進發(Jeffrey J. P. Tsai)、T. Murata(T. Murata), A Secure Mobile Agent System Model Based on Extended Elementary Object Net , Proceedings of the 28th IEEE Int'l Computer Software and Applications Conference, Hong Kong
Z. Yu(Z. Yu)、蔡進發(Jeffrey J. P. Tsai), A Multiple, Class System for KDD Intrusion Detection , Hong Kong
S.S. Shen(S.S. Shen)、K.C. Shih(K.C. Shih)、C.W. Liang(C.W. Liang)、F.M. Liu(F.M. Liu)、R.M Chen(R.M Chen)、J.G. Chang(J.G. Chang)、蔡進發(Jeffrey J. P. Tsai)、S.H. Shih(S.H. Shih), Analysis of Cancerous Genes based on Microarray Gene Expression Data , Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory, Hong Kong
S. N. Chen(S. N. Chen)、蔡進發(Jeffrey J. P. Tsai)、C.K. Lin(C.K. Lin)、C. W. Huang(C. W. Huang), Regulatory Protein Binding Site Analysis Using Position Weight Matrix , Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory, Taichung, Taiwan
S. N. Chen(S. N. Chen)、蔡進發(Jeffrey J. P. Tsai)、R.M. Chen(R.M. Chen)、C. W. Huang(C. W. Huang)、R. Lin(R. Lin), Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics , Proceedings of the 5th IEEE Int'l Symp. on Bioinformatics and Bioengineering, Taiwan
F. M. Liu(F. M. Liu)、蔡進發(Jeffrey J. P. Tsai)、R.M. Chen(R.M. Chen)、S.H. Chen(S.H. Chen)、S.H. Shih(S.H. Shih), FMGA: Finding Motifs by Genetic Algorithm , Proceedings of the 5th IEEE Int'l Symp. on Bioinformatics and Bioengineering, Taiwan
L. Ma(L. Ma)、蔡進發(Jeffrey J. P. Tsai)、T. Murata(T. Murata), Extended Elementary Object System Model for Mobile Agent Security , Proceedings of the 2003 World Congress on Integrated Design and Process Technology, Texas, USA
W.F. Huang(W.F. Huang)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai)、R.M. Chen(R.M. Chen), Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm , Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering, Taiwan
蕭震緯(Chen-Wei Hsiao)、S. H. Chen(S. H. Chen)、蔡進發(Jeffrey J. P. Tsai), Subcellular Localization Prediction of Eukaryotic Protein Using Functional Domain Frequency Measure , Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering, Taiwan
S.N. Chen(S.N. Chen)、蔡進發(Jeffrey J. P. Tsai)、W.H. Chen(W.H. Chen), An Intelligent Agent, Based Biomedical Literature Mining System for Cancer, Taiwan
H. W. Hsiao(H. W. Hsiao)、P. Wu(P. Wu)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai), In Silico Discovery of Cancer, Related Genes by Functional Domain Analysis , Taiwan
蔡進發(Jeffrey J. P. Tsai)、J.G. Chang(J.G. Chang)、R.M. Chen(R.M. Chen)、蕭震緯(Chen-Wei Hsiao)、胡若梅(Rouh-Mei Hu)、S.N. Chen(S.N. Chen)、M.M. Lee(M.M. Lee)、W.L. Chan(W.L. Chan)、P.X. Wu(P.X. Wu)、W.H. Chen(W.H. Chen), A Framework for Cancer, related Genes Mining over the Internet , Washington D.C.
蔡進發(Jeffrey J. P. Tsai)、J.G. Chang(J.G. Chang)、R.M. Chen(R.M. Chen)、蕭震緯(Chen-Wei Hsiao)、胡若梅(Rouh-Mei Hu)、S.N. Chen(S.N. Chen)、M.M. Lee(M.M. Lee)、W.L. Chan(W.L. Chan)、P.X. Wu(P.X. Wu)、W.H. Chen(W.H. Chen), A Bioinformatics Approach for Mining Cancer, related Genes over Internet , India
D. Zhang(D. Zhang)、蔡進發(Jeffrey J. P. Tsai), Machine Learning and Software Engineering , Proceedings of the IEEE Int’l Conf. on Tools with Artificial Intelligent, Washington D.C.
蔡進發(Jeffrey J. P. Tsai)、E. Juan(E. Juan), Modeling and Heuristic Technique for Efficient Verification of Component, Based Software Systems , Calgary, Alberta, Canada
L. Ma(L. Ma)、蔡進發(Jeffrey J. P. Tsai)、T. Murata(T. Murata), A Secure Mobile Agent System Model Based on Extended Elementary Object Net , Proceedings of the World Congress on Integrated Design and Process Technology, California, USA
C. Xiong(C. Xiong)、T. Murata(T. Murata)、蔡進發(Jeffrey J. P. Tsai), Modeling and Simulation of Routing Protocol for Mobile Ad Hoc Networks Using Colored Petri Nets , Proceedings of the Workshop on Formal Methods Applied to Defense Systems, Adelaide, Australia
L. Ma(L. Ma)、蔡進發(Jeffrey J. P. Tsai)、T. Murata(T. Murata), Modeling a Secure Mobile Agent System with Petri Nets Scheme , Proceedings of the 12th Information Security Conference, Taiwan
Y. Deng(Y. Deng)、J. Wang(J. Wang)、蔡進發(Jeffrey J. P. Tsai)、K. Beznosov(K. Beznosov), Formal Analysis of Software Security Systems Architecture , Proceedings of the 5th IEEE Symposium on Autonomous Decentralized Systems, Dallas, TX
蔡進發(Jeffrey J. P. Tsai)、E. Juan(E. Juan), A Compositional Approach for Modeling and Verification of Component, Based Software Systems , Italy
J.-M. Lin(J.-M. Lin)、蔡進發(Jeffrey J. P. Tsai), An Agent, based Internet Software Integration System , Dallas, TX
蔡進發(Jeffrey J. P. Tsai)、K. Xu(K. Xu), Architecture Specification of Multimedia Software Systems , Proceedings of the 6th IEEE International Conference on Multimedia Computing and Systems, Florence, Italy
蔡進發(Jeffrey J. P. Tsai)、F. Bastani(F. Bastani)、M. Hirakawa(M. Hirakawa)、S. B.(S. Barchayara), Multimedia Software Engineering , Proceedings of Int'l Conf. on Software Engineering, Kyoto, Japan
蔡進發(Jeffrey J. P. Tsai)、A. Sistla、A. Sahay, An Incremental Verification of Software Architecture , ACM SIGSOFT Notics
蔡進發(Jeffrey J. P. Tsai)、E. Juan(E. Juan), Efficient Compositional State, Space Verification for Communicating Processes in Distributed Systems , Washington D.C.
蔡進發(Jeffrey J. P. Tsai)、A. Sistla、A. Sahay、R. Paul, An Incremental Verification Approach for Software Architecture Specification of Real, Time Systems , Laguna Beach, CA
S. Yang(S. Yang)、蔡進發(Jeffrey J. P. Tsai)、A. Liu(A. Liu), An Integrated Architecture for Distributed Real, Time Systems Analysis , Austin, TX
E. Juan(E. Juan)、蔡進發(Jeffrey J. P. Tsai)、T. Murata(T. Murata), An Efficient Analysis Method for Large, Scale Concurrent Systems , Ontario, Canada
蔡進發(Jeffrey J. P. Tsai)、B. Li(B. Li), A Hybrid Execution Model for Logic, Based Requirements Specifications , Ontario, Canada
蔡進發(Jeffrey J. P. Tsai)、S. Yang(S. Yang)、P. Chang(P. Chang)、E. Juan(E. Juan), Verifying Timing Properties of Distributed Real, Time Systems Using Timing Constraints Petri Nets , Seoul, Korea
蔡進發(Jeffrey J. P. Tsai), Automatic Generation of Verification Scenario from Systems Requirements Specification , Proceedings of the 8th Int'l Conference on Software Engineering and Knowledge Engineering, Nevada
蔡進發(Jeffrey J. P. Tsai)、T. Weigert(T. Weigert), A Logic, Based Requirements Language for the Specification and Analysis of Real, Laguna Beach, CA
A. Liu(A. Liu)、蔡進發(Jeffrey J. P. Tsai), A Knowledge, Based Approach for Requirements Analysis , Herndon, Virginia
蔡進發(Jeffrey J. P. Tsai), A Knowledge, Based Approach to Specification, Monterey, CA
X. Zeng(X. Zeng)、蔡進發(Jeffrey J. P. Tsai)、T. Weigert(T. Weigert), Improving Software Quality Through a New Testing Strategy , Proceedings of the 19th IEEE International Computer Software and Applications Conference, Texas, USA
蔡進發(Jeffrey J. P. Tsai), Requirements, Specification, and Analysis of Autonomous Distributed Communication Service , Proceedings of the National Development Symposium, Taipei, Taiwan
蔡進發(Jeffrey J. P. Tsai)、B. Li(B. Li)、A. Liu(A. Liu), Modeling and Parallel Evaluation of Non, Functional Requirements Using FRORL Requirements Language , Taipei, Taiwan
蔡進發(Jeffrey J. P. Tsai)、B. Li(B. Li), A Simple Graph Algorithm for Message, optimized Distributed Computing , Las Vegas, Nevada
蔡進發(Jeffrey J. P. Tsai)、B. Li(B. Li), Improving Parallel Execution Performance for Logic Programs Using Mode Information , Proceedings of the 6th IEEE Symposium on Parallel and Distributed Processing, Dallas, TX
A. Tarko(Andrzej Tarko)、蔡進發(Jeffrey J. P. Tsai)、N. Rouphail(N. Rouphail), Detection of Traffic Congestion Using Fuzzy Operator Logic in Advance, like Systems , Tokyo, Japan
蔡進發(Jeffrey J. P. Tsai)、A. Liu(A. Liu)、K. Nair(K. Nair), Debugging of Logic, Based Requirements Languages , San Francisco, CA
蔡進發(Jeffrey J. P. Tsai)、S. Yang(S. Yang)、P. Chang(P. Chang), Schedulability Analysis of Real, Time Software Using Timing Constraints Petri Nets , Paris, France
蔡進發(Jeffrey J. P. Tsai), A Requirement Specification Language for Autonomous Decentralized Systems Development , Proceedings of IEEE International Symposium on Autonomous Decentralized Systems, Hitachi System Plaza, Kawasaki, Japan
蔡進發(Jeffrey J. P. Tsai)、S. Yang(S. Yang)、P. Chang(P. Chang), Timing Constraints Petri Nets and Their Application to Schedulability Analysis of Real, Time Software , New Port Beach, CA
蔡進發(Jeffrey J. P. Tsai)、H. Jang(H. Jang), A Framework for Knowledge, Based Systems Verification , Chicago, IL
蔡進發(Jeffrey J. P. Tsai)、S. Yang(S. Yang)、Y. Bi(Y. Bi), Visualization and Debugging Distributed Real, Time Software Systems , Singapore
蔡進發(Jeffrey J. P. Tsai)、R. Sheu(R. Sheu)、B. Li(B. Li), A Framework of Logic, Based Transformation System , Chicago, IL
J. Sushil(J. Sushil)、蔡進發(Jeffrey J. P. Tsai), ESCHE: Expert System for Feature Identification in Human Chest of Computer Tomography , Proceedings of The World Congress on Expert Systems, Orlando, FL
Jas Sushil(Jas Sushil)、蔡進發(Jeffrey J. P. Tsai), EMBY: Expert System for Low Level Segmentation in Microscopic Image of Human Enbryo , Proceedings of The World Congress on Expert Systems, Orlando, FL
蔡進發(Jeffrey J. P. Tsai), An Event, Based Real, San Jose, CA
D. Cooke(D. Cooke)、M. Feather(M. Feather)、S. Fickas(S. Fickas)、N. Minsky(N. Minsky), Is A.I. the Solution for Software Engineering , Proceedings of the3rd IEEE Tools with Artificial Intelligence Conference, California, USA
蔡進發(Jeffrey J. P. Tsai)、T. Weigert(T. Weigert)、H. Jang(H. Jang), Non, Monotonic Logic as a Basis for Requirements Specification and Analysis , Cancun, Mexico
蔡進發(Jeffrey J. P. Tsai), Artificial Intelligence Techniques for Software Engineering , Proceedings of the Fujitsu International Software Symposium, Kawasaki, Japan
蔡進發(Jeffrey J. P. Tsai)、H. Jang(H. Jang)、K. S.(K. S.), RT, FRORL: A Formal Requirements Specification Language for Specifying and Analyzing Real, Tokyo, Japan
蔡進發(Jeffrey J. P. Tsai)、R. Sheu(R. Sheu), A Distributed Cooperative Agents Architecture for Software Development , Proceedings of the IJCAI International Workshop on Intelligent Cooperative Information Systems, Sydney, Australia
J. Chen(J. Chen)、L. Chen(L. Chen)、蔡進發(Jeffrey J. P. Tsai)、C. Carlson(C. Carlson), A Research Overview of Distributed Database System Design , Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation, Pittsburgh, Pennsylvania
J. Chen(J. Chen)、L. Chen(L. Chen)、蔡進發(Jeffrey J. P. Tsai), Nested Concurrency and Its Application to Distributed Database Systems Design , Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation, Pittsburgh, Pennsylvania
蔡進發(Jeffrey J. P. Tsai)、Y. Bi(Y. Bi), Timing Errors of Real, Time Software Systems and Their Detection , Austin, TX
蔡進發(Jeffrey J. P. Tsai), Integrating Data Collection, Debugging, and Visualization , Proceedings of the 7th International Conference on Advanced Science and Technology, Argonne National Laboratory, ILL.
蔡進發(Jeffrey J. P. Tsai)、Thomas Weige(Thomas Weigert)、H. C. Jang(H. C. Jang), A Hybrid Knowledge Representation for Requirement Specification and Reasoning , Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence, Chicago, Illinois
B. Binder(B. Binder)、蔡進發(Jeffrey J. P. Tsai), KBRMS: An Intelligent Assistant for Requirement Definition , Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence, Chicago, Illinois
蔡進發(Jeffrey J. P. Tsai)、K.Y. Fang(K.Y. Fang)、Y.D. Bi(Y.D. Bi), On Real, Time Software Testing and Debugging , Chicago, Illinois
M. Rao(M. Rao)、Y. Ying(Y. Ying), Classification of Intelligent Simulation , Proceedings of the 1990 Summer Simulation Conf., Calgary, Alberta, Canada
Project Title Participator Period
整合型計算醫學應用於動脈粥狀硬化疾病 (NSC 102-2632-E-468-001-MY3) 蔡進發(JEFFREY J. P. TSAI)、陳玉菁(YU-CHING CHEN)、胡文品(Wen-Pin Hu)、蕭震緯(Chen-Wei Hsiao)、張培均(Pei-Chun Chang)、吳家樂(Ng, Ka-Lok)、胡若梅(Rouh-Mei Hu)、許承瑜(Sheu, Phillip C.Y.)、張春明(Chun-Ming Chang) 2013.08 ~ 2016.07
100年度亞大心‧中文情-生命閱讀與書寫課程革新計畫(10049021) (20120914161140) 蔡進發(Jeffrey J. P. Tsai)、蔡進發(Jeffrey J. P. Tsai)、林益昇(Lin, Y. S)、林益昇(Lin, Y. S) 2011.12 ~ 2013.01
阿拉伯芥整合系統生物學研究 (NSC 99-2632-E-468-001-MY3) 蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok)、許承瑜(Sheu, Phillip C.Y.)、蕭震緯(Chen-Wei Hsiao)、林俊義(Chien-Yih Lin)、胡若梅(Rouh-Mei Hu) 2010.08 ~ 2013.07
利用環控管理技術提升重要藥用菇類之生產及利用-重要藥用菇類環控栽 (NSC 99-2632-B-468 -001 -MY3) 林俊義(Chien-Yih Lin)、蔡進發(Jeffrey J. P. Tsai)、黃佩珍(Pei-Jane Huang)、施養佳(Yang-Chia Shih) 2010.08 ~ 2013.07
生醫分析系統之語意整合 (96-2221-E-468-011-MY3) 蔡進發(Jeffrey J. P. Tsai)、許承瑜(Sheu, Phillip C.Y.)、蔡崇豪 2007.08 ~ 2010.07
災後生活重建計劃—霧峰地區學校教學及學生輔導計畫 2003.09 ~ 2004.06
台電保全事業營運規劃之研究 (TPC-546-92-4832-13 ) 2003.06 ~ 2004.05
霧峰實驗--九二一重建生活教育學習空間(I) 蔡進發(Jeffrey J. P. Tsai) 2002.08 ~ 2002.12
Category Course Code Course Title Year
研究所博士班 EB110001A 博士論文 110