A Graph-Based Software Maintenance Environment. - Stephen S. Yau; Jeffrey J. P. Tsai (COMPCON, 1984)

Verification of software specifications using automated reasoning techniques (abstract). - Jeffrey J. P. Tsai; Waldo C. Kabat (ACM Conference on Computer Science, 1986)

A Survey of Software Design Techniques. - Stephen S. Yau; Jeffrey J. P. Tsai (IEEE Trans. Software Eng., 1986)

Route planning for intelligent autonomous land vehicles using hierarchical terrain representation. - Nark B. Metea; Jeffrey J. P. Tsai (ICRA, 1987)

Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications. - Stephen S. Yau; Jeffrey J. P. Tsai (IEEE Trans. Software Eng., 1987)

Rapid prototyping using FRORL language. - Jeffrey J. P. Tsai; Mikio Aoyama; Y. L. Chang (COMPSAC, 1988)

Expert systems and software engineering. - Jeffrey J. P. Tsai; David Y. Yun; Mehdi T. Harandi; Murat M. Tanik; Wei-Tek Tsai; Walt Scacchi (COMPSAC, 1988)

A declarative approach to software requirement specification languages. - Jeffrey J. P. Tsai; Thomas J. Weigert; Mikio Aoyama (ICCL, 1988)

Integrated Environment for Intelligent Control. - Ming Rao; Tsung-Shann Jiang; Jeffrey J. P. Tsai (IEA/AIE (Vol. 1), 1988)

An intelligent decisionmaker for optimal control. - Ming Rao; Jeffrey J. P. Tsai; Tsung-Shann Jiang (Appl. Artif. Intell., 1988)

IDSCA: An intelligent direction selector for the controller's action in multiloop control systems. - Ming Rao; Tsung-Shann Jiang; Jeffrey J. P. Tsai (Int. J. Intell. Syst., 1988)

A knowledge-based system for software design. - Jeffrey J. P. Tsai (IEEE J. Sel. Areas Commun., 1988)

Intelligent Support for Specifications Transformation. - Jeffrey J. P. Tsai; Joel C. Ridge (IEEE Softw., 1988)

An Integrated Life-Cycle Model for Software Maintenance. - Stephen S. Yau; Robin A. Nicholl; Jeffrey J. P. Tsai; Sying-Syang Liu (IEEE Trans. Software Eng., 1988)

A knowledge-based debugger for real-time software systems based on a noninterference testing architecture. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (COMPSAC, 1989)

Exploratory prototyping through the use of frames and production rules. - Jeffrey J. P. Tsai; Thomas Weigert (COMPSAC, 1989)

A replay mechanism for non-interference real-time software testing and debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (ICSM, 1989)

A frame and rule based system to support software development using an integrated software engineering paradigm. - Jeffrey J. P. Tsai; Shun-Tzu Tsai; Alan Liu (TAI, 1989)

Knowledge-based system for rapid prototyping. - Jeffrey J. P. Tsai; Alan Liu (Knowl. Based Syst., 1989)

On real-time software testing and debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Yao-Dong Bi (COMPSAC, 1990)

A hybrid knowledge representation as a basis of requirement specification and reasoning. - Jeffrey J. P. Tsai; Thomas J. Weigert; Hung-Chin Jang (TAI, 1990)

A knowledge-base navigation scheme for autonomous land vehicles. - Jeffrey J. P. Tsai; Mark Metea; John Cesarone (Appl. Artif. Intell., 1990)

A Noninvasive Architecture to Monitor Real-Time Distributed Systems. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen (Computer, 1990)

Integration strategy for distributed intelligent systems. - Ming Rao; Tsung-Shann Jiang; Jeffrey J. P. Tsai (J. Intell. Robotic Syst., 1990)

A knowledge-based approach for checking software information using a non-monotonic reasoning system. - Jeffrey J. P. Tsai; Thomas J. Weigert (Knowl. Based Syst., 1990)

Integrated intelligent simulation environment. - Ming Rao; Tsung-Shann Jiang; Jeffrey J. P. Tsai (Simul., 1990)

A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging. - Jeffrey J. P. Tsai; Kwang-Ya Fang; Horng-Yuan Chen; Yao-Dong Bi (IEEE Trans. Software Eng., 1990)

RT-FRORL: a formal requirements specification language for specifying real-time systems. - Jeffrey J. P. Tsai; Hung-Chin Jang; Karen J. Schellinger (COMPSAC, 1991)

An event-based real-time logic to specify the behavior and timing properties of real-time systems. - Horng-Yuan Chen; Jeffrey J. P. Tsai; Yao-Dong Bi (ICTAI, 1991)

A Distributed Cooperative Agents Architecture for Software Development. - Jeffrey J. P. Tsai; Ray-Yuan Sheu (The Next Generation of Information Systems, 1991)

Timing errors in real-time systems and their detection. - Jeffrey J. P. Tsai; Yao-Dong Bi (ISSRE, 1991)

HCLIE: a logic-based requirement language for new software engineering paradigms. - Jeffrey J. P. Tsai; Thomas Weigert (Softw. Eng. J., 1991)

lambda-Resolution and interpretation of -implication in fuzzy operator logic. - Xuhua Liu; Kwang-Ya Fang; Jeffrey J. P. Tsai; Thomas J. Weigert (Inf. Sci., 1991)

A knowledge-based system for Ada® software development. - Jeffrey J. P. Tsai; Ray-Yuan Sheu (J. Syst. Integr., 1991)

Reasoning under uncertainty in fuzzy operator logic. - Jeffrey J. P. Tsai; Thomas J. Weigert; Xuhua Liu (IEEE Trans. Syst. Man Cybern., 1991)

A framework of a logic-based transformation system. - Jeffrey J. P. Tsai; Ray-Yuan Sheu; Bing Li (COMPSAC, 1992)

Intelligent syntax-directed editor that models user proficiency. - Jeffrey J. P. Tsai; Owen S. Chan; Alan Liu (Appl. Artif. Intell., 1992)

Kb/RMS: an Intelligent Assistant for Requirement Definition. - Robert V. Binder; Jeffrey J. P. Tsai (Int. J. Artif. Intell. Tools, 1992)

A Knowledge-Based Approach for the Specification and Analysis of Real-Time Software Systems. - Jeffrey J. P. Tsai; Hung-Chin Jang (Int. J. Artif. Intell. Tools, 1992)

Guest Editor's Introduction. - Jeffrey J. P. Tsai (Int. J. Softw. Eng. Knowl. Eng., 1992)

An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic. - Jeffrey J. P. Tsai; Thomas J. Weigert (Inf. Sci., 1992)

A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. - Jeffrey J. P. Tsai; Thomas J. Weigert; Hung-Chin Jang (IEEE Trans. Software Eng., 1992)

A requirements language for autonomous decentralized systems development. - Jeffrey J. P. Tsai (ISADS, 1993)

Debugging Logic-Based Requirements Specifications - a FRORL Approach. - Jeffrey J. P. Tsai; Alan Liu; Krishnakumar R. Nair (SEKE, 1993)

An Event-Based Real-Time Logic for the Specification and Analysis of Real-Time Systems. - Horng-Yuan Chen; Jeffrey J. P. Tsai; Yao-Dong Bi (Int. J. Artif. Intell. Tools, 1993)

Fuzzy Operator Logic and Fuzzy Resolution. - Thomas J. Weigert; Jeffrey J. P. Tsai; Xuhua Liu (J. Autom. Reason., 1993)

Knowledge-Based Software Development for Real-Time Distributed Systems - Jeffrey J. P. Tsai; Thomas J. Weigert (WorldScientific, 1993)

Modeling and parallel evaluation of non-functional requirements using FRORL requirements language. - Jeffrey J. P. Tsai; Bing Li; Alan Liu (COMPSAC, 1994)

Improving parallel execution performance for logic programs using mode information. - Jeffrey J. P. Tsai; Bing Li (SPDP, 1994)

Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach. - Jeffrey J. P. Tsai; Alan Liu; Krishnakumar R. Nair (Int. J. Softw. Eng. Knowl. Eng., 1994)

A Computationally Tractable Nonmonotonic Logic. - Thomas J. Weigert; Jeffrey J. P. Tsai (IEEE Trans. Knowl. Data Eng., 1994)

Improving Software Quality through a Novel Testing Strategy. - Xiaomu Zeng; Jeffrey J. P. Tsai; Thomas J. Weigert (COMPSAC, 1995)

A knowledge-based approach to requirements analysis. - Alan Liu; Jeffrey J. P. Tsai (ICTAI, 1995)

Dependability of AI Systems - Guest Editor's Introduction. - Jeffrey J. P. Tsai (IEEE Trans. Knowl. Data Eng., 1995)

Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications. - Jeffrey J. P. Tsai; Steve Jennhwa Yang; Yao-Hsiung Chang (IEEE Trans. Software Eng., 1995)

Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets. - Jeffrey J. P. Tsai; Stephen J. H. Yang; Yao-Hsiung Chang; Eric Y. T. Juan (COMPSAC, 1996)

A new compositional method for condensed state-space verification. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata (HASE, 1996)

Transaction integration for reusable hard real-time components. - Jeffrey J. P. Tsai; Bing Li; Eric Y. T. Juan (HASE, 1996)

Verification Criterion Directed Testing for Formal Specifications. - Ziaomu Zeng; Jeffrey J. P. Tsai; Thomas J. Weigert (SEKE, 1996)

A logic-based requirements language for the specification and analysis of real-time systems. - Jeffrey J. P. Tsai; Thomas J. Weigert (WORDS, 1996)

A Method for Requirements Analysis and Knowledge Elicitation. - Alan Liu; Jeffrey J. P. Tsai (Int. J. Artif. Intell. Tools, 1996)

A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support. - Jeffrey J. P. Tsai; Yao-Dong Bi; Stephen J. H. Yang (Int. J. Softw. Eng. Knowl. Eng., 1996)

Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan (HASE, 1997)

Parallel Evaluation of Software Architecture Specifications. - Jeffrey J. P. Tsai; Bing Li; Eric Y. T. Juan (Commun. ACM, 1997)

Incremental Verification of Architecture Specification Language for Real-Time Systems. - Jeffrey J. P. Tsai; A. Prasad Sistla; Avinash Sahay; Raymond A. Paul (Int. J. Softw. Eng. Knowl. Eng., 1998)

A Logic-Based Transformation System. - Jeffrey J. P. Tsai; Bing Li; Thomas J. Weigert (IEEE Trans. Knowl. Data Eng., 1998)

Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata (ACM Trans. Program. Lang. Syst., 1998)

Architecture Specification of Multimedia Software Systems. - Jeffrey J. P. Tsai; Kuang Xu (ICMCS, Vol. 1, 1999)

A Hybrid Parallel Execution Model for Logic Based Requirement Specifications (Invited Paper). - Jeffrey J. P. Tsai; Bing Li (Australas. J. Inf. Syst., 1999)

An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. - Jeffrey J. P. Tsai; Kuang Xu (Ann. Softw. Eng., 1999)

An Incremental Verification Algorithm for Real-Time Systems. - Avinash Sahay; Jeffrey J. P. Tsai; A. Prasad Sistla (Int. J. Softw. Eng. Knowl. Eng., 1999)

Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language. - Kuang Xu; Jeffrey J. P. Tsai (Int. J. Softw. Eng. Knowl. Eng., 1999)

Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. - Jeffrey J. P. Tsai; Alan Liu; Eric Y. T. Juan; Avinash Sahay (IEEE Trans. Knowl. Data Eng., 1999)

A comparative study of formal verification techniques for software architecture specifications. - Jeffrey J. P. Tsai; Kuang Xu (Ann. Softw. Eng., 2000)

Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. - Dinesh Kadamuddi; Jeffrey J. P. Tsai (IEEE Trans. Software Eng., 2000)

Formal Analysis of Software Security System Architectures. - Yi Deng 001; Jiacun Wang; Jeffrey J. P. Tsai (ISADS, 2001)

Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs. - Timothy K. Shih; Shi-Kuo Chang; Jeffrey J. P. Tsai; Jianhua Ma 002; Runhe Huang (Ann. Softw. Eng., 2001)

Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan (Comput. J., 2001)

Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. - Eric Y. T. Juan; Jeffrey J. P. Tsai; Tadao Murata; Yi Zhou (IEEE Trans. Software Eng., 2001)

Hybrid Parallel Execution Model for Logic-Based Specification Languages - Jeffrey J. P. Tsai; Bing Li (WorldScientific, 2001)

Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan (IEEE ICCI, 2002)

Development of Wireless Embedded Systems Using Component Based Software. - Stephen J. H. Yang; Jeffrey J. P. Tsai; Irene Y. L. Chen (Int. J. Softw. Eng. Knowl. Eng., 2002)

A Framework for Cancer-Related Genes Mining over the Internet. - 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 (BIBE, 2003)

An intelligent agent-based biomedical literature mining system for cancer-related genes. - Shih-Nung Chen; Jeffrey J. P. Tsai; Wei-Hao Chen (ISMSE, 2003)

Subcellular localization prediction of eukaryotic proteins using functional domain frequency measure. - Han-Wen Hsiao; Jeffrey J. P. Tsai; Shih-Hao Chen (ISMSE, 2003)

In silico discovery of cancer-related genes by functional domain analysis. - Han-Wen Hsiao; Jeffrey J. P. Tsai; Peixuan Wu; Rouh-Mei Hu (ISMSE, 2003)

Searching the regulatory protein binding site by steepest ascent algorithm. - W. F. Huang; Jeffrey J. P. Tsai; Rouh-Mei Hu; Rong-Ming Chen (ISMSE, 2003)

Machine Learning and Software Engineering. - Du Zhang; Jeffrey J. P. Tsai (Softw. Qual. J., 2003)

An Approach for Modeling and Analysis of Security System Architectures. - Yi Deng 001; Jiacun Wang; Jeffrey J. P. Tsai; Konstantin Beznosov (IEEE Trans. Knowl. Data Eng., 2003)

Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. - Jeffrey J. P. Tsai; Eric Y. T. Juan; Avinash Sahay (IEEE Trans. Knowl. Data Eng., 2003)

Fuzzy Rule Base Systems Verification Using High-Level Petri Nets. - Stephen J. H. Yang; Jeffrey J. P. Tsai; Chyun-Chyi Chen (IEEE Trans. Knowl. Data Eng., 2003)

Using Distributed Computing Platform to Solve High Computing and Huge Data Processing Problems in Bioinformatics. - Shih-Nung Chen; Jeffrey J. P. Tsai; Chih-Wei Huang; Rong-Ming Chen; Raymond C. K. Lin (BIBE, 2004)

FMGA: Finding Motifs by Genetic Algorithm. - Falcon F. M. Liu; Jeffrey J. P. Tsai; Rong-Ming Chen; S. N. Chen; S. H. Shih (BIBE, 2004)

A Secure Mobile Agent System Model Based on Extended Elementary Object System. - Lu Ma; Jeffrey J. P. Tsai; Tadao Murata (COMPSAC, 2004)

A Multi-Class SLIPPER System for Intrusion Detection. - Zhenwei Yu 001; Jeffrey J. P. Tsai (COMPSAC, 2004)

A linear time algorithm for high quality mesh simplification. - Hung-Kuang Chen; Chin-Shyurng Fahn; Jeffrey J. P. Tsai; Rong-Ming Chen; Ming-Bo Lin (ISMSE, 2004)

Distributed discovery of asynchronous partial periodic patterns in sequence data using modified periodicity transform. - Han-Wen Hsiao; Meng-Shu Tsai; Jeffrey J. P. Tsai (ISMSE, 2004)

Prediction of gene regulatory networks using differential expression of cDNA microarray data. - Kuei-Chung Shih; Rong-Ming Chen; Rouh-Mei Hu; Falcon F. M. Liu; Hung-Kuang Chen; Jeffrey J. P. Tsai (ISMSE, 2004)

Constraint Propagation And Progressive Verification For Component-Based Process Model. - Yi Deng 001; Jiacun Wang; Xudong He; Jeffrey J. P. Tsai (Int. J. Softw. Eng. Knowl. Eng., 2004)

Study of the protein-protein interaction networks via random graph approach. - Po-Han Lee; Chien-Hung Huang; Jywe-Fei Fang; Jeffrey J. P. Tsai; Ka-Lok Ng (IEEE ICCI, 2005)

A Graphical Simulation System for Modeling and Analysis of Sensor Networks. - Yan Luo; Jeffrey J. P. Tsai (ISM, 2005)

Topological Robustness of the Protein-Protein Interaction Networks. - Chien-Hung Huang; Jywe-Fei Fang; Jeffrey J. P. Tsai; Ka-Lok Ng (Systems Biology and Regulatory Genomics, 2005)

A Software Architecture for Finding Motifs Using Genetic Algorithm. - Rong-Ming Chen; Falcon F. M. Liu; Jeffrey J. P. Tsai (Int. J. Softw. Eng. Knowl. Eng., 2005)

Guest Editors' Introduction. - Jeffrey J. P. Tsai; Du Zhang (Int. J. Softw. Eng. Knowl. Eng., 2005)

Fuzzy Model Tuning for Intrusion Detection Systems. - Zhenwei Yu 001; Jeffrey J. P. Tsai (ATC, 2006)

Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability. - Pierre-Etienne Poirot; Shangping Ren; Jerzy Nogiec; Jeffrey J. P. Tsai (COMPSAC (2), 2006)

Issues, Challenges, and Future Directions in Multimedia Research. - Masahito Hirakawa; Max Mühlhäuser; Susanto Rahardja; Phillip C.-Y. Sheu; Larry Smarr; Jeffrey J. P. Tsai (ISM, 2006)

A ubiquitous warning system for asthma-inducement. - Hsueh-Ting Chu; Chir-Chang Huang; Zhi-Hui Lian; Jeffrey J. P. Tsai (SUTC (2), 2006)

Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. - Shangping Ren; Limin Shen; Jeffrey J. P. Tsai (SUTC (1), 2006)

Predicting Cancerous Genes Based on Regulation Truth Tables. - Rong-Ming Chen; Kuei-Chung Shih; Rouh-Mei Hu; Jeffrey J. P. Tsai (Int. J. Artif. Intell. Tools, 2006)

Modular Structures and Robustness of Protein Networks. - Ka-Lok Ng; Chien-Hung Huang; Po-Han Lee; Jywe-Fei Fang; Jeffrey J. P. Tsai (Int. J. Artif. Intell. Tools, 2006)

An efficient intrusion detection system using a boosting-based learning algorithm. - Zhenwei Yu 001; Jeffrey J. P. Tsai (Int. J. Comput. Appl. Technol., 2006)

A Novel Cache-based Approach to Large Polygonal Mesh Simplification. - Hung-Kuang Chen; Chin-Shyurng Fahn; Jeffrey J. P. Tsai; Ming-Bo Lin (J. Inf. Sci. Eng., 2006)

Generating high-quality discrete LOD meshes for 3D computer games in linear time. - Hung-Kuang Chen; Chin-Shyurng Fahn; Jeffrey J. P. Tsai; Rong-Ming Chen; Ming-Bo Lin (Multim. Syst., 2006)

Security Modeling and Analysis of Mobile Agent Systems - Lu Ma; Jeffrey J. P. Tsai (WorldScientific, 2006)

A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments. - Shangping Ren; Yue Yu 002; Kevin A. Kwiat; Jeffrey J. P. Tsai (Int. J. Distributed Sens. Networks, 2007)

Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing. - Jeffrey J. P. Tsai (Int. J. Distributed Sens. Networks, 2007)

The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems. - Shangping Ren; Yue Yu 002; Nianen Chen; Jeffrey J. P. Tsai; Kevin A. Kwiat (ACM Trans. Auton. Adapt. Syst., 2007)

Introduction: Special issue of the IEEE SUTC'06. - Jeffrey J. P. Tsai; Mukesh Singhal (ACM Trans. Auton. Adapt. Syst., 2007)

An Automatically Tuning Intrusion Detection System. - Zhenwei Yu 001; Jeffrey J. P. Tsai; Thomas J. Weigert (IEEE Trans. Syst. Man Cybern. Part B, 2007)

Modeling a secure sensor network system using an Extended Elementary Object System. - Vineela Devarashetty; Jeffrey J. P. Tsai; Lu Ma; Du Zhang (IEEE ICCI, 2008)

A Context-Driven Content Adaptation Planner for Improving Mobile Internet Accessibility. - Stephen J. H. Yang; Jia Zhang 001; Angus F. M. Huang; Jeffrey J. P. Tsai; Philip S. Yu (ICWS, 2008)

A Framework for Extrusion Detection Using Machine Learning. - Yan Luo; Jeffrey J. P. Tsai (ISORC, 2008)

BioSemantic System: Applications of Structured Natural Language to Biological and Biochemical Research. - 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 (SUTC, 2008)

A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks. - Zhenwei Yu 001; Jeffrey J. P. Tsai (SUTC, 2008)

Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences. - Jing-Doo Wang; Hsiang-Chuan Liu; Jeffrey J. P. Tsai; Ka-Lok Ng (Int. J. Cogn. Informatics Nat. Intell., 2008)

Using SCDL for Integrating Tools and Data for Complex Biomedical Applications. - 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 (Int. J. Semantic Comput., 2008)

Predicting Subcellular Locations of Eukaryotic Proteins Using Bayesian and /k/-Nearest Neighbor Classifiers. - Han C. W. Hsiao; Shih-Hao Chen; Judson Pei-Chun Chang; Jeffrey J. P. Tsai (J. Inf. Sci. Eng., 2008)

An adaptive automatically tuning intrusion detection system. - Zhenwei Yu 001; Jeffrey J. P. Tsai; Thomas J. Weigert (ACM Trans. Auton. Adapt. Syst., 2008)

Formal Modeling and Analysis of a Secure Mobile-Agent System. - Lu Ma; Jeffrey J. P. Tsai (IEEE Trans. Syst. Man Cybern. Part A, 2008)

System Monitoring. - Yanhong A. Liu; Jeffrey J. P. Tsai (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Knowledge Verification. - Jeffrey J. P. Tsai; Du Zhang; Avinash Sahay; Eric Y. T. Juan (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins. - Alan C. H. Chen; Han C. W. Hsiao; Jeffrey J. P. Tsai (BIBE, 2009)

A Novel Approach for Motif Identification in Unaligned Molecular Sequences. - Rong-Ming Chen; M. T. Hou; Jeffrey J. P. Tsai (BIBE, 2009)

SCDL Applications to Drug Discovery. - David A. Hecht; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (BIBE, 2009)

An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data. - Jong-Waye Ou; Rouh-Mei Hu; Rong-Ming Chen; C. Y. Tang; Jeffrey J. P. Tsai (BIBE, 2009)

Describing Dynamic Biological Systems in SPDL and SCDL. - Charles C. N. Wang; David A. Hecht; Han C. W. Hsiao; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (BIBE, 2009)

Improving peer-to-peer search performance through intelligent social search. - Stephen J. H. Yang; Jia Zhang 001; Leon Lin; Jeffrey J. P. Tsai (Expert Syst. Appl., 2009)

A Doctrine of Cognitive Informatics (CI). - Yingxu Wang 001; 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 (Fundam. Informaticae, 2009)

Soa-Based Content Delivery Model for Mobile Internet Navigation. - Stephen J. H. Yang; Jia Zhang 001; Jeffrey J. P. Tsai; Angus F. M. Huang (Int. J. Artif. Intell. Tools, 2009)

Supporting CSCW and CSCL with Intelligent Social Grouping Services. - Jeffrey J. P. Tsai; Jia Zhang 001; Jeff J. S. Huang; Stephen J. H. Yang (Int. J. Softw. Sci. Comput. Intell., 2009)

Experience on knowledge-based software engineering: A logic-based requirements language and its industrial applications. - Jeffrey J. P. Tsai; Alan Liu (J. Syst. Softw., 2009)

Improving fuzzy knowledge integration with particle swarmoptimization. - Angus F. M. Huang; Stephen J. H. Yang; Minhong Wang 001; Jeffrey J. P. Tsai (Expert Syst. Appl., 2010)

A Model for Object Relational OLAP. - S. Ikeda; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (Int. J. Artif. Intell. Tools, 2010)

Modeling a Secure Sensor Network Using an Extended Elementary Object System. - Vineela Devarashetty; Jeffrey J. P. Tsai; Lu Ma; Du Zhang (Int. J. Cogn. Informatics Nat. Intell., 2010)

Using Description Logics for the Provision of Context-Driven Content Adaptation Services. - Stephen J. H. Yang; Jia Zhang 001; Jeff J. S. Huang; Jeffrey J. P. Tsai (Int. J. Syst. Serv. Oriented Eng., 2010)

Ergonomic Designs Based on Musculoskeletal Models. - Chun-Ming Chang; Jeffrey J. P. Tsai (BIBE, 2011)

The Application of Molecular Markers to Identify Edible Fungi: A Case Study of Tremella Fuciformis. - Jing-Gung Chung; Jeffrey J. P. Tsai; Chien-Yih Lin; Yang-Chia Shih; Jin-Shih Chen; Ming-Jen Fan (BIBE, 2011)

TTRSIS: A Cloud Computing Platform for Rice Functional Genomics Research through a Reverse Genetics Approach. - Ming-Jen Fan; Su-May Yu; Tzu-Chieh Hung; Wei-Quan Chen; Yue-Ie Hsing; Hsin-Li Lin; Chia-Cheng Liu; Jing-Gung Chung; Jeffrey J. P. Tsai (BIBE, 2011)

Molecular Modeling Studies of AmpR Mediated AmpC ß-Lactamase Repression. - David A. Hecht; Charles C. N. Wang; Rouh-Mei Hu; Jeffrey J. P. Tsai (BIBE, 2011)

Object Relational Programming of Biomedical Images. - Han C. W. Hsiao; Rouh-Mei Hu; Wei-Liang Tai; Rong-Ming Chen; Jeffrey J. P. Tsai (BIBE, 2011)

Investigating Cancer-related Proteins Specific Domain Interactions and Differential Protein Interactions Caused by Alternative Splicing. - Yu-Liang Lee; Jie-Wei Weng; Wen-Chin Chiang; Yi-Wen Lin; Ka-Lok Ng; Jeffrey J. P. Tsai; Chi-Ying F. Huang (BIBE, 2011)

Simulation of Bacterial Chemotaxis by the Random Run and Tumble Model. - Charles C. N. Wang; Ka-Lok Ng; Yu-Ching Chen; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (BIBE, 2011)

Blood Cell Image Classification Based on Hierarchical SVM. - Wei-Liang Tai; Rouh-Mei Hu; Han C. W. Hsiao; Rong-Ming Chen; Jeffrey J. P. Tsai (ISM, 2011)

Cumulative Spectral repeat Finder (Csrf): a Spectral Approach for Identifying the Length of repeats in DNA Sequences. - Rong-Ming Chen; M. T. Hou; N. W. Chang; Y. T. Chen; Jeffrey J. P. Tsai (Int. J. Artif. Intell. Tools, 2011)

A collaborative multimedia annotation tool for enhancing knowledge sharing in CSCL. - Stephen J. H. Yang; Jia Zhang 001; Addison Y. S. Su; Jeffrey J. P. Tsai (Interact. Learn. Environ., 2011)

Intrusion Detection - A Machine Learning Approach - Zhenwei Yu 001; Jeffrey J. P. Tsai (WorldScientific, 2011)

Molecular Simulation Methods for Selecting Thrombin-Binding Aptamers. - Jangam Vikram Kumar; Wen-Yih Chen; Jeffrey J. P. Tsai; Wen-Pin Hu (ITCS, 2013)

Semantic Computing and Drug Discovery - A Preliminary Report. - Charles C. N. Wang; David A. Hecht; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (ICSC, 2013)

Prediction of microRNA-regulated protein interaction pathways in Arabidopsis using machine learning algorithms. - Nilubon Kurubanjerdjit; Chien-Hung Huang; Yu-Liang Lee; Jeffrey J. P. Tsai; Ka-Lok Ng (Comput. Biol. Medicine, 2013)

A model comparison study of the flowering time regulatory network in Arabidopsis. - Charles C. N. Wang; Pei-Chun Chang; Ka-Lok Ng; Chun-Ming Chang; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (BMC Syst. Biol., 2014)

FARE-CAFE: a database of functional and regulatory elements of cancer-associated fusion events. - 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 (Database J. Biol. Databases Curation, 2015)

Transcription factor and microRNA-regulated network motifs for cancer and signal transduction networks. - Wen-Tsong Hsieh; Ke-Rung Tzeng; Jin-Shuei Ciou; Jeffrey J. P. Tsai; Nilubon Kurubanjerdjit; Chien-Hung Huang; Ka-Lok Ng (BMC Syst. Biol., 2015)

KSOS - An Operating System for Knowledge Societies. - Ke Hao; Phillip C.-Y. Sheu; Hiroshi Yamaguchi; Jeffrey J. P. Tsai (Int. J. Semantic Comput., 2015)

Towards Semantic Biomedical Problem Solving. - Charles C. N. Wang; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (Int. J. Semantic Comput., 2015)

Genome-Wide Functional Identification of Maximal Consensus Patterns Derived from Multiple Species piRNAs. - Wen-Ling Chan; Mei-Chun Yeh; Jing-Doo Wang; Jan-Gowth Chang; Jeffrey J. P. Tsai (BIBE, 2016)

Stent Design for Compensating Wall Shear Stress via Computational Modeling and Fluid Dynamics. - Chun-Ming Chang; Wei Shin Wong; Jeffrey J. P. Tsai (BIBE, 2016)

Fine Classification of Human Gut Microbiota by Using Hierarchical Clustering Approach. - Tzu-Fan Chen; Rong-Ming Chen; Jeffrey J. P. Tsai; Rouh-Mei Hu (BIBE, 2016)

Deep Learning for Risk Analysis of Specific Cardiovascular Diseases Using Environmental Data and Outpatient Records. - Han C. W. Hsiao; Sean H. F. Chen; Jeffrey J. P. Tsai (BIBE, 2016)

Identification and Analysis of Palindromes for RNA Sequences. - Chien-Hung Huang; Sheng-Jia Weng; Praveen Kumar Korla; Jywe-Fei Fang; Jeffrey J. P. Tsai; Nilubon Kurubanjerdjit; Ka-Lok Ng (BIBE, 2016)

piRNAtarget: The Integrated Database for Mining Functionality of piRNA and Its Targets. - Bing-Rong Jiang; Wan-Ye Wu; Ching-Hsuan Chien; Jeffrey J. P. Tsai; Wen-Ling Chan (BIBE, 2016)

A Comparison Study of Reverse Engineering Gene Regulatory Network Modeling. - Charles C. N. Wang; Pei-Chun Chang; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (BIBE, 2016)

Application of Latent Semantic Analysis to Clustering of Cardiovascular Gene Ontology. - Charles C. N. Wang; Yu-Liang Lee; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (BIBE, 2016)

National Representatively Healthcare Database and the Application. - Yi Chung; Yu-Ching Chen; Jeffrey J. P. Tsai (BigMM, 2016)

A Deep Learning-Based Customer Forecasting Tool. - Kuo-Yi Lin; Jeffrey J. P. Tsai (BigMM, 2016)

Mining distinctive DNA patterns from the upstream of human coding&non-coding genes via class frequency distribution. - Jing-Doo Wang; Wen-Ling Chan; Charles C. N. Wang; Jan-Gowth Chang; Jeffrey J. P. Tsai (CIBCB, 2016)

Trust-Based IoT Participatory Sensing for Hazard Detection and Response. - Jia Guo; Ing-Ray Chen; Jeffrey J. P. Tsai; Hamid Al-Hamadi (ICSOC Workshops, 2016)

DNA methylation-regulated microRNA pathways in ovarian serous cystadenocarcinoma: A meta-analysis. - David Agustriawan; Chien-Hung Huang; Jim Jinn-Chyuan Sheu; Shan-Chih Lee; Jeffrey J. P. Tsai; Nilubon Kurubanjerdjit; Ka-Lok Ng (Comput. Biol. Chem., 2016)

Extracting the Co-occurrences of DNA Maximal Repeats in both Human and Viruses. - Jing-Doo Wang; Yi-Chun Wang; Rouh-Mei Hu; Jeffrey J. P. Tsai (BIBE, 2017)

A Case Study of IoT Participatory Sensing of Hazardous Ozone Using Traces. - Jia Guo; Ing-Ray Chen; Ding-Chao Wang; Jeffrey J. P. Tsai; Hamid Al-Hamadi (FSDM, 2017)

On the Design of a Blockchain Platform for Clinical Trial and Precision Medicine. - Zonyin Shae; Jeffrey J. P. Tsai (ICDCS, 2017)

A Mobile Cloud Hierarchical Trust Management Protocol for IoT Systems. - Jia Guo; Ing-Ray Chen; Jeffrey J. P. Tsai (MobileCloud, 2017)

A survey of trust computation models for service management in internet of things systems. - Jia Guo; Ing-Ray Chen; Jeffrey J. P. Tsai (Comput. Commun., 2017)

Use of semantics in bio-informatics. - Charles C. N. Wang; Jeffrey J. P. Tsai (Encycl. Semantic Comput. Robotic Intell., 2017)

Drug repurposing and therapeutic anti-microRNA predictions for inhibition of oxidized low-density lipoprotein-induced vascular smooth muscle cell-associated diseases. - 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 (J. Bioinform. Comput. Biol., 2017)

Trust-Based Task Assignment With Multiobjective Optimization in Service-Oriented Ad Hoc Networks. - Yating Wang; Ing-Ray Chen; Jin-Hee Cho; Jeffrey J. P. Tsai (IEEE Trans. Netw. Serv. Manag., 2017)

Utilize Imputation Method and Meta-analysis to Identify DNA-Methylation-Mediated microRNAs in Ovarian Cancer. - Ezra B. Wijaya; Erwandy Lim; David Agustriawan; Chien-Hung Huang; Jeffrey J. P. Tsai; Ka-Lok Ng (AlCoB, 2018)

Applying Blockchain Technology for Health Information Exchange and Persistent Monitoring for Clinical Trials. - Yan Zhuang; Lincoln Sheets; Zonyin Shae; Jeffrey J. P. Tsai; Chi-Ren Shyu (AMIA, 2018)

Identification of Potential Long Non-coding RNA Biomarkers for Breast Cancer Patients with Somatic BRCA1 Mutations from RNA-Seq Datasets. - Jia-Hua Cai; Yu-Ching Chen; Hsueh-Ting Chu; Jeffrey J. P. Tsai (BIBE, 2018)

The Potential Dual-Target Inhibitors for HER2/HSP90 Proteins from Traditional Chinese Medicine. - Jhih-Ying Chen; Chia-Min Chen; Pei-Chun Chang; Jeffrey J. P. Tsai (BIBE, 2018)

Identification of Several Core Overexpressed MicroRNAs that Could Predict Survival in Patients with Ovarian Cancer. - Eskezeia Yihunie Dessie; Ezra B. Wijaya; Chien-Hung Huang; David Agustriawan; Jeffrey J. P. Tsai; Ka-Lok Ng (BIBE, 2018)

Stratification of Human Gut Microiome and Building a SVM-Based Classifier. - His-Chung Kung; Rong-Ming Chen; Jeffrey J. P. Tsai; Rouh-Mei Hu (BIBE, 2018)

Computational Modeling of the Early Development of Embryonic Leaves in Maize. - Charles C. N. Wang; Pei-Chun Chang; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (BIBE, 2018)

Quantitative Analysis of ECI2 Expression from RNA-Seq for Breast Cancer Gene Signatures. - Ming-Yi Yen; Hsueh-Ting Chu; Yu-Ching Chen; Jeffrey J. P. Tsai (BIBE, 2018)

Trust as a Service for IoT Service Management in Smart Cities. - Ing-Ray Chen; Jia Guo; Ding-Chao Wang; Jeffrey J. P. Tsai; Hamid Al-Hamadi; Ilsun You (HPCC/SmartCity/DSS, 2018)

Transform Blockchain into Distributed Parallel Computing Architecture for Precision Medicine. - Jeffrey Tsai 001 (ICDCS, 2018)

Application of Semantic Computing in Cancer on Secondary Data Analysis. - Charles C. N. Wang; I-Seng Chang; Phillip C.-Y. Sheu; Jeffrey J. P. Tsai (IRC, 2018)

Trust-based mechanism design for cooperative spectrum sensing in cognitive radio networks. - Ji Wang; Ing-Ray Chen; Jeffrey J. P. Tsai; Ding-Chau Wang (Comput. Commun., 2018)

A semantic recommendation system for cancer-related articles. - Charles C. N. Wang; Yun-Lung Chung; I-Seng Chang; Jeffrey J. P. Tsai (Encycl. Semantic Comput. Robotic Intell., 2018)

CATrust: Context-Aware Trust Management for Service-Oriented Ad Hoc Networks. - Yating Wang; Ing-Ray Chen; Jin-Hee Cho; Ananthram Swami; Yen-Cheng Lu; Chang-Tien Lu; Jeffrey J. P. Tsai (IEEE Trans. Serv. Comput., 2018)

Applying Blockchain Technology to Enhance Clinical Trial Recruitment. - Yan Zhuang; Lincoln Sheets; Zonyin Shae; Yin-Wu Chen; Jeffrey J. P. Tsai; Chi-Ren Shyu (AMIA, 2019)

Random Sampling Deep Learning Mechanism for Discovering Unique Property of No Specific Local Feature Images. - Zonyin Shae; Zhi-Ren Tsai; Chi-Yu Chang; Jeffrey J. P. Tsai (CogMI, 2019)

AI Blockchain Platform for Trusting News. - Zonyin Shae; Jeffrey J. P. Tsai (ICDCS, 2019)

Trust-Based Service Management for Mobile Cloud IoT Systems. - Ing-Ray Chen; Jia Guo; Ding-Chau Wang; Jeffrey J. P. Tsai; Hamid Al-Hamadi; Ilsun You (IEEE Trans. Netw. Serv. Manag., 2019)

Trust-Based IoT Cloud Participatory Sensing of Air Quality. - Jia Guo; Ing-Ray Chen; Ding-Chau Wang; Jeffrey J. P. Tsai; Hamid Al-Hamadi (Wirel. Pers. Commun., 2019)

Development of A Blockchain Framework for Virtual Clinical Trials. - Yan Zhuang; Lincoln Sheets; Xiyuan Gao; Yuanyuan Shen; Zonyin Shae; Jeffrey J. P. Tsai; Chi-Ren Shyu (AMIA, 2020)

Deep Learning Mechanism for Pervasive Internet Addiction Prediction. - Zon-Yin Shae; Jeffrey J. P. Tsai (CogMI, 2020)

Identification of most influential co-occurring gene suites for gastrointestinal cancer using biomedical literature mining and graph-based influence maximization. - Charles C. N. Wang; Jennifer Jin; Jan-Gowth Chang; Masahiro Hayakawa; Atsushi Kitazawa; Jeffrey J. P. Tsai; Phillip C.-Y. Sheu (BMC Medical Informatics Decis. Mak., 2020)

A Patient-Centric Health Information Exchange Framework Using Blockchain Technology. - Yan Zhuang; Lincoln R. Sheets; Yin-Wu Chen; Zonyin Shae; Jeffrey J. P. Tsai; Chi-Ren Shyu (IEEE J. Biomed. Health Informatics, 2020)

Robust and Computationally Efficient Digital IIR Filter Synthesis and Stability Analysis Under Finite Precision Implementations. - Hsien-Ju Ko; Jeffrey J. P. Tsai (IEEE Trans. Signal Process., 2020)

On the Design of Medical Data Ecosystem for Improving Healthcare Research and Commercial Incentive. - Zon-Yin Shae; Jeffrey J. P. Tsai (CogMI, 2021)

A novel miRNA-based classification model of risks and stages for clear cell renal cell carcinoma patients. - Eskezeia Yihunie Dessie; Jeffrey J. P. Tsai; Jan-Gowth Chang; Ka-Lok Ng (BMC Bioinform., 2021)

A Model-Based Prognostic Predictor for Urothelial Bladder Carcinoma Through the Integrated Bioinformatics Analysis. - Charles C. N. Wang; Tzu-Tsen Yu; Jeffrey J. P. Tsai (BIBE, 2022)

Thoughts on Non-IID Data Impact in Healthcare with Federated Learning Medical Blockchain. - Zon-Yin Shae; Kun-Yi Chen; Chi-Yu Chang; Yuan-Yu Tsai; Che-Yi Chou; William Baskett; Chi-Ren Shyu; Jeffrey J. P. Tsai (CogMI, 2022)

A Clinical Kidney Intelligence Platform Based on Big Data, Artificial Intelligence, and Blockchain Technology. - Zon-Yin Shae; Jeffrey J. P. Tsai (Int. J. Artif. Intell. Tools, 2022)

Message from the General Co-Chairs IRC 2023. - Davide Brugali; Phillip C.-Y. Sheu; Jeffrey Tsai 001 (IRC, 2023)

Performance evaluation of infinite impulse response filter synthesis using parallel-Direct-Ladder form under finiteword-Length effects. - Hsien-Ju Ko; Hao-Cheng Yang; Jeffrey J. P. Tsai; Wen-Shyong Yu (Signal Process., 2023)

Effective Non-IID Degree Estimation for Robust Federated Learning in Healthcare Datasets. - Kun-Yi Chen; Chi-Ren Shyu; Yuan-Yu Tsai; William Baskett; Chi-Yu Chang; Che-Yi Chou; Jeffrey J. P. Tsai; Zon-Yin Shae (J. Heal. Informatics Res., 2025)