蔡進發 老師
現職 生物與醫學資訊學系 講座教授
學歷 西北大學 電機工程與電腦科學 博士
教師研究成果資料明細
 
研究計畫
1. 蔡進發 教育部 2003.09.1 ~2004.06.30
災後生活重建計劃—霧峰地區學校教學及學生輔導計畫

2. 蔡進發 教育部 2002.08.1 ~2002.12.31
霧峰實驗--九二一重建生活教育學習空間(I)

3. 蔡進發 其他單位 2003.06.1 ~2004.05.31
台電保全事業營運規劃之研究

4. 蔡進發 教育部 2003.09.1 ~2004.06.30
災後生活重建計劃—霧峰地區學校教學及學生輔導計畫

5. 蔡進發 教育部 2002.08.1 ~2002.12.31
霧峰實驗--九二一重建生活教育學習空間(I)

6. 蔡進發 國科會 2007.08.1 ~2010.07.31
生醫分析系統之語意整合

7. 蔡進發 國科會 2010.08.1 ~2013.07.31
阿拉伯芥整合系統生物學研究

SCI、SSCI、A&HCI、EI、TSSCI期刊論文
1. 蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)* ,2010-10, (已刊登)
MEDICAL ONCOLOGY 19卷期:97707頁~97709頁
Decreased expression of p39 is associated with a poor prognosis in human hepatocellular carcinoma

2. 蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)* ,2010-10, (已刊登)
MEDICAL ONCOLOGY 卷期:頁~頁
Decreased expression of p39 is associated with a poor prognosis in human hepatocellular carcinoma

3. 蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu) ,2011-, (已接受未出版)
Acta Histochemica 卷期:頁~頁
Overexpression of Thy1/CD90 in human hepatocellular carcinoma is associated with HBV infection and poor prognosis

4. 蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok)* ,2007-, ()
LECTURE NOTES IN COMPUTER SCIENCE 4023卷1期:166頁~177頁
Topological Robustness of the Protein-protein Interaction Networks

5. 蔡進發(Jeffrey J. P. Tsai) ,2000-, (已刊登)
IEEE Transactions on Software Engineering 26卷4期:340頁~361頁
Clustering Algorithm for Parallelizing Software Systems in Multi-Processors Environment

6. 蔡進發(Jeffrey J. P. Tsai) ,2000-, (已刊登)
Tamkang Journal of Science and Engineering 3卷3期:173頁~186頁
Fault-toleration by Duplication and Debugging for Distributed Real-Time Systems

7. 蔡進發(Jeffrey J. P. Tsai) ,2001-, (已刊登)
IEEE Transactions on Software Engineering 27卷5期:422頁~448頁
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets

8. 蔡進發(Jeffrey J. P. Tsai) ,2002-, (已刊登)
International Journal of Software Engineering and Knowledge Engineering 12卷2期:135頁~154頁
Development of Wireless Embedded Systems Using Component Based Software

9. 蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
IEEE Transactions on Knowledge and Data Engineering 15卷2期:457頁~473頁
Fuzzy Rule Base Systems Verification Using High Level Petri Nets

10. 蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
IEEE Transactions on Knowledge and Data Engineering 15卷2期:405頁~422頁
Model and Algorithm for Verification of High-Assurance Properties of Real-Time Systems

11. 蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
IEEE Transactions on Knowledge and Data Engineering 15卷5期:1099頁~1119頁
An Approach for Modeling and Analysis of Security System Architecture

12. 蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
SOFTWARE QUALITY JOURNAL 11卷2期:87頁~119頁
Machine Learning and Software Engineering

13. 蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
NUCLEAR MEDICINE COMMUNICATIONS 24卷7期:825頁~828頁
Evaluating the Changes in Alveolar Permeability and Lung Ventilation in Patients with Chronic Renal Failure after Haemodialysis using 99mTc-DTPA Radioaerosol Inhalation Lung Scan

14. 蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
PEDIATRIC RESEARCH 54卷1期:26頁~29頁
Association Analysis of γ2 Subunit of γ-Aminobutyric Acid Type A Receptor Polymorphisms with Febrile Seizures

15. 蔡進發(Jeffrey J. P. Tsai) ,2003-08, (已刊登)
JOURNAL OF CLINICAL LABORATORY ANALYSIS 17卷5期:168頁~173頁
Interleukin-10 Gene -627 Allele Variants, not Interleukin-I Beta Gene and Receptor Antagonist Gene Polymorphisms, are Associated with Atopic Bronchial Asthma

16. 蔡進發(Jeffrey J. P. Tsai) ,2003-08, (已刊登)
EPILEPSIA 44卷8期:1089頁~1093頁
Association of the Neuronal Nicotinic Acetylcholine Receptor Subunit Alpha4 Polymorphisms with Febrile Convulsions

17. 蔡進發(Jeffrey J. P. Tsai) ,2003-11, (已刊登)
RHEUMATOLOGY INTERNATIONAL 23卷6期:301頁~301頁
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

18. 蔡進發(Jeffrey J. P. Tsai) ,2004-11, (已刊登)
INTERNATIONAL JOURNAL OF MOLECULAR MEDICINE 14卷5期:855頁~859頁
Glutathione S-transferase T1 Deletion is a Factor for Developing End-stage Renal Disease in Diabetic Patients

19. 蔡進發(Jeffrey J. P. Tsai) ,2004-10, (已刊登)
International Journal of Software Engineering and Knowledge Engineering 14卷5期:471頁~496頁
Constraint Propagation and Progressive Verification for Component-based Process Model

20. 蔡進發(Jeffrey J. P. Tsai) ,2004-03, (已刊登)
SCANDINAVIAN JOURNAL OF RHEUMATOLOGY 33卷2期:126頁~127頁
The Relationship between Insulin-like Growth Factor-II Gene Apa I Polymorphism and Rheumatoid Arthritis

21. 蔡進發(Jeffrey J. P. Tsai) ,2005-05, (已刊登)
International Journal of Software Engineering and Knowledge Engineering 15卷3期:571頁~585頁
A Software Architecture for Finding Motifs using Genetic Algorithm

22. 蔡進發(Jeffrey J. P. Tsai) ,2005-05, (已刊登)
International Journal of Software Engineering and Knowledge Engineering 15卷3期:473頁~474頁
Software Engineering Support for Bioinformatics

23. 蔡進發(Jeffrey J. P. Tsai) ,2005-, (已刊登)
EUROPEAN JOURNAL OF CANCER 41卷8期:1158頁~1163頁
Amino Acid Concentrations in Cerebrospinal Fluid in Children with Acute Lymphoblastic Leukemia undergoing Chemotherapy

24. 蔡進發(Jeffrey J. P. Tsai) ,2006-, (已刊登)
Journal of Information Science and Engineering 22卷4期:843頁~861頁
A Novel Cache-based Approach to Large Polygonal Mesh Simplification

25. 蔡進發(Jeffrey J. P. Tsai) ,2006-12, (已刊登)
International Journal of Computer Applications in Technology 27卷4期:223頁~231頁
An Efficient Intrusion Detection System using Boosting -Based Learning Algorithm

26. 蔡進發(Jeffrey J. P. Tsai) ,2007-, (已刊登)
International Journal of Distributed Sensor Networks 3卷2期:135頁~136頁
Sensor Networks, Ubiquitous and Trustworthy Computing

27. 蔡進發(Jeffrey J. P. Tsai) ,2007-, (已刊登)
International Journal of Distributed Sensor Networks 3卷2期:175頁~199頁
A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments

28. 蔡進發(Jeffrey J. P. Tsai) ,2007-, (已刊登)
ACM Transactions on Autonomous and Adaptive Systems 2卷3期:頁~頁
The Role of Roles in Supporting Reconfigurability and Fault Localizations for Open Distributed and Embedded Systems

29. 蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
ACM Transactions on Autonomous and Adaptive Systems 3卷3期:頁~頁
An Adaptive Automatically Tuning Intrusion Detection System

30. 蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
Journal of Information Science and Engineering 24卷5期:1361頁~1375頁
Predicting Subcellular Locations of Eukaryotic Proteins using Bayesian and K-nearest Neighbor Classifiers

31. 蔡進發(Jeffrey J. P. Tsai)、(D. Patel)、(C. Chan) ,2009-, (已刊登)
Fundamenta Informaticae 90卷3期:203頁~228頁
A Doctrine of Cognitive Informatics

32. 蔡進發(Jeffrey J. P. Tsai) ,2009-, (已刊登)
Journal of Systems and Software 82卷10期:1578頁~1587頁
Experience on Knowledge-based Software Engineering: A Logic-based Requirements Language and its Industrial Applications

33. 蔡進發(Jeffrey J. P. Tsai) ,2011-01, (已刊登)
INTERACTIVE LEARNING ENVIRONMENTS 19卷1期:45頁~62頁
A Collaborative Multimedia Annotation Tool for Enhancing Knowledge Sharing in CSCL

34. 蔡進發(Jeffrey J. P. Tsai) ,2010-, (撰寫中)
IEEE Transactions on Knowledge and Data Engineering 卷期:頁~頁
Personalized Annotation Management System: A Web 2.0 Collaborative e-Learning Tool through Knowledge Sharing

35. 蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
International Journal on Artificial Intelligence Tools 19卷5期:551頁~595頁
A Model for Object Relational OLAP

36. 蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
International Journal on Artificial Intelligence Tools 20卷1期:179頁~194頁
Cumulative Spectral Repeat Finder (CSRF): A Spectral Approach for Identifying the Length of Repeats in DNA Sequences

37. 蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
EXPERT SYSTEMS WITH APPLICATIONS 37卷12期:8770頁~8783頁
Improving Fuzzy Knowledge Integration with Particle Swarm Optimization

38. 蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
International Journal on Artificial Intelligence Tools 19卷5期:551頁~595頁
A Model for Object Relational OLAP

39. 蔡進發(Jeffrey J. P. Tsai)、許承瑜(Sheu, Phillip C.Y.)、蕭震緯(Chen-Wei Hsiao) ,2010-, (已刊登)
International Journal on Artificial Intelligence Tools 19卷3期:233頁~234頁
Special Issue on Selected Papers from the 9th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2009) PREFACE

40. 蔡進發(Jeffrey J. P. Tsai) ,2009-, (已刊登)
EXPERT SYSTEMS WITH APPLICATIONS 36卷7期:10312頁~10324頁
Improving Peer-to-Peer Performance through Intelligent Social Search

41. 蔡進發(Jeffrey J. P. Tsai) ,2009-, (已刊登)
International Journal on Artificial Intelligence Tools 18卷1期:141頁~161頁
SOA-based Content Delivery Model for Mobile Internet Navigation

42. 蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS 38卷1期:180頁~196頁
Formal Modeling and Analysis of Secure Mobile Agent Systems

43. 蔡進發(Jeffrey J. P. Tsai) ,2006-10, (已刊登)
International Journal on Artificial Intelligence Tools 15卷5期:693頁~694頁
Special issue on bioinformatics - Preface

44. 吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai) ,2006-04, (已刊登)
International Journal on Artificial Intelligence Tools 15卷2期:309頁~322頁
Modular structures and robustness of protein networks

45. 蕭震緯(Chen-Wei Hsiao)、張培均(Pei-Chun Chang)、蔡進發(Jeffrey J. P. Tsai) ,2008-, (已刊登)
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING 24卷期:1361頁~1375頁
Predicting subcellular locations of eukaryotic proteins using bayesian and k-nearest neighbor classifiers

46. 吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai) ,2011-, (已刊登)
IEEE BIBE 2011 1卷1期:頁~頁
Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions caused by Alternative Splicing

47. 蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan) ,2011-10, (已刊登)
IEEE BIBE 2011 卷期:213頁~220頁
The application of molecular markers to identify edible fungi-A case study of Tremella fuciformis

48. 范宗宸(Ming-Jen Fan)、林新力(Hsin-Li Lin)、劉嘉政(Chia Cheng Liu)、蔡進發(Jeffrey J. P. Tsai)* ,2011-10, (已刊登)
IEEE BIBE 2011 卷期:221頁~227頁
TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach

49. 張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
IEEE BIBE 2011 卷期:頁~頁
Ergonomic Designs Based on Musculoskeletal Models

50. 胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
IEEE BIBE 2011 卷期:頁~頁
Molecular Modeling Studies of AmpR Mediated AmpC β-Lactamase Repression

51. 蕭震緯(Chen-Wei Hsiao)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai) ,2011-, (已刊登)
IEEE BIBE 2011 卷期:頁~頁
Object Relational Programming of Biomedical Images

52. 吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai)* ,2011-, (已刊登)
IEEE BIBE 2011 卷期:頁~頁
Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model

非SCI、SSCI、A&HCI、EI、TSSCI...等具審查機制論文
1. 王經篤(Jing-Doo Wang)、劉湘川(Hsiang-Chuan Liu)、蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok) ,2008-, (已刊登)
International Journal of Cognitive Informatics and Natural Intelligence 2卷3期:31頁~42頁
Scaling behavior of Maximal Repeat Distributions in Genomic Sequences

2. 蔡進發(Jeffrey J. P. Tsai) ,2003-, (已刊登)
Annals of Nuclear Medicine and Sciences 17卷3期:213頁~218頁
The Influence of Volatile Anesthetics on Alveolar Epithelial Permeability Measured by Noninvasive Radionuclide Lung Scan

3. 蔡進發(Jeffrey J. P. Tsai) ,2005-12, (已刊登)
健康管理學刊 3卷2期:179頁~187頁
A Bioinformatics Approach for Predicting the Lengths of Motifs

4. 蔡進發(Jeffrey J. P. Tsai) ,2006-, (已刊登)
Asian Journal of Health and Information Sciences 1卷1期:122頁~133頁
Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm

5. 蔡進發(Jeffrey J. P. Tsai) ,2006-10, (已刊登)
Asian Journal of Health and Information Sciences 1卷3期:261頁~275頁
A Novel Feature with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment

6. 蔡進發(Jeffrey J. P. Tsai) ,2010-, (已刊登)
International Journal of Cognitive Informatics and Natural Intelligence 4卷3期:1頁~17頁
Modeling a Secure Sensor Network Using an Extended Elementary Object System

7. 蔡進發(Jeffrey J. P. Tsai) ,2007-01, (已刊登)
Lecture Notes in Bioinformatics 4023卷期:166頁~177頁
Topical Robustness of the Protein-protein Interaction Networks

研討會論文
1. 陳士農(Shih-Nung Chen)、蔡進發(Jeffrey J. P. Tsai) 2003.09. ~ . .
智慧型代理人於癌症相關基因之文獻資料探勘之整合與應用
第六屆工程科技與中西醫學應用研討會(ETCM 2003)

2. 陳士農(Shih-Nung Chen)、蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes
IEEE 5th International Symposium on Multimedia Software Engineering (MSE 2003)

3. 蔡進發(Jeffrey J. P. Tsai)、胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
Object Relational Programming of Biomedical Images
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering

4. 張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
Ergonomic Designs Based on Musculoskeletal Models
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering

5. 吳家樂(Ng, Ka-Lok)、陳玉菁(Yu-ching Chen)、許承瑜(Sheu, Phillip C.Y.)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering,

6. 胡若梅(Rouh-Mei Hu)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
Molecular Modeling Studies of AmpR Mediated AmpC beta-Lactamase Repression
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering

7. 吳家樂(Ng, Ka-Lok)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering

8. 蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan) 2011.10.24~2011.10.26
The Application of Molecular Markers to Identify Edible Fungi - A Case Sudy of Tremella fuciformis
Proceedings of the 11th IEEE Int'l Conf. on Bioinformatics and Bioengineering

9. 范宗宸(Ming-Jen Fan)、蔡進發(Jeffrey J. P. Tsai) 2011.10.24~2011.10.26
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

10. 張春明(Chun-Ming Chang)、蔡進發(Jeffrey J. P. Tsai)、張春明(Chun-Ming Chang) 2011.10.24~2011.10.26
Ergonomic Designs Based on Musculoskeletal Models
IEEE 11th International Conference on Bioinformatics & Bioengineering

11. 范宗宸(Ming-Jen Fan)、蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan) 2011.10.24~2011.10.26
TTRSIS: A cloud computing platform for rice functional genomics research through a reverse genetics approach
11th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2011)

12. 胡若梅(Rouh-Mei Hu)、吳家樂(Ng, Ka-Lok)、蕭震緯(Chen-Wei Hsiao)、蔡進發(Jeffrey J. P. Tsai)、許承瑜(Sheu, Phillip C.Y.) 2008.06.11~2008.06.13
BIOSEMANTIC SYSTEM

13. 蔡進發(Jeffrey J. P. Tsai)、吳家樂(Ng, Ka-Lok) 2007.01.15~2007.01.17
APPLICATIONS OF DOMAIN-DOMAIN INTERACTION IN PATHWAYS STUDY

14. 蔡進發(Jeffrey J. P. Tsai) 1990.07. ~ . .
Classification of Intelligent Simulation
Proceedings of the 1990 Summer Simulation Conf.

15. 蔡進發(Jeffrey J. P. Tsai) 1990.10. ~ . .
On Real-Time Software Testing and Debugging
Proceedings of the 1990 IEEE Computer Software and Applications Conf.

16. 1990.11. ~ . .
KBRMS: An Intelligent Assistant for Requirement Definition
Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence

17. 1990. . ~ . .
A Hybrid Knowledge Representation for Requirement Specification and Reasoning
Proceedings of the 1990 IEEE Conf. on Tools for Artificial Intelligence

18. 1991.03. ~ . .
Integrating Data Collection, Debugging, and Visualization
Proceedings of the 7th International Conference on Advanced Science and Technology

19. 蔡進發(Jeffrey J. P. Tsai) 1991.05. ~ . .
A Research Overview of Distributed Database System Design
Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation

20. 蔡進發(Jeffrey J. P. Tsai) 1991.05. ~ . .
Nested Concurrency and Its Application to Distributed Database Systems Design
Proceedings of the 22nd Annual Pittsburgh Conf. on Modeling and Simulation

21. 1991.05. ~ . .
Timing Errors of Real-Time Software Systems and Their Detection
Proceedings of the 1991 IEEE International Symposium on Software Reliability Engineering

22. 1991.08. ~ . .
A Distributed Cooperative Agents Architecture for Software Development
Proceedings of the IJCAI International Workshop on Intelligent Cooperative Information Systems

23. 1991.09. ~ . .
Artificial Intelligence Techniques for Software Engineering
Proceedings of the Fujitsu International Software Symposium

24. 1991.09. ~ . .
RT-FRORL: A Formal Requirements Specification Language for Specifying and Analyzing Real-Time Systems
Proceedings of the 1991 IEEE International Computer Software and Applications Conference

25. 1991.11. ~ . .
An Event-Based Real-Time Logic to Specify Behavior and Timing Properties of Real-Time Systems
Proceedings of the 1991 IEEE Conf. on Tools for Artificial Intelligence

26. 蔡進發(Jeffrey J. P. Tsai) 1991.11. ~ . .
Is A.I. the Solution for Software Engineering
Proceedings of the3rd IEEE Tools with Artificial Intelligence Conference

27. 1991.11. ~ . .
Non-Monotonic Logic as a Basis for Requirements Specification and Analysis
Proceedings of the IJCAI 1991 International Symposium on Artificial Intelligence

28. 1991.12. ~ . .
ESCHE: Expert System for Feature Identification in Human Chest of Computer Tomography
Proceedings of The World Congress on Expert Systems

29. 1992.09. ~ . .
Visualization and Debugging Distributed Real-Time Software Systems
Proceedings of the 1992 IEEE Int'l Conf. on Automation, Robotics, and Computer Vision

30. 蔡進發(Jeffrey J. P. Tsai) 1992.09. ~ . .
A Framework of Logic-Based Transformation System
Proceedings of the 1992 IEEE Computer Software and Applications Conference

31. 蔡進發(Jeffrey J. P. Tsai) 1992.10. ~ . .
A Framework for Knowledge-Based Systems Verification
Proceedings of the 1992 IEEE System, Man, Cybernetics Conference

32. 蔡進發(Jeffrey J. P. Tsai) 1993.04. ~ . .
A Requirement Specification Language for Autonomous Decentralized Systems Development
Proceedings of IEEE International Symposium on Autonomous Decentralized Systems

33. 蔡進發(Jeffrey J. P. Tsai) 1993.04. ~ . .
Timing Constraints Petri Nets and Their Application to Schedulability Analysis of Real-Time Software
Proceedings of the IEEE Workshop on Parallel and Distributed Real-Time Systems

34. 蔡進發(Jeffrey J. P. Tsai) 1993.06. ~ . .
Debugging of Logic-Based Requirements Languages - A FRORL Approach
Proceedings of the IEEE Int'l Conf. on Software Engineering and Knowledge Engineering

35. 蔡進發(Jeffrey J. P. Tsai) 1993.06. ~ . .
Schedulability Analysis of Real-Time Software Using Timing Constraints Petri Nets
Proceedings of the European Computer Science Conference

36. 蔡進發(Jeffrey J. P. Tsai) 1993.07. ~ . .
Detection of Traffic Congestion Using Fuzzy Operator Logic in Advance-like Systems
Proceedings of the Intelligent Vehicle Symposium

37. 蔡進發(Jeffrey J. P. Tsai) 1994.11. ~ . .
Modeling and Parallel Evaluation of Non-Functional Requirements Using FRORL Requirements Language
Proceedings of the 18th IEEE International Computer Software and Applications Conference

38. 1994.10. ~ . .
A Simple Graph Algorithm for Message-optimized Distributed Computing
Proceedings of the 7th International Conference on Parallel and Distributed Computing

39. 蔡進發(Jeffrey J. P. Tsai) 1994.10. ~ . .
Improving Parallel Execution Performance for Logic Programs Using Mode Information
Proceedings of the 6th IEEE Symposium on Parallel and Distributed Processing

40. 蔡進發(Jeffrey J. P. Tsai) 1995.06. ~ . .
Requirements, Specification, and Analysis of Autonomous Distributed Communication Service
Proceedings of the National Development Symposium

41. 蔡進發(Jeffrey J. P. Tsai) 1995.08. ~ . .
Improving Software Quality Through a New Testing Strategy
Proceedings of the 19th IEEE International Computer Software and Applications Conference

42. 蔡進發(Jeffrey J. P. Tsai) 1995.09. ~ . .
A Knowledge-Based Approach to Specification-Based Software Architecture
Proceedings of the 1995 NSF/DARPA/ONR Software Specification Workshop

43. 蔡進發(Jeffrey J. P. Tsai) 1995.11. ~ . .
A Knowledge-Based Approach for Requirements Analysis
Proceedings of the 1995 IEEE Tools with Artificial Intelligence Conference

44. 蔡進發(Jeffrey J. P. Tsai) 1996.02. ~ . .
A Logic-Based Requirements Language for the Specification and Analysis of Real-Time Systems
Proceedings of the 2nd IEEE Object-Oriented Real-Time Dependable System Workshop

45. 蔡進發(Jeffrey J. P. Tsai) 1996.06. ~ . .
Automatic Generation of Verification Scenario from Systems Requirements Specification
Proceedings of the 8th Int'l Conference on Software Engineering and Knowledge Engineering

46. 蔡進發(Jeffrey J. P. Tsai) 1996.08. ~ . .
Verifying Timing Properties of Distributed Real-Time Systems Using Timing Constraints Petri Nets
Proceedings of the 20th IEEE International Computer Software and Applications Conference

47. 蔡進發(Jeffrey J. P. Tsai) 1996.10. ~ . .
An Efficient Analysis Method for Large-Scale Concurrent Systems
Proceedings of Int'l IEEE High-Assurance Systems Engineering

48. 蔡進發(Jeffrey J. P. Tsai) 1996.10. ~ . .
A Hybrid Execution Model for Logic-Based Requirements Specifications
Proceedings of IEEE International High-Assurance Systems Engineering

49. 蔡進發(Jeffrey J. P. Tsai) 1996.12. ~ . .
An Integrated Architecture for Distributed Real-Time Systems Analysis
Proceedings of the 2nd World Conference on Integrated Design and Process Technology

50. 蔡進發(Jeffrey J. P. Tsai) 1997.02. ~ . .
An Incremental Verification Approach for Software Architecture Specification of Real-Time Systems
Proceeding of the 3rd IEEE Object Oriented Real-Time Dependable System Workshop

51. 蔡進發(Jeffrey J. P. Tsai) 1997.08. ~ . .
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems
Proceedings of IEEE Int'l Symposium on High-Assurance Systems Engineering

52. 蔡進發(Jeffrey J. P. Tsai) 1997.10. ~ . .
An Incremental Verification of Software Architecture
ACM SIGSOFT Notics

53. 蔡進發(Jeffrey J. P. Tsai) 1998.04. ~ . .
Multimedia Software Engineering
Proceedings of Int'l Conf. on Software Engineering

54. 蔡進發(Jeffrey J. P. Tsai) 1999.06. ~ . .
Architecture Specification of Multimedia Software Systems
Proceedings of the 6th IEEE International Conference on Multimedia Computing and Systems

55. 蔡進發(Jeffrey J. P. Tsai) 2000.06. ~ . .
A Compositional Approach for Modeling and Verification of Component-Based Software Systems
Proceedings of the NSF/ARL Workshop on Software Evolution

56. 蔡進發(Jeffrey J. P. Tsai) 2000.06. ~ . .
An Agent-based Internet Software Integration System
Proceedings of the 4th World Conference on Integrated Design and Process Technology

57. 蔡進發(Jeffrey J. P. Tsai) 2001.03. ~ . .
Formal Analysis of Software Security Systems Architecture
Proceedings of the 5th IEEE Symposium on Autonomous Decentralized Systems

58. 蔡進發(Jeffrey J. P. Tsai) 2002.05.16~2002.05.17
Modeling a Secure Mobile Agent System with Petri Nets Scheme
Proceedings of the 12th Information Security Conference

59. 蔡進發(Jeffrey J. P. Tsai) 2002.06. ~ . .
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

60. 蔡進發(Jeffrey J. P. Tsai) 2002.08.19~2002.08.20
Modeling and Heuristic Technique for Efficient Verification of Component-Based Software Systems
Proceedings of the 1st IEEE Int’l Conf. on Cognitive Informatics

61. 蔡進發(Jeffrey J. P. Tsai) 2002.11.4 ~2002.11.6
Machine Learning and Software Engineering
Proceedings of the IEEE Int’l Conf. on Tools with Artificial Intelligent

62. 蔡進發(Jeffrey J. P. Tsai) 2002.06. ~ . .
A Secure Mobile Agent System Model Based on Extended Elementary Object Net
Proceedings of the World Congress on Integrated Design and Process Technology

63. 蔡進發(Jeffrey J. P. Tsai) 2003.03.10~2003.03.12
A Framework for Cancer-related Genes Mining over the Internet
Proceedings of the 3rd IEEE Symp. on Bioinformatics and Bioengineering

64. 蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
Extended Elementary Object System Model for Mobile Agent Security
Proceedings of the 2003 World Congress on Integrated Design and Process Technology

65. 蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
Searching the Regulatory Protein Binding Site by Steepest Ascent Algorithm
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering

66. 蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
Subcellular Localization Prediction of Eukaryotic Protein Using Functional Domain Frequency Measure
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering

67. 蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
An Intelligent Agent-Based Biomedical Literature Mining System for Cancer-Related Genes
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering

68. 蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
A Bioinformatics Approach for Mining Cancer-related Genes over Internet
Proceedings of the IEEE ICDE Workshop on Bioinformatics

69. 蔡進發(Jeffrey J. P. Tsai) 2003.12. ~ . .
In Silico Discovery of Cancer-Related Genes by Functional Domain Analysis
Proceedings of the 5th IEEE Int'l Symp. on Multimedia Software Engineering

70. 蔡進發(Jeffrey J. P. Tsai) 2004.05. ~ . .
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

71. 蔡進發(Jeffrey J. P. Tsai) 2004.05. ~ . .
FMGA: Finding Motifs by Genetic Algorithm
Proceedings of the 5th IEEE Int'l Symp. on Bioinformatics and Bioengineering

72. 蔡進發(Jeffrey J. P. Tsai) 2004.05.21~2004.05.22
Analysis of Cancerous Genes based on Microarray Gene Expression Data
Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory

73. 蔡進發(Jeffrey J. P. Tsai) 2004.05.21~2004.05.22
Regulatory Protein Binding Site Analysis Using Position Weight Matrix
Proceedings of the 21st Workshop on Combinatorial Mathematics and Computational Theory

74. 蔡進發(Jeffrey J. P. Tsai) 2004.09. ~ . .
A Secure Mobile Agent System Model Based on Extended Elementary Object Net
Proceedings of the 28th IEEE Int'l Computer Software and Applications Conference

75. 蔡進發(Jeffrey J. P. Tsai) 2004.09. ~ . .
A Multiple-Class System for KDD Intrusion Detection
Proceedings of the 28th IEEE Int'l Computer Software and Applications Conference

76. 蔡進發(Jeffrey J. P. Tsai) 2004.12. ~ . .
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

77. 蔡進發(Jeffrey J. P. Tsai) 2004.12. ~ . .
Predication of Gene Regulatory Networks using Differential Expression of cDNA Microarray Data
Proceedings of the 6th IEEE Int'l Symp. on Multimedia Software Engineering

78. 蔡進發(Jeffrey J. P. Tsai) 2005.05. ~ . .
Reliability Verification of Microarray Gene Expression Database
Proceedings of the 8th ETCM Conference

79. 蔡進發(Jeffrey J. P. Tsai) 2005.05. ~ . .
Recognizing Cancer-Related Genes based on Single Nucleotide Polymorphism
Proceedings of the 8th ETCM Conference

80. 蔡進發(Jeffrey J. P. Tsai) 2005.08. ~ . .
Study of the Protein-Protein Interaction Networks via Random Graph Approach
Proceedings of the 4th IEEE Int’l Conf. on Cognitive Informatics

81. 蔡進發(Jeffrey J. P. Tsai) 2005.09. ~ . .
Evolutionary Analysis of MTA-Related Proteins
Proceedings of the Bioinformatics in Taiwan (BIT),

82. 蔡進發(Jeffrey J. P. Tsai) 2005.11. ~ . .
Modular Structure of Protein-Protein Interaction
Proceedings of the NCTS Symp. on Network Biology

83. 蔡進發(Jeffrey J. P. Tsai) 2005.12. ~ . .
Structure-Based Virtual Screening of HDAC Proteins with Functional Evolutionary Analysis
Proceedings of the National Computer Symp.

84. 蔡進發(Jeffrey J. P. Tsai) 2005.12. ~ . .
A Graphical Simulation Environment for Modeling and Analysis of Sensor Networks
Proceedings of the 6th IEEE Int’l Symp. on Multimedia

85. 蔡進發(Jeffrey J. P. Tsai) 2006.02. ~ . .
An Analysis of H5N1 Influenza A Virus Hemagglutinin
Proceedings of the 4th Asia Pacific Bioinformatics Conference, (APBC06)

86. 蔡進發(Jeffrey J. P. Tsai) 2006.02.13~2006.02.16
Topological Stability of the Protein-Protein Interaction Networks
Proceedings of the 4th Asia Pacific Bioinformatics Conference (APBC06)

87. 蔡進發(Jeffrey J. P. Tsai) 2006.02.13~2006.02.16
Large Scale Predication of Domain-Domain Interactions from Protein-Protein Interactions
Proceedings of the 4th Asia Pacific Bioinformatics Conference (APBC06)

88. 蔡進發(Jeffrey J. P. Tsai) 2006.05. ~ . .
Modeling an E-Auctioning System using Formal Method with a Trusted Agent Proxy
Proceedings of Workshop on Advances in Computer Science and Engineering

89. 蔡進發(Jeffrey J. P. Tsai) 2006.06.5 ~2006.06.7
A Ubiquitous Warning System for Asthma-Inducement
Proceedings of the IEEE Workshop on Multimedia Technology and Ubiquitous Computing

90. 蔡進發(Jeffrey J. P. Tsai) 2006.06.5 ~2006.06.7
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems
Proceedings of the 1st IEEE International Conference on Sensor Network, Ubiquitous, and Trustworthy Computing

91. 蔡進發(Jeffrey J. P. Tsai) 2006.09.17~2006.09.21
Separating Functional and Non-functional Concerns through Coordination: an Application to Reliability
Proceedings of the 30th IEEE Int'l Computer Software and Applications Conference

92. 蔡進發(Jeffrey J. P. Tsai) 2006.09. ~ . .
Fuzzy Model Tuning for Intrusion Detection Systems
Proceedings of the 3rd IFIP International Autonomic and Trusted Computing Conference

93. 蔡進發(Jeffrey J. P. Tsai) 2006.12. ~ . .
Proceedings of the 8th IEEE International Symposium on Multimedia
Issues, Challenges, and Future Directions in Multimedia Research

94. 蔡進發(Jeffrey J. P. Tsai) 2006.12.14~2006.12.16
Potential Function Optimization using Particle Swarm Approach to One-class Classification
Proceedings of the 14th National Conference on Fuzzy Theory and Its Applications

95. 蔡進發(Jeffrey J. P. Tsai) 2008.05.5 ~2008.05.7
A Framework for Extrusion Detection Using Machine Learning
Proceedings of the 11th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC08)

96. 蔡進發(Jeffrey J. P. Tsai) 2008.06.1 ~2008.06.6
IHCread: An Automatic Immuohistochemistry Image Analysis Tool
Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science

97. 蔡進發(Jeffrey J. P. Tsai) 2008.06.1 ~2008.06.6
Sharing Cancer-Related Genes Research on Peer-to-Peer Network
Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science

98. 蔡進發(Jeffrey J. P. Tsai) 2008.06.1 ~2008.06.6
A Systematic Genes Expression Explorer Tool for Multiple and Paired Chips
Proceedings of 11th SDPS Transdisciplinary Conference on Integrated Design and Process Science

99. 蔡進發(Jeffrey J. P. Tsai) 2008.06.11~2008.06.13
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)

100. 蔡進發(Jeffrey J. P. Tsai) 2008.06.11~2008.06.13
Biosemantic System: Applications of Structured Natural Language to Biological and Biochemical Research
Proceedings of the 1st IEEE Ambient Semantic Computing Workshop (ASC2008)

101. 蔡進發(Jeffrey J. P. Tsai) 2008.08.14~2008.08.16
Modeling of Secure Sensor Networks Using an Extended Elementary Object System
Proceedings of the 7th IEEE Int’l Conf. on Cognitive Informatics

102. 蔡進發(Jeffrey J. P. Tsai) 2008.09.23~2008.09.26
A Context-driven Content Adaptation Planner for Improving Mobile Internet Accessibility
Proceedings of the 2008 IEEE Int’l Conf. on Web Services

103. 蔡進發(Jeffrey J. P. Tsai) 2008.11.26~2008.11.28
Local Alignment of Protein Structures Using Non-rigid Approach
Proceedings of the 8th Int’l Conf. on Intelligent Systems Design and Applications

104. 蔡進發(Jeffrey J. P. Tsai) 2009.05.22~2009.05.24
Residue Contact with Dynamic Time Warping and Least Squares Adjustment for Protein Structure Alignment
Proceedings of the ITAOI

105. 蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
A Novel Approach for Motif Identification in Unaligned Molecular Sequences
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering

106. 蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering

107. 蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
Phylogenetic Analysis using Nuclear-encoded Mitochondrial Proteins
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering

108. 蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
Describing Dynamic Biological Systems using SPDL and SCDL
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering

109. 蔡進發(Jeffrey J. P. Tsai) 2009.06.22~2009.06.24
SCDL Applications to Drug Discovery
Proceedings of the 10th IEEE Int'l Conf. on Bioinformatics and Bioengineering

110. 蔡進發(Jeffrey J. P. Tsai) 2010.11.18~2010.11.20
A Computer-aided System for Discriminating Normal from Cancerous Areas in IHC Liver Cancer Tissue Images Using K-means Clustering
The 2010 Conference on Technologies and Applications of Artificial Intelligence

111. 鍾景光(Jing-Gung Chung)、蔡進發(Jeffrey J. P. Tsai)、范宗宸(Ming-Jen Fan)、范宗宸(Ming-Jen Fan) 2011.10.24~2011.10.26
The application of molecular markers to identify edible fungi-A case study of Tremella fuciformis
11th IEEE International Conference on Bioinformatics and Bioengineering (BIBE2011)

專書
1. 蔡進發(Jeffrey J. P. Tsai)、 2002.
Compositional Verification of Concurrent and Real-Time Systems

2. 蔡進發(Jeffrey J. P. Tsai)、 2005.
Machine Learning Application in Software Engineering

3. 蔡進發(Jeffrey J. P. Tsai)、 2006.
Security Modeling and Analysis of Mobile Agent Systems

4. 蔡進發(Jeffrey J. P. Tsai)、 2006.
Ubiquitous Intelligence and Computing

5. 蔡進發(Jeffrey J. P. Tsai)、 2007.
Advances in Machine Learning Applications in Software Engineering

6. 蔡進發(Jeffrey J. P. Tsai) 2008.
Sensor Networks, Ubiquitous and Trustworthy Computing

專書論文
1. 蔡進發(Jeffrey J. P. Tsai)、 2002.
Handbook of Software Engineering and Knowledge Engineering, Vol. I

2. 蔡進發(Jeffrey J. P. Tsai)、 2005.
Handbook of Software Engineering and Knowledge Engineering, Vol. III

3. 蔡進發(Jeffrey J. P. Tsai)、 2006.
Encyclopedia of Computer Science and Engineering

4. 蔡進發(Jeffrey J. P. Tsai) 2007.
Advances in Machine Learning Application in Software Engineering

5. 蔡進發(Jeffrey J. P. Tsai)、 2007.
Wireless Ad Hoc Networking: Personal-Area, Local-Area, and Sensory-Area Networks

6. 蔡進發(Jeffrey J. P. Tsai)、 2007.
Advances in Machine Learning Application in Software Engineering

7. 蔡進發(Jeffrey J. P. Tsai) 2008.
Encyclopedia of Computer Science and Engineering Engineering

8. 蔡進發(Jeffrey J. P. Tsai) 2009.
Machine Learning in Cyber Trust: Security, Privacy, and Reliability