default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJeffrey J. P. Tsai
Jeffrey J. Tsai 0001 – Jeffrey Tsai 0001
Person information
- affiliation: Asia University, Taichung City, Taiwan
- affiliation: University of Illinois at Chicago, USA
Other persons with the same name
- Jeffrey J. Tsai 0003 — University of Washington, Department of Neurology and Harborview Medical Center, Seattle, WA, USA
- Jeffrey Tsai 0002 (aka: Jeff Tsai 0002) — Micron Technology Inc., Milpitas, San Jose, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2011
[b4]Zhenwei Yu, Jeffrey J. P. Tsai:
Intrusion Detection - A Machine Learning Approach. Series in Electrical and Computer Engineering 3, WorldScientific 2011, ISBN 978-1-84816-447-5, pp. 1-184- 2006
- [b3]Lu Ma, Jeffrey J. P. Tsai:
Security Modeling and Analysis of Mobile Agent Systems. Series in Electrical and Computer Engineering 5, WorldScientific 2006, ISBN 978-1-86094-634-9, pp. 1-212 - 2001
- [b2]Jeffrey J. P. Tsai, Bing Li:
Hybrid Parallel Execution Model for Logic-Based Specification Languages. Series on Software Engineering and Knowledge Engineering 10, WorldScientific 2001, ISBN 978-981-02-4096-7, pp. 1-228 - 1993
- [b1]Jeffrey J. P. Tsai, Thomas J. Weigert:
Knowledge-Based Software Development for Real-Time Distributed Systems. Series on Software Engineering and Knowledge Engineering 1, WorldScientific 1993, ISBN 978-981-02-1128-8, pp. 1-236
Journal Articles
- 2025
- [j102]Kun-Yi Chen, Chi-Ren Shyu, Yuan-Yu Tsai, William Baskett, Chi-Yu Chang, Che-Yi Chou, Jeffrey J. P. Tsai, Zon-Yin Shae:
Effective Non-IID Degree Estimation for Robust Federated Learning in Healthcare Datasets. J. Heal. Informatics Res. 9(3): 437-464 (2025) - 2023
- [j101]Hsien-Ju Ko
, Hao-Cheng Yang, Jeffrey J. P. Tsai, Wen-Shyong Yu:
Performance evaluation of infinite impulse response filter synthesis using parallel-Direct-Ladder form under finiteword-Length effects. Signal Process. 210: 109065 (2023) - 2022
- [j100]Zon-Yin Shae, Jeffrey J. P. Tsai:
A Clinical Kidney Intelligence Platform Based on Big Data, Artificial Intelligence, and Blockchain Technology. Int. J. Artif. Intell. Tools 31(3): 2241007:1-2241007:6 (2022) - 2021
- [j99]Eskezeia Yihunie Dessie, Jeffrey J. P. Tsai, Jan-Gowth Chang, Ka-Lok Ng:
A novel miRNA-based classification model of risks and stages for clear cell renal cell carcinoma patients. BMC Bioinform. 22-S(10): 270 (2021) - 2020
- [j98]Charles C. N. Wang, Jennifer Jin, Jan-Gowth Chang, Masahiro Hayakawa, Atsushi Kitazawa, Jeffrey J. P. Tsai, Phillip C.-Y. Sheu:
Identification of most influential co-occurring gene suites for gastrointestinal cancer using biomedical literature mining and graph-based influence maximization. BMC Medical Informatics Decis. Mak. 20(1): 208 (2020) - [j97]Yan Zhuang, Lincoln R. Sheets, Yin-Wu Chen, Zonyin Shae, Jeffrey J. P. Tsai, Chi-Ren Shyu:
A Patient-Centric Health Information Exchange Framework Using Blockchain Technology. IEEE J. Biomed. Health Informatics 24(8): 2169-2176 (2020) - [j96]Hsien-Ju Ko, Jeffrey J. P. Tsai:
Robust and Computationally Efficient Digital IIR Filter Synthesis and Stability Analysis Under Finite Precision Implementations. IEEE Trans. Signal Process. 68: 1807-1822 (2020) - 2019
- [j95]Ing-Ray Chen, Jia Guo, Ding-Chau Wang, Jeffrey J. P. Tsai, Hamid Al-Hamadi, Ilsun You:
Trust-Based Service Management for Mobile Cloud IoT Systems. IEEE Trans. Netw. Serv. Manag. 16(1): 246-263 (2019) - [j94]Jia Guo, Ing-Ray Chen, Ding-Chau Wang, Jeffrey J. P. Tsai, Hamid Al-Hamadi:
Trust-Based IoT Cloud Participatory Sensing of Air Quality. Wirel. Pers. Commun. 105(4): 1461-1474 (2019) - 2018
- [j93]Ji Wang, Ing-Ray Chen, Jeffrey J. P. Tsai, Ding-Chau Wang:
Trust-based mechanism design for cooperative spectrum sensing in cognitive radio networks. Comput. Commun. 116: 90-100 (2018) - [j92]Charles C. N. Wang, Yun-Lung Chung, I-Seng Chang, Jeffrey J. P. Tsai:
A semantic recommendation system for cancer-related articles. Encycl. Semantic Comput. Robotic Intell. 2(2): 1850013:1-1850013:7 (2018) - [j91]Yating Wang, Ing-Ray Chen, Jin-Hee Cho, Ananthram Swami, Yen-Cheng Lu, Chang-Tien Lu, Jeffrey J. P. Tsai:
CATrust: Context-Aware Trust Management for Service-Oriented Ad Hoc Networks. IEEE Trans. Serv. Comput. 11(6): 908-921 (2018) - 2017
- [j90]Jia Guo, Ing-Ray Chen, Jeffrey J. P. Tsai:
A survey of trust computation models for service management in internet of things systems. Comput. Commun. 97: 1-14 (2017) - [j89]Charles C. N. Wang, Jeffrey J. P. Tsai:
Use of semantics in bio-informatics. Encycl. Semantic Comput. Robotic Intell. 1(1): 1630017:1-1630017:7 (2017) - [j88]Shun-Tsung Chen, Chien-Hung Huang, Victor C. Kok, Chi-Ying F. Huang, Jin-Shuei Ciou, Jeffrey J. P. Tsai, Nilubon Kurubanjerdjit, Ka-Lok Ng:
Drug repurposing and therapeutic anti-microRNA predictions for inhibition of oxidized low-density lipoprotein-induced vascular smooth muscle cell-associated diseases. J. Bioinform. Comput. Biol. 15(1): 1650043:1-1650043:23 (2017) - [j87]Yating Wang, Ing-Ray Chen, Jin-Hee Cho, Jeffrey J. P. Tsai:
Trust-Based Task Assignment With Multiobjective Optimization in Service-Oriented Ad Hoc Networks. IEEE Trans. Netw. Serv. Manag. 14(1): 217-232 (2017) - 2016
- [j86]David Agustriawan, Chien-Hung Huang, Jim Jinn-Chyuan Sheu, Shan-Chih Lee, Jeffrey J. P. Tsai, Nilubon Kurubanjerdjit, Ka-Lok Ng:
DNA methylation-regulated microRNA pathways in ovarian serous cystadenocarcinoma: A meta-analysis. Comput. Biol. Chem. 65: 154-164 (2016) - 2015
- [j85]Praveen Kumar Korla, Jack Cheng, Chien-Hung Huang, Jeffrey J. P. Tsai, Yu-Hsuan Liu, Nilubon Kurubanjerdjit, Wen-Tsong Hsieh, Huey-Yi Chen, Ka-Lok Ng:
FARE-CAFE: a database of functional and regulatory elements of cancer-associated fusion events. Database J. Biol. Databases Curation 2015 (2015) - [j84]Wen-Tsong Hsieh, Ke-Rung Tzeng, Jin-Shuei Ciou, Jeffrey J. P. Tsai, Nilubon Kurubanjerdjit, Chien-Hung Huang, Ka-Lok Ng:
Transcription factor and microRNA-regulated network motifs for cancer and signal transduction networks. BMC Syst. Biol. 9(S-1): S5 (2015) - [j83]Charles C. N. Wang, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Towards Semantic Biomedical Problem Solving. Int. J. Semantic Comput. 9(4): 415-432 (2015) - [j82]Ke Hao, Phillip C.-Y. Sheu, Hiroshi Yamaguchi, Jeffrey J. P. Tsai:
KSOS - An Operating System for Knowledge Societies. Int. J. Semantic Comput. 9(4): 483-502 (2015) - 2014
- [j81]Charles C. N. Wang, Pei-Chun Chang, Ka-Lok Ng, Chun-Ming Chang, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
A model comparison study of the flowering time regulatory network in Arabidopsis. BMC Syst. Biol. 8: 15 (2014) - 2013
- [j80]Nilubon Kurubanjerdjit, Chien-Hung Huang, Yu-Liang Lee, Jeffrey J. P. Tsai, Ka-Lok Ng:
Prediction of microRNA-regulated protein interaction pathways in Arabidopsis using machine learning algorithms. Comput. Biol. Medicine 43(11): 1645-1652 (2013) - 2011
- [j79]Rong-Ming Chen, M. T. Hou, N. W. Chang, Y. T. Chen, Jeffrey J. P. Tsai:
Cumulative Spectral repeat Finder (Csrf): a Spectral Approach for Identifying the Length of repeats in DNA Sequences. Int. J. Artif. Intell. Tools 20(1): 179-194 (2011) - [j78]Stephen J. H. Yang, Jia Zhang, Addison Y. S. Su, Jeffrey J. P. Tsai:
A collaborative multimedia annotation tool for enhancing knowledge sharing in CSCL. Interact. Learn. Environ. 19(1): 45-62 (2011) - 2010
- [j77]Angus F. M. Huang, Stephen J. H. Yang, Minhong Wang, Jeffrey J. P. Tsai:
Improving fuzzy knowledge integration with particle swarmoptimization. Expert Syst. Appl. 37(12): 8770-8783 (2010) - [j76]S. Ikeda, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
A Model for Object Relational OLAP. Int. J. Artif. Intell. Tools 19(5): 551-595 (2010) - [j75]Vineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang:
Modeling a Secure Sensor Network Using an Extended Elementary Object System. Int. J. Cogn. Informatics Nat. Intell. 4(3): 1-17 (2010) - [j74]Stephen J. H. Yang, Jia Zhang, Jeff J. S. Huang, Jeffrey J. P. Tsai:
Using Description Logics for the Provision of Context-Driven Content Adaptation Services. Int. J. Syst. Serv. Oriented Eng. 1(1): 96-129 (2010) - 2009
- [j73]Stephen J. H. Yang, Jia Zhang, Leon Lin, Jeffrey J. P. Tsai:
Improving peer-to-peer search performance through intelligent social search. Expert Syst. Appl. 36(7): 10312-10324 (2009) - [j72]Yingxu Wang, Witold Kinsner, James A. Anderson, Du Zhang, Yiyu Yao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai, Witold Pedrycz, Jean-Claude Latombe, Lotfi A. Zadeh, Dilip Patel, Christine W. Chan:
A Doctrine of Cognitive Informatics (CI). Fundam. Informaticae 90(3): 203-228 (2009) - [j71]Stephen J. H. Yang, Jia Zhang, Jeffrey J. P. Tsai, Angus F. M. Huang:
Soa-Based Content Delivery Model for Mobile Internet Navigation. Int. J. Artif. Intell. Tools 18(1): 141-161 (2009) - [j70]Jeffrey J. P. Tsai, Jia Zhang, Jeff J. S. Huang, Stephen J. H. Yang:
Supporting CSCW and CSCL with Intelligent Social Grouping Services. Int. J. Softw. Sci. Comput. Intell. 1(1): 51-63 (2009) - [j69]Jeffrey J. P. Tsai, Alan Liu:
Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications. J. Syst. Softw. 82(10): 1578-1587 (2009) - 2008
- [j68]Jing-Doo Wang, Hsiang-Chuan Liu, Jeffrey J. P. Tsai, Ka-Lok Ng:
Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences. Int. J. Cogn. Informatics Nat. Intell. 2(3): 31-42 (2008) - [j67]Shu Wang, Rouh-Mei Hu, Han C. W. Hsiao, David A. Hecht, Ka-Lok Ng, Rong-Ming Chen, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Using SCDL for Integrating Tools and Data for Complex Biomedical Applications. Int. J. Semantic Comput. 2(2): 291-308 (2008) - [j66]Han C. W. Hsiao, Shih-Hao Chen, Judson Pei-Chun Chang, Jeffrey J. P. Tsai:
Predicting Subcellular Locations of Eukaryotic Proteins Using Bayesian and /k/-Nearest Neighbor Classifiers. J. Inf. Sci. Eng. 24(5): 1361-1375 (2008) - [j65]Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert:
An adaptive automatically tuning intrusion detection system. ACM Trans. Auton. Adapt. Syst. 3(3): 10:1-10:25 (2008) - [j64]Lu Ma, Jeffrey J. P. Tsai:
Formal Modeling and Analysis of a Secure Mobile-Agent System. IEEE Trans. Syst. Man Cybern. Part A 38(1): 180-196 (2008) - 2007
- [j63]Jeffrey J. P. Tsai:
Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing. Int. J. Distributed Sens. Networks 3(2): 135-136 (2007) - [j62]Shangping Ren, Yue Yu, Kevin A. Kwiat, Jeffrey J. P. Tsai:
A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments. Int. J. Distributed Sens. Networks 3(2): 175-199 (2007) - [j61]Jeffrey J. P. Tsai, Mukesh Singhal:
Introduction: Special issue of the IEEE SUTC'06. ACM Trans. Auton. Adapt. Syst. 2(3): 7 (2007) - [j60]Shangping Ren, Yue Yu, Nianen Chen, Jeffrey J. P. Tsai, Kevin A. Kwiat:
The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems. ACM Trans. Auton. Adapt. Syst. 2(3): 10 (2007) - [j59]Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert:
An Automatically Tuning Intrusion Detection System. IEEE Trans. Syst. Man Cybern. Part B 37(2): 373-384 (2007) - 2006
- [j58]Ka-Lok Ng, Chien-Hung Huang, Po-Han Lee, Jywe-Fei Fang, Jeffrey J. P. Tsai:
Modular Structures and Robustness of Protein Networks. Int. J. Artif. Intell. Tools 15(2): 309-322 (2006) - [j57]Rong-Ming Chen, Kuei-Chung Shih, Rouh-Mei Hu, Jeffrey J. P. Tsai:
Predicting Cancerous Genes Based on Regulation Truth Tables. Int. J. Artif. Intell. Tools 15(5): 753-766 (2006) - [j56]Zhenwei Yu, Jeffrey J. P. Tsai:
An efficient intrusion detection system using a boosting-based learning algorithm. Int. J. Comput. Appl. Technol. 27(4): 223-231 (2006) - [j55]Hung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Ming-Bo Lin:
A Novel Cache-based Approach to Large Polygonal Mesh Simplification. J. Inf. Sci. Eng. 22(4): 843-861 (2006) - [j54]Hung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Rong-Ming Chen, Ming-Bo Lin:
Generating high-quality discrete LOD meshes for 3D computer games in linear time. Multim. Syst. 11(5): 480-494 (2006) - 2005
- [j53]Jeffrey J. P. Tsai, Du Zhang:
Guest Editors' Introduction. Int. J. Softw. Eng. Knowl. Eng. 15(3): 473-474 (2005) - [j52]Rong-Ming Chen, Falcon F. M. Liu, Jeffrey J. P. Tsai:
A Software Architecture for Finding Motifs Using Genetic Algorithm. Int. J. Softw. Eng. Knowl. Eng. 15(3): 571-585 (2005) - 2004
- [j51]Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai:
Constraint Propagation And Progressive Verification For Component-Based Process Model. Int. J. Softw. Eng. Knowl. Eng. 14(5): 471-496 (2004) - 2003
- [j50]Du Zhang, Jeffrey J. P. Tsai:
Machine Learning and Software Engineering. Softw. Qual. J. 11(2): 87-119 (2003) - [j49]Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay:
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. IEEE Trans. Knowl. Data Eng. 15(2): 405-422 (2003) - [j48]Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen:
Fuzzy Rule Base Systems Verification Using High-Level Petri Nets. IEEE Trans. Knowl. Data Eng. 15(2): 457-473 (2003) - [j47]Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov:
An Approach for Modeling and Analysis of Security System Architectures. IEEE Trans. Knowl. Data Eng. 15(5): 1099-1119 (2003) - 2002
- [j46]Stephen J. H. Yang, Jeffrey J. P. Tsai, Irene Y. L. Chen:
Development of Wireless Embedded Systems Using Component Based Software. Int. J. Softw. Eng. Knowl. Eng. 12(2): 135-153 (2002) - 2001
- [j45]Timothy K. Shih, Shi-Kuo Chang, Jeffrey J. P. Tsai, Jianhua Ma, Runhe Huang:
Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs. Ann. Softw. Eng. 12(1): 139-165 (2001) - [j44]Jeffrey J. P. Tsai, Eric Y. T. Juan:
Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. Comput. J. 44(6): 504-530 (2001) - [j43]Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou:
Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. IEEE Trans. Software Eng. 27(5): 422-448 (2001) - 2000
- [j42]Jeffrey J. P. Tsai, Kuang Xu:
A comparative study of formal verification techniques for software architecture specifications. Ann. Softw. Eng. 10: 207-223 (2000) - [j41]Dinesh Kadamuddi, Jeffrey J. P. Tsai:
Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. IEEE Trans. Software Eng. 26(4): 340-361 (2000) - 1999
- [j40]Jeffrey J. P. Tsai, Bing Li:
A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper). Australas. J. Inf. Syst. 6(2) (1999) - [j39]Jeffrey J. P. Tsai, Kuang Xu:
An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. Ann. Softw. Eng. 7: 95-126 (1999) - [j38]Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla:
An Incremental Verification Algorithm for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. 9(2): 203-216 (1999) - [j37]Kuang Xu, Jeffrey J. P. Tsai:
Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language. Int. J. Softw. Eng. Knowl. Eng. 9(6): 767-800 (1999) - [j36]Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay:
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. IEEE Trans. Knowl. Data Eng. 11(1): 187-201 (1999) - 1998
- [j35]Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul:
Incremental Verification of Architecture Specification Language for Real-Time Systems. Int. J. Softw. Eng. Knowl. Eng. 8(3): 347-360 (1998) - [j34]Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert:
A Logic-Based Transformation System. IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998) - [j33]Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. ACM Trans. Program. Lang. Syst. 20(5): 917-979 (1998) - 1997
- [j32]Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan:
Parallel Evaluation of Software Architecture Specifications. Commun. ACM 40(1): 83-86 (1997) - 1996
- [j31]Alan Liu, Jeffrey J. P. Tsai:
A Method for Requirements Analysis and Knowledge Elicitation. Int. J. Artif. Intell. Tools 5(1-2): 167-184 (1996) - [j30]Jeffrey J. P. Tsai, Yao-Dong Bi, Stephen J. H. Yang:
A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support. Int. J. Softw. Eng. Knowl. Eng. 6(3): 355-400 (1996) - 1995
- [j29]Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang:
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. IEEE Trans. Software Eng. 21(1): 32-49 (1995) - 1994
- [j28]Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair:
Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. Int. J. Softw. Eng. Knowl. Eng. 4(2): 205-228 (1994) - [j27]Thomas J. Weigert, Jeffrey J. P. Tsai:
A Computationally Tractable Nonmonotonic Logic. IEEE Trans. Knowl. Data Eng. 6(1): 57-63 (1994) - 1993
- [j26]Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi:
An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems. Int. J. Artif. Intell. Tools 2(1): 71-92 (1993) - [j25]Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu:
Fuzzy Operator Logic and Fuzzy Resolution. J. Autom. Reason. 10(1): 59-78 (1993) - 1992
- [j24]Jeffrey J. P. Tsai, Owen S. Chan, Alan Liu:
Intelligent syntax-directed editor that models user proficiency. Appl. Artif. Intell. 6(2): 166-194 (1992) - [j23]Jeffrey J. P. Tsai, Hung-Chin Jang:
A Knowledge-Based Approach for the Specification and Analysis of Real-Time Software Systems. Int. J. Artif. Intell. Tools 1(1): 1-36 (1992) - [j22]Robert V. Binder, Jeffrey J. P. Tsai:
Kb/RMS: an Intelligent Assistant for Requirement Definition. Int. J. Artif. Intell. Tools 1(4): 503-522 (1992) - [j21]Jeffrey J. P. Tsai:
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 2(4): 487 (1992) - [j20]Jeffrey J. P. Tsai, Thomas J. Weigert:
An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic. Inf. Sci. 63(3): 261-283 (1992) - [j19]Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang:
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. IEEE Trans. Software Eng. 18(12): 1076-1100 (1992) - 1991
- [j18]Jeffrey J. P. Tsai, Thomas Weigert:
HCLIE: a logic-based requirement language for new software engineering paradigms. Softw. Eng. J. 6(4): 137-151 (1991) - [j17]Xuhua Liu, Kwang-Ya Fang, Jeffrey J. P. Tsai, Thomas J. Weigert:
lambda-Resolution and interpretation of -implication in fuzzy operator logic. Inf. Sci. 56(1-3): 259-278 (1991) - [j16]Jeffrey J. P. Tsai, Ray-Yuan Sheu:
A knowledge-based system for Ada® software development. J. Syst. Integr. 1(2): 163-194 (1991) - [j15]Jeffrey J. P. Tsai, Thomas J. Weigert, Xuhua Liu:
Reasoning under uncertainty in fuzzy operator logic. IEEE Trans. Syst. Man Cybern. 21(6): 1604-1608 (1991) - 1990
- [j14]Jeffrey J. P. Tsai, Mark Metea, John Cesarone:
A knowledge-base navigation scheme for autonomous land vehicles. Appl. Artif. Intell. 4(1): 1-14 (1990) - [j13]Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen:
A Noninvasive Architecture to Monitor Real-Time Distributed Systems. Computer 23(3): 11-23 (1990) - [j12]Ming Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai:
Integration strategy for distributed intelligent systems. J. Intell. Robotic Syst. 3(2): 131-146 (1990) - [j11]Jeffrey J. P. Tsai, Thomas J. Weigert:
A knowledge-based approach for checking software information using a non-monotonic reasoning system. Knowl. Based Syst. 3(3): 131-138 (1990) - [j10]Ming Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai:
Integrated intelligent simulation environment. Simul. 54(6): 291-295 (1990) - [j9]Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi:
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. IEEE Trans. Software Eng. 16(8): 897-916 (1990) - 1989
- [j8]Jeffrey J. P. Tsai, Alan Liu:
Knowledge-based system for rapid prototyping. Knowl. Based Syst. 2(4): 239-248 (1989) - 1988
- [j7]Ming Rao, Jeffrey J. P. Tsai, Tsung-Shann Jiang:
An intelligent decisionmaker for optimal control. Appl. Artif. Intell. 2(3-4): 285-305 (1988) - [j6]Ming Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai:
IDSCA: An intelligent direction selector for the controller's action in multiloop control systems. Int. J. Intell. Syst. 3(4): 361-379 (1988) - [j5]Jeffrey J. P. Tsai:
A knowledge-based system for software design. IEEE J. Sel. Areas Commun. 6(5): 828-841 (1988) - [j4]Jeffrey J. P. Tsai, Joel C. Ridge:
Intelligent Support for Specifications Transformation. IEEE Softw. 5(6): 28-35 (1988) - [j3]Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu:
An Integrated Life-Cycle Model for Software Maintenance. IEEE Trans. Software Eng. 14(8): 1128-1144 (1988) - 1987
- [j2]Stephen S. Yau, Jeffrey J. P. Tsai:
Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications. IEEE Trans. Software Eng. 13(3): 355-361 (1987) - 1986
- [j1]Stephen S. Yau, Jeffrey J. P. Tsai:
A Survey of Software Design Techniques. IEEE Trans. Software Eng. 12(6): 713-721 (1986)
Conference and Workshop Papers
- 2023
- [c112]Davide Brugali, Phillip C.-Y. Sheu, Jeffrey Tsai:
Message from the General Co-Chairs IRC 2023. IRC 2023: xiv - 2022
- [c111]Charles C. N. Wang, Tzu-Tsen Yu, Jeffrey J. P. Tsai:
A Model-Based Prognostic Predictor for Urothelial Bladder Carcinoma Through the Integrated Bioinformatics Analysis. BIBE 2022: 231-236 - [c110]Zon-Yin Shae, Kun-Yi Chen, Chi-Yu Chang, Yuan-Yu Tsai, Che-Yi Chou, William Baskett, Chi-Ren Shyu, Jeffrey J. P. Tsai:
Thoughts on Non-IID Data Impact in Healthcare with Federated Learning Medical Blockchain. CogMI 2022: 20-26 - 2021
- [c109]Zon-Yin Shae, Jeffrey J. P. Tsai:
On the Design of Medical Data Ecosystem for Improving Healthcare Research and Commercial Incentive. CogMI 2021: 124-131 - 2020
- [c108]Yan Zhuang, Lincoln Sheets, Xiyuan Gao, Yuanyuan Shen, Zonyin Shae, Jeffrey J. P. Tsai, Chi-Ren Shyu:
Development of A Blockchain Framework for Virtual Clinical Trials. AMIA 2020 - [c107]Zon-Yin Shae, Jeffrey J. P. Tsai:
Deep Learning Mechanism for Pervasive Internet Addiction Prediction. CogMI 2020: 1-7 - 2019
- [c106]Yan Zhuang, Lincoln Sheets, Zonyin Shae, Yin-Wu Chen, Jeffrey J. P. Tsai, Chi-Ren Shyu:
Applying Blockchain Technology to Enhance Clinical Trial Recruitment. AMIA 2019 - [c105]Zonyin Shae, Zhi-Ren Tsai, Chi-Yu Chang, Jeffrey J. P. Tsai:
Random Sampling Deep Learning Mechanism for Discovering Unique Property of No Specific Local Feature Images. CogMI 2019: 226-234 - [c104]Zonyin Shae, Jeffrey J. P. Tsai:
AI Blockchain Platform for Trusting News. ICDCS 2019: 1610-1619 - 2018
- [c103]Ezra B. Wijaya, Erwandy Lim, David Agustriawan, Chien-Hung Huang, Jeffrey J. P. Tsai, Ka-Lok Ng:
Utilize Imputation Method and Meta-analysis to Identify DNA-Methylation-Mediated microRNAs in Ovarian Cancer. AlCoB 2018: 140-153 - [c102]Yan Zhuang, Lincoln Sheets, Zonyin Shae, Jeffrey J. P. Tsai, Chi-Ren Shyu:
Applying Blockchain Technology for Health Information Exchange and Persistent Monitoring for Clinical Trials. AMIA 2018 - [c101]His-Chung Kung, Rong-Ming Chen, Jeffrey J. P. Tsai, Rouh-Mei Hu:
Stratification of Human Gut Microiome and Building a SVM-Based Classifier. BIBE 2018: 14-17 - [c100]Ming-Yi Yen, Hsueh-Ting Chu, Yu-Ching Chen, Jeffrey J. P. Tsai:
Quantitative Analysis of ECI2 Expression from RNA-Seq for Breast Cancer Gene Signatures. BIBE 2018: 251-254 - [c99]Eskezeia Yihunie Dessie, Ezra B. Wijaya, Chien-Hung Huang, David Agustriawan, Jeffrey J. P. Tsai, Ka-Lok Ng:
Identification of Several Core Overexpressed MicroRNAs that Could Predict Survival in Patients with Ovarian Cancer. BIBE 2018: 263-268 - [c98]Jia-Hua Cai, Yu-Ching Chen, Hsueh-Ting Chu, Jeffrey J. P. Tsai:
Identification of Potential Long Non-coding RNA Biomarkers for Breast Cancer Patients with Somatic BRCA1 Mutations from RNA-Seq Datasets. BIBE 2018: 273-276 - [c97]Jhih-Ying Chen, Chia-Min Chen, Pei-Chun Chang, Jeffrey J. P. Tsai:
The Potential Dual-Target Inhibitors for HER2/HSP90 Proteins from Traditional Chinese Medicine. BIBE 2018: 277-282 - [c96]Charles C. N. Wang, Pei-Chun Chang, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Computational Modeling of the Early Development of Embryonic Leaves in Maize. BIBE 2018: 352-355 - [c95]Ing-Ray Chen, Jia Guo, Ding-Chao Wang, Jeffrey J. P. Tsai, Hamid Al-Hamadi, Ilsun You:
Trust as a Service for IoT Service Management in Smart Cities. HPCC/SmartCity/DSS 2018: 1358-1365 - [c94]Jeffrey Tsai:
Transform Blockchain into Distributed Parallel Computing Architecture for Precision Medicine. ICDCS 2018: 1290-1299 - [c93]Charles C. N. Wang, I-Seng Chang, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Application of Semantic Computing in Cancer on Secondary Data Analysis. IRC 2018: 407-412 - 2017
- [c92]Jing-Doo Wang, Yi-Chun Wang, Rouh-Mei Hu, Jeffrey J. P. Tsai:
Extracting the Co-occurrences of DNA Maximal Repeats in both Human and Viruses. BIBE 2017: 106-111 - [c91]Jia Guo, Ing-Ray Chen, Ding-Chao Wang, Jeffrey J. P. Tsai, Hamid Al-Hamadi:
A Case Study of IoT Participatory Sensing of Hazardous Ozone Using Traces. FSDM 2017: 479-484 - [c90]Zonyin Shae, Jeffrey J. P. Tsai:
On the Design of a Blockchain Platform for Clinical Trial and Precision Medicine. ICDCS 2017: 1972-1980 - [c89]Jia Guo, Ing-Ray Chen, Jeffrey J. P. Tsai:
A Mobile Cloud Hierarchical Trust Management Protocol for IoT Systems. MobileCloud 2017: 125-130 - 2016
- [c88]Chien-Hung Huang, Sheng-Jia Weng, Praveen Kumar Korla, Jywe-Fei Fang, Jeffrey J. P. Tsai, Nilubon Kurubanjerdjit, Ka-Lok Ng:
Identification and Analysis of Palindromes for RNA Sequences. BIBE 2016: 95-100 - [c87]Tzu-Fan Chen, Rong-Ming Chen, Jeffrey J. P. Tsai, Rouh-Mei Hu:
Fine Classification of Human Gut Microbiota by Using Hierarchical Clustering Approach. BIBE 2016: 109-112 - [c86]Chun-Ming Chang, Wei Shin Wong, Jeffrey J. P. Tsai:
Stent Design for Compensating Wall Shear Stress via Computational Modeling and Fluid Dynamics. BIBE 2016: 204-207 - [c85]Charles C. N. Wang, Pei-Chun Chang, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
A Comparison Study of Reverse Engineering Gene Regulatory Network Modeling. BIBE 2016: 356-362 - [c84]Charles C. N. Wang, Yu-Liang Lee, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Application of Latent Semantic Analysis to Clustering of Cardiovascular Gene Ontology. BIBE 2016: 363-368 - [c83]Han C. W. Hsiao, Sean H. F. Chen, Jeffrey J. P. Tsai:
Deep Learning for Risk Analysis of Specific Cardiovascular Diseases Using Environmental Data and Outpatient Records. BIBE 2016: 369-372 - [c82]Wen-Ling Chan, Mei-Chun Yeh, Jing-Doo Wang, Jan-Gowth Chang, Jeffrey J. P. Tsai:
Genome-Wide Functional Identification of Maximal Consensus Patterns Derived from Multiple Species piRNAs. BIBE 2016: 377-381 - [c81]Bing-Rong Jiang, Wan-Ye Wu, Ching-Hsuan Chien, Jeffrey J. P. Tsai, Wen-Ling Chan:
piRNAtarget: The Integrated Database for Mining Functionality of piRNA and Its Targets. BIBE 2016: 382-386 - [c80]Kuo-Yi Lin, Jeffrey J. P. Tsai:
A Deep Learning-Based Customer Forecasting Tool. BigMM 2016: 198-205 - [c79]Yi Chung, Yu-Ching Chen, Jeffrey J. P. Tsai:
National Representatively Healthcare Database and the Application. BigMM 2016: 377-384 - [c78]Jing-Doo Wang, Wen-Ling Chan, Charles C. N. Wang, Jan-Gowth Chang, Jeffrey J. P. Tsai:
Mining distinctive DNA patterns from the upstream of human coding&non-coding genes via class frequency distribution. CIBCB 2016: 1-6 - [c77]Jia Guo, Ing-Ray Chen, Jeffrey J. P. Tsai, Hamid Al-Hamadi:
Trust-Based IoT Participatory Sensing for Hazard Detection and Response. ICSOC Workshops 2016: 79-84 - 2013
- [c76]Jangam Vikram Kumar, Wen-Yih Chen, Jeffrey J. P. Tsai, Wen-Pin Hu:
Molecular Simulation Methods for Selecting Thrombin-Binding Aptamers. ITCS 2013: 743-749 - [c75]Charles C. N. Wang, David A. Hecht, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Semantic Computing and Drug Discovery - A Preliminary Report. ICSC 2013: 453-458 - 2011
- [c74]Yu-Liang Lee, Jie-Wei Weng, Wen-Chin Chiang, Yi-Wen Lin, Ka-Lok Ng, Jeffrey J. P. Tsai, Chi-Ying F. Huang:
Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing. BIBE 2011: 33-38 - [c73]Han C. W. Hsiao, Rouh-Mei Hu, Wei-Liang Tai, Rong-Ming Chen, Jeffrey J. P. Tsai:
Object Relational Programming of Biomedical Images. BIBE 2011: 52-57 - [c72]Chun-Ming Chang, Jeffrey J. P. Tsai:
Ergonomic Designs Based on Musculoskeletal Models. BIBE 2011: 112-116 - [c71]David A. Hecht, Charles C. N. Wang, Rouh-Mei Hu, Jeffrey J. P. Tsai:
Molecular Modeling Studies of AmpR Mediated AmpC ß-Lactamase Repression. BIBE 2011: 195-200 - [c70]Jing-Gung Chung, Jeffrey J. P. Tsai, Chien-Yih Lin, Yang-Chia Shih, Jin-Shih Chen, Ming-Jen Fan:
The Application of Molecular Markers to Identify Edible Fungi: A Case Study of Tremella Fuciformis. BIBE 2011: 213-220 - [c69]Ming-Jen Fan, Su-May Yu, Tzu-Chieh Hung, Wei-Quan Chen, Yue-Ie Hsing, Hsin-Li Lin, Chia-Cheng Liu, Jing-Gung Chung, Jeffrey J. P. Tsai:
TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach. BIBE 2011: 221-227 - [c68]Charles C. N. Wang, Ka-Lok Ng, Yu-Ching Chen, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model. BIBE 2011: 228-233 - [c67]Wei-Liang Tai, Rouh-Mei Hu, Han C. W. Hsiao, Rong-Ming Chen, Jeffrey J. P. Tsai:
Blood Cell Image Classification Based on Hierarchical SVM. ISM 2011: 129-136 - 2009
- [c66]Alan C. H. Chen, Han C. W. Hsiao, Jeffrey J. P. Tsai:
Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins. BIBE 2009: 374-377 - [c65]Rong-Ming Chen, M. T. Hou, Jeffrey J. P. Tsai:
A Novel Approach for Motif Identification in Unaligned Molecular Sequences. BIBE 2009: 378-381 - [c64]David A. Hecht, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
SCDL Applications to Drug Discovery. BIBE 2009: 449-454 - [c63]Charles C. N. Wang, David A. Hecht, Han C. W. Hsiao, Phillip C.-Y. Sheu, Jeffrey J. P. Tsai:
Describing Dynamic Biological Systems in SPDL and SCDL. BIBE 2009: 455-460 - [c62]Jong-Waye Ou, Rouh-Mei Hu, Rong-Ming Chen, C. Y. Tang, Jeffrey J. P. Tsai:
An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data. BIBE 2009: 467-470 - 2008
- [c61]Vineela Devarashetty, Jeffrey J. P. Tsai, Lu Ma, Du Zhang:
Modeling a secure sensor network system using an Extended Elementary Object System. IEEE ICCI 2008: 67-74 - [c60]Stephen J. H. Yang, Jia Zhang, Angus F. M. Huang, Jeffrey J. P. Tsai, Philip S. Yu:
A Context-Driven Content Adaptation Planner for Improving Mobile Internet Accessibility. ICWS 2008: 88-95 - [c59]Yan Luo, Jeffrey J. P. Tsai:
A Framework for Extrusion Detection Using Machine Learning. ISORC 2008: 83-88 - [c58]Zhenwei Yu, Jeffrey J. P. Tsai:
A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks. SUTC 2008: 272-279 - [c57]David A. Hecht, Rouh-Mei Hu, Rong-Ming Chen, Jong-Waye Ou, Chao-Yen Hsu, Haitao Gong, Ka-Lok Ng, Han C. W. Hsiao, Jeffrey J. P. Tsai, Phillip C.-Y. Sheu:
BioSemantic System: Applications of Structured Natural Language to Biological and Biochemical Research. SUTC 2008: 386-393 - 2006
- [c56]Zhenwei Yu, Jeffrey J. P. Tsai:
Fuzzy Model Tuning for Intrusion Detection Systems. ATC 2006: 193-204 - [c55]Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai:
Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability. COMPSAC (2) 2006: 63-66 - [c54]Masahito Hirakawa, Max Mühlhäuser, Susanto Rahardja, Phillip C.-Y. Sheu, Larry Smarr, Jeffrey J. P. Tsai:
Issues, Challenges, and Future Directions in Multimedia Research. ISM 2006: 773 - [c53]Shangping Ren, Limin Shen, Jeffrey J. P. Tsai:
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. SUTC (1) 2006: 60-67 - [c52]Hsueh-Ting Chu, Chir-Chang Huang, Zhi-Hui Lian, Jeffrey J. P. Tsai:
A ubiquitous warning system for asthma-inducement. SUTC (2) 2006: 186-191 - 2005
- [c51]Po-Han Lee, Chien-Hung Huang, Jywe-Fei Fang, Jeffrey J. P. Tsai, Ka-Lok Ng:
Study of the protein-protein interaction networks via random graph approach. IEEE ICCI 2005: 110-119 - [c50]Yan Luo, Jeffrey J. P. Tsai:
A Graphical Simulation System for Modeling and Analysis of Sensor Networks. ISM 2005: 474-482 - [c49]Chien-Hung Huang, Jywe-Fei Fang, Jeffrey J. P. Tsai, Ka-Lok Ng:
Topological Robustness of the Protein-Protein Interaction Networks. Systems Biology and Regulatory Genomics 2005: 166-177 - 2004
- [c48]Shih-Nung Chen, Jeffrey J. P. Tsai, Chih-Wei Huang, Rong-Ming Chen, Raymond C. K. Lin:
Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics. BIBE 2004: 142-148 - [c47]Falcon F. M. Liu, Jeffrey J. P. Tsai, Rong-Ming Chen, S. N. Chen, S. H. Shih:
FMGA: Finding Motifs by Genetic Algorithm. BIBE 2004: 459-466 - [c46]Zhenwei Yu, Jeffrey J. P. Tsai:
A Multi-Class SLIPPER System for Intrusion Detection. COMPSAC 2004: 212-217 - [c45]Lu Ma, Jeffrey J. P. Tsai, Tadao Murata:
A Secure Mobile Agent System Model Based on Extended Elementary Object System. COMPSAC 2004: 218-223 - [c44]Hung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Rong-Ming Chen, Ming-Bo Lin:
A linear time algorithm for high quality mesh simplification. ISMSE 2004: 169-176 - [c43]Han-Wen Hsiao, Meng-Shu Tsai, Jeffrey J. P. Tsai:
Distributed discovery of asynchronous partial periodic patterns in sequence data using modified periodicity transform. ISMSE 2004: 370-377 - [c42]Kuei-Chung Shih, Rong-Ming Chen, Rouh-Mei Hu, Falcon F. M. Liu, Hung-Kuang Chen, Jeffrey J. P. Tsai:
Prediction of gene regulatory networks using differential expression of cDNA microarray data. ISMSE 2004: 378-385 - 2003
- [c41]Jeffrey J. P. Tsai, Jan-Gowth Chang, S. H. Shih, Rong-Ming Chen, Han-Wen Hsiao, Rouh-Mei Hu, S. N. Chen, M. M. Lee, Falcon F. M. Liu, Wen-Ling Chan:
A Framework for Cancer-Related Genes Mining over the Internet. BIBE 2003: 426-435 - [c40]Han-Wen Hsiao, Jeffrey J. P. Tsai, Shih-Hao Chen:
Subcellular localization prediction of eukaryotic proteins using functional domain frequency measure. ISMSE 2003: 273-278 - [c39]Shih-Nung Chen, Jeffrey J. P. Tsai, Wei-Hao Chen:
An intelligent agent-based biomedical literature mining system for cancer-related genes. ISMSE 2003: 279-286 - [c38]W. F. Huang, Jeffrey J. P. Tsai, Rouh-Mei Hu, Rong-Ming Chen:
Searching the regulatory protein binding site by steepest ascent algorithm. ISMSE 2003: 313-318 - [c37]Han-Wen Hsiao, Jeffrey J. P. Tsai, Peixuan Wu, Rouh-Mei Hu:
In silico discovery of cancer-related genes by functional domain analysis. ISMSE 2003: 319-326 - 2002
- [c36]Jeffrey J. P. Tsai, Eric Y. T. Juan:
Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. IEEE ICCI 2002: 59-68 - [c35]Du Zhang, Jeffrey J. P. Tsai:
Machine Learning and Software Engineering. ICTAI 2002: 22- - 2001
- [c34]Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai:
Formal Analysis of Software Security System Architectures. ISADS 2001: 426-434 - 1999
- [c33]Jeffrey J. P. Tsai, Kuang Xu:
Architecture Specification of Multimedia Software Systems. ICMCS, Vol. 1 1999: 97-102 - 1997
- [c32]Jeffrey J. P. Tsai, Eric Y. T. Juan:
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. HASE 1997: 188-193 - [c31]Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul:
Incremental verification of architecture specification language for real-time systems. WORDS 1997: 215-222 - 1996
- [c30]Jeffrey J. P. Tsai, Stephen J. H. Yang, Yao-Hsiung Chang, Eric Y. T. Juan:
Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. COMPSAC 1996: 36-40 - [c29]Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata:
A new compositional method for condensed state-space verification. HASE 1996: 104-111 - [c28]Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan:
Transaction integration for reusable hard real-time components. HASE 1996: 166-175 - [c27]Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert:
Verification Criterion Directed Testing for Formal Specifications. SEKE 1996: 393-399 - [c26]Jeffrey J. P. Tsai, Thomas J. Weigert:
A logic-based requirements language for the specification and analysis of real-time systems. WORDS 1996: 8-16 - 1995
- [c25]Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert:
Improving Software Quality through a Novel Testing Strategy. COMPSAC 1995: 224-229 - [c24]Alan Liu, Jeffrey J. P. Tsai:
A knowledge-based approach to requirements analysis. ICTAI 1995: 26-33 - 1994
- [c23]Jeffrey J. P. Tsai, Bing Li, Alan Liu:
Modeling and parallel evaluation of non-functional requirements using FRORL requirements language. COMPSAC 1994: 11-16 - [c22]Jeffrey J. P. Tsai, Bing Li:
Improving parallel execution performance for logic programs using mode information. SPDP 1994: 144-151 - 1993
- [c21]Jeffrey J. P. Tsai:
A requirements language for autonomous decentralized systems development. ISADS 1993: 115-121 - [c20]Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair:
Debugging Logic-Based Requirements Specifications - a FRORL Approach. SEKE 1993: 372-379 - 1992
- [c19]Jeffrey J. P. Tsai, Ray-Yuan Sheu, Bing Li:
A framework of a logic-based transformation system. COMPSAC 1992: 294-299 - 1991
- [c18]Jeffrey J. P. Tsai, Hung-Chin Jang, Karen J. Schellinger:
RT-FRORL: a formal requirements specification language for specifying real-time systems. COMPSAC 1991: 142-148 - [c17]Horng-Yuan Chen, Jeffrey J. P. Tsai, Yao-Dong Bi:
An event-based real-time logic to specify the behavior and timing properties of real-time systems. ICTAI 1991: 210-219 - [c16]Jeffrey J. P. Tsai, Ray-Yuan Sheu:
A Distributed Cooperative Agents Architecture for Software Development. The Next Generation of Information Systems 1991: 271-290 - [c15]Jeffrey J. P. Tsai, Yao-Dong Bi:
Timing errors in real-time systems and their detection. ISSRE 1991: 116-123 - 1990
- [c14]Jeffrey J. P. Tsai, Kwang-Ya Fang, Yao-Dong Bi:
On real-time software testing and debugging. COMPSAC 1990: 512-518 - [c13]Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang:
A hybrid knowledge representation as a basis of requirement specification and reasoning. TAI 1990: 70-76 - [c12]Robert V. Binder, Jeffrey J. P. Tsai:
KB/RMS: an intelligent assistant for requirement definition. TAI 1990: 610-616 - 1989
- [c11]Jeffrey J. P. Tsai, Thomas Weigert:
Exploratory prototyping through the use of frames and production rules. COMPSAC 1989: 455-462 - [c10]Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen:
A knowledge-based debugger for real-time software systems based on a noninterference testing architecture. COMPSAC 1989: 642-649 - [c9]Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen:
A replay mechanism for non-interference real-time software testing and debugging. ICSM 1989: 209-218 - [c8]Jeffrey J. P. Tsai, Shun-Tzu Tsai, Alan Liu:
A frame and rule based system to support software development using an integrated software engineering paradigm. TAI 1989: 282-289 - 1988
- [c7]Jeffrey J. P. Tsai, Mikio Aoyama, Y. L. Chang:
Rapid prototyping using FRORL language. COMPSAC 1988: 410-417 - [c6]Jeffrey J. P. Tsai, David Y. Yun, Mehdi T. Harandi, Murat M. Tanik, Wei-Tek Tsai, Walt Scacchi:
Expert systems and software engineering. COMPSAC 1988 - [c5]Jeffrey J. P. Tsai, Thomas J. Weigert, Mikio Aoyama:
A declarative approach to software requirement specification languages. ICCL 1988: 414-421 - [c4]Ming Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai:
Integrated Environment for Intelligent Control. IEA/AIE (Vol. 1) 1988: 466-474 - 1987
- [c3]Nark B. Metea, Jeffrey J. P. Tsai:
Route planning for intelligent autonomous land vehicles using hierarchical terrain representation. ICRA 1987: 1947-1952 - 1986
- [c2]Jeffrey J. P. Tsai, Waldo C. Kabat:
Verification of software specifications using automated reasoning techniques (abstract). ACM Conference on Computer Science 1986: 475 - 1984
- [c1]Stephen S. Yau, Jeffrey J. P. Tsai:
A Graph-Based Software Maintenance Environment. COMPCON 1984: 321-324
Parts in Books or Collections
- 2008
- [p2]Yanhong A. Liu, Jeffrey J. P. Tsai:
System Monitoring. Wiley Encyclopedia of Computer Science and Engineering 2008 - [p1]Jeffrey J. P. Tsai, Du Zhang, Avinash Sahay, Eric Y. T. Juan:
Knowledge Verification. Wiley Encyclopedia of Computer Science and Engineering 2008
Editorship
- 2018
- [e5]Jeffrey Tsai, Ernesto Damiani, Xiaoqing (Frank) Liu, Incheon Paik:
2018 IEEE International Conference on Cognitive Computing, ICCC 2018, San Francisco, CA, USA, July 2-7, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-7241-9 [contents] - 2009
- [e4]Jeffrey J. P. Tsai, Phillip C.-Y. Sheu, Han C. W. Hsiao:
Ninth IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2009, June 22-24, 2009, Taichung, Taiwan. IEEE Computer Society 2009, ISBN 978-0-7695-3656-9 [contents] - 2008
- [e3]Mukesh Singhal, Giovanna Di Marzo Serugendo, Jeffrey J. P. Tsai, Wang-Chien Lee, Kay Römer, Yu-Chee Tseng, Han C. W. Hsiao:
IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), 11-13 June 2008, Taichung, Taiwan. IEEE Computer Society 2008, ISBN 978-0-7695-3158-8 [contents] - 2006
- [e2]Jianhua Ma, Hai Jin, Laurence Tianruo Yang, Jeffrey J. P. Tsai:
Ubiquitous Intelligence and Computing, Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings. Lecture Notes in Computer Science 4159, Springer 2006, ISBN 3-540-38091-4 [contents] - 1995
- [e1]Jeffrey J. P. Tsai:
Dependability of AI Systems - Guest Editor's Introduction. IEEE Trans. Knowl. Data Eng. 7(1): 1-3 (1995)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-09-09 03:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
