| 2009 |
|---|
| 97 | EE | 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. Inform. 90(3): 203-228 (2009) |
| 96 | EE | Jeffrey J. P. Tsai,
Jia Zhang,
Jeff J. S. Huang,
Stephen J. H. Yang:
Supporting CSCW and CSCL with Intelligent Social Grouping Services.
IJSSCI 1(1): 51-63 (2009) |
| 95 | EE | Stephen J. H. Yang,
Jia Zhang,
Jeffrey J. P. Tsai,
Angus F. M. Huang:
Soa-Based Content Delivery Model for Mobile Internet Navigation.
International Journal on Artificial Intelligence Tools 18(1): 141-161 (2009) |
| 2008 |
|---|
| 94 | | 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 |
| 93 | EE | 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 |
| 92 | EE | 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 |
| 91 | EE | Yan Luo,
Jeffrey J. P. Tsai:
A Framework for Extrusion Detection Using Machine Learning.
ISORC 2008: 83-88 |
| 90 | EE | Zhenwei Yu,
Jeffrey J. P. Tsai:
A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks.
SUTC 2008: 272-279 |
| 89 | EE | David 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 |
| 88 | EE | Jeffrey J. P. Tsai,
Du Zhang,
Avinash Sahay,
Eric Y. T. Juan:
Knowledge Verification.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 87 | EE | Yanhong A. Liu,
Jeffrey J. P. Tsai:
System Monitoring.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 86 | EE | Lu Ma,
Jeffrey J. P. Tsai:
Formal Modeling and Analysis of a Secure Mobile-Agent System.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 180-196 (2008) |
| 85 | EE | J. D. Wang,
Hsiang-Chuan Liu,
Jeffrey J. P. Tsai,
Ka-Lok Ng:
Scaling Behavior of Maximal Repeat Distributions in Genomic Sequences.
IJCINI 2(3): 31-42 (2008) |
| 84 | EE | 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) |
| 83 | EE | Zhenwei Yu,
Jeffrey J. P. Tsai,
Thomas J. Weigert:
An adaptive automatically tuning intrusion detection system.
TAAS 3(3): (2008) |
| 2007 |
|---|
| 82 | EE | Zhenwei Yu,
Jeffrey J. P. Tsai,
Thomas J. Weigert:
An Automatically Tuning Intrusion Detection System.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 37(2): 373-384 (2007) |
| 81 | EE | Jeffrey J. P. Tsai:
Introduction to the Special Issue on Sensor Networks, Ubiquitous and Trustworthy Computing.
IJDSN 3(2): 135-136 (2007) |
| 80 | EE | 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.
IJDSN 3(2): 175-199 (2007) |
| 79 | EE | Jeffrey J. P. Tsai,
Mukesh Singhal:
Introduction: Special issue of the IEEE SUTC'06.
TAAS 2(3): (2007) |
| 78 | EE | 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.
TAAS 2(3): (2007) |
| 2006 |
|---|
| 77 | | 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
Springer 2006 |
| 76 | EE | Zhenwei Yu,
Jeffrey J. P. Tsai:
Fuzzy Model Tuning for Intrusion Detection Systems.
ATC 2006: 193-204 |
| 75 | EE | 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 |
| 74 | EE | 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 |
| 73 | EE | Shangping Ren,
Limin Shen,
Jeffrey J. P. Tsai:
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems.
SUTC (1) 2006: 60-67 |
| 72 | EE | 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 |
| 71 | EE | Zhenwei Yu,
Jeffrey J. P. Tsai:
An efficient intrusion detection system using a boosting-based learning algorithm.
IJCAT 27(4): 223-231 (2006) |
| 70 | EE | Ka-Lok Ng,
Chien-Hung Huang,
Po-Han Lee,
Jywe-Fei Fang,
Jeffrey J. P. Tsai:
Modular Structures and Robustness of Protein Networks.
International Journal on Artificial Intelligence Tools 15(2): 309-322 (2006) |
| 69 | EE | Rong-Ming Chen,
Kuei-Chung Shih,
Rouh-Mei Hu,
Jeffrey J. P. Tsai:
Predicting Cancerous Genes Based on Regulation Truth Tables.
International Journal on Artificial Intelligence Tools 15(5): 753-766 (2006) |
| 68 | EE | 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) |
| 67 | EE | 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.
Multimedia Syst. 11(5): 480-494 (2006) |
| 2005 |
|---|
| 66 | EE | 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 |
| 65 | EE | Yan Luo,
Jeffrey J. P. Tsai:
A Graphical Simulation System for Modeling and Analysis of Sensor Networks.
ISM 2005: 474-482 |
| 64 | EE | 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 |
| 63 | EE | Jeffrey J. P. Tsai,
Du Zhang:
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering 15(3): 473-474 (2005) |
| 62 | EE | Rong-Ming Chen,
Falcon F. M. Liu,
Jeffrey J. P. Tsai:
A Software Architecture for Finding Motifs Using Genetic Algorithm.
International Journal of Software Engineering and Knowledge Engineering 15(3): 571-585 (2005) |
| 2004 |
|---|
| 61 | EE | 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 |
| 60 | EE | 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 |
| 59 | EE | Zhenwei Yu,
Jeffrey J. P. Tsai:
A Multi-Class SLIPPER System for Intrusion Detection.
COMPSAC 2004: 212-217 |
| 58 | EE | Lu Ma,
Jeffrey J. P. Tsai,
Tadao Murata:
A Secure Mobile Agent System Model Based on Extended Elementary Object System.
COMPSAC 2004: 218-223 |
| 57 | EE | Yi Deng,
Jiacun Wang,
Xudong He,
Jeffrey J. P. Tsai:
Constraint Propagation And Progressive Verification For Component-Based Process Model.
International Journal of Software Engineering and Knowledge Engineering 14(5): 471-496 (2004) |
| 2003 |
|---|
| 56 | EE | Jeffrey J. P. Tsai,
J. G. Chang,
S. H. Shih,
Rong-Ming Chen,
H. W. Hsiao,
Rouh-Mei Hu,
S. N. Chen,
M. M. Lee,
Falcon F. M. Liu,
W. L. Chan:
A Framework for Cancer-Related Genes Mining over the Internet.
BIBE 2003: 426-435 |
| 55 | EE | 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) |
| 54 | EE | 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) |
| 53 | EE | 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) |
| 52 | EE | Du Zhang,
Jeffrey J. P. Tsai:
Machine Learning and Software Engineering.
Software Quality Journal 11(2): 87-119 (2003) |
| 2002 |
|---|
| 51 | EE | Du Zhang,
Jeffrey J. P. Tsai:
Machine Learning and Software Engineering.
ICTAI 2002: 22- |
| 50 | EE | 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 |
| 49 | EE | Stephen J. H. Yang,
Jeffrey J. P. Tsai,
Irene Y. L. Chen:
Development of Wireless Embedded Systems Using Component Based Software.
International Journal of Software Engineering and Knowledge Engineering 12(2): 135-153 (2002) |
| 2001 |
|---|
| 48 | EE | Yi Deng,
Jiacun Wang,
Jeffrey J. P. Tsai:
Formal Analysis of Software Security System Architectures.
ISADS 2001: 426-434 |
| 47 | | 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. Software Eng. 12(1): 139-165 (2001) |
| 46 | EE | 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) |
| 45 | EE | 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 |
|---|
| 44 | | Jeffrey J. P. Tsai,
Kuang Xu:
A comparative study of formal verification techniques for software architecture specifications.
Ann. Software Eng. 10: 207-223 (2000) |
| 43 | EE | 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 |
|---|
| 42 | EE | Jeffrey J. P. Tsai,
Kuang Xu:
Architecture Specification of Multimedia Software Systems.
ICMCS, Vol. 1 1999: 97-102 |
| 41 | | Jeffrey J. P. Tsai,
Kuang Xu:
An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications.
Ann. Software Eng. 7: 95-126 (1999) |
| 40 | EE | 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) |
| 39 | EE | Avinash Sahay,
Jeffrey J. P. Tsai,
A. Prasad Sistla:
An Incremental Verification Algorithm for Real-Time Systems.
International Journal of Software Engineering and Knowledge Engineering 9(2): 203-216 (1999) |
| 38 | EE | Kuang Xu,
Jeffrey J. P. Tsai:
Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language.
International Journal of Software Engineering and Knowledge Engineering 9(6): 767-800 (1999) |
| 1998 |
|---|
| 37 | EE | 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) |
| 36 | EE | Jeffrey J. P. Tsai,
Bing Li,
Thomas J. Weigert:
A Logic-Based Transformation System.
IEEE Trans. Knowl. Data Eng. 10(1): 91-107 (1998) |
| 35 | EE | Jeffrey J. P. Tsai,
A. Prasad Sistla,
Avinash Sahay,
Raymond A. Paul:
Incremental Verification of Architecture Specification Language for Real-Time Systems.
International Journal of Software Engineering and Knowledge Engineering 8(3): 347-360 (1998) |
| 1997 |
|---|
| 34 | EE | Jeffrey J. P. Tsai,
Eric Y. T. Juan:
Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems.
HASE 1997: 188-193 |
| 33 | | Jeffrey J. P. Tsai,
Bing Li,
Eric Y. T. Juan:
Parallel Evaluation of Software Architecture Specifications.
Commun. ACM 40(1): 83-86 (1997) |
| 1996 |
|---|
| 32 | EE | 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 |
| 31 | EE | Eric Y. T. Juan,
Jeffrey J. P. Tsai,
Tadao Murata:
A new compositional method for condensed state-space verification.
HASE 1996: 104-111 |
| 30 | EE | Jeffrey J. P. Tsai,
Bing Li,
Eric Y. T. Juan:
Transaction integration for reusable hard real-time components.
HASE 1996: 166-175 |
| 29 | | Ziaomu Zeng,
Jeffrey J. P. Tsai,
Thomas J. Weigert:
Verification Criterion Directed Testing for Formal Specifications.
SEKE 1996: 393-399 |
| 28 | EE | Jeffrey J. P. Tsai,
Yao-Dong Bi,
Stephen J. H. Yang:
A System for Visualizing and Debugging Distributed Real-Time Systems with Monitoring Support.
International Journal of Software Engineering and Knowledge Engineering 6(3): 355-400 (1996) |
| 1995 |
|---|
| 27 | EE | Xiaomu Zeng,
Jeffrey J. P. Tsai,
Thomas J. Weigert:
Improving Software Quality through a Novel Testing Strategy.
COMPSAC 1995: 224-231 |
| 26 | EE | Jeffrey J. P. Tsai:
Dependability of AI Systems - Guest Editor's Introduction.
IEEE Trans. Knowl. Data Eng. 7(1): 1-3 (1995) |
| 25 | EE | 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 |
|---|
| 24 | EE | Thomas J. Weigert,
Jeffrey J. P. Tsai:
A Computationally Tractable Nonmonotonic Logic.
IEEE Trans. Knowl. Data Eng. 6(1): 57-63 (1994) |
| 23 | EE | Jeffrey J. P. Tsai,
Alan Liu,
Krishnakumar R. Nair:
Debugging Logic-Based Requirements Specifications for Safety-Critical Systems - a FRORL Approach.
International Journal of Software Engineering and Knowledge Engineering 4(2): 205-228 (1994) |
| 1993 |
|---|
| 22 | | Jeffrey J. P. Tsai,
Alan Liu,
Krishnakumar R. Nair:
Debugging Logic-Based Requirements Specifications - a FRORL Approach.
SEKE 1993: 372-379 |
| 21 | | Thomas J. Weigert,
Jeffrey J. P. Tsai,
Xuhua Liu:
Fuzzy Operator Logic and Fuzzy Resolution.
J. Autom. Reasoning 10(1): 59-78 (1993) |
| 1992 |
|---|
| 20 | | Jeffrey J. P. Tsai,
Owen S. Chan,
Alan Liu:
Intelligent syntax-directed editor that models user proficiency.
Applied Artificial Intelligence 6(2): 166-194 (1992) |
| 19 | EE | 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) |
| 18 | EE | 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) |
| 17 | EE | Jeffrey J. P. Tsai:
Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering 2(4): 487 (1992) |
| 1991 |
|---|
| 16 | | Jeffrey J. P. Tsai,
Ray-Yuan Sheu:
A Distributed Cooperative Agents Architecture for Software Development.
The Next Generation of Information Systems 1991: 271-290 |
| 15 | EE | 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) |
| 14 | EE | Jeffrey J. P. Tsai,
Ray-Yuan Sheu:
A knowledge-based system for Ada® software development.
Journal of Systems Integration 1(2): 163-194 (1991) |
| 1990 |
|---|
| 13 | | Jeffrey J. P. Tsai,
Mark Metea,
John Cesarone:
A knowledge-base navigation scheme for autonomous land vehicles.
Applied Artificial Intelligence 4(1): 1-14 (1990) |
| 12 | | Jeffrey J. P. Tsai,
Kwang-Ya Fang,
Horng-Yuan Chen:
A Noninvasive Architecture to Monitor Real-Time Distributed Systems.
IEEE Computer 23(3): 11-23 (1990) |
| 11 | EE | 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) |
| 10 | EE | Ming Rao,
Tsung-Shann Jiang,
Jeffrey J. P. Tsai:
Integration strategy for distributed intelligent systems.
Journal of Intelligent and Robotic Systems 3(2): 131-146 (1990) |
| 9 | EE | 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) |
| 1988 |
|---|
| 8 | EE | Jeffrey J. P. Tsai,
Thomas J. Weigert,
M. Aoyama:
A declarative approach to software requirement specification languages.
ICCL 1988: 414-421 |
| 7 | EE | Ming Rao,
Tsung-Shann Jiang,
Jeffrey J. P. Tsai:
Integrated Environment for Intelligent Control.
IEA/AIE (Vol. 1) 1988: 466-474 |
| 6 | | Ming Rao,
Jeffrey J. P. Tsai,
Tsung-Shann Jiang:
An intelligent decisionmaker for optimal control.
Applied Artificial Intelligence 2(3-4): 285-305 (1988) |
| 5 | EE | 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 |
|---|
| 4 | | 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 |
|---|
| 3 | EE | Jeffrey J. P. Tsai,
Waldo C. Kabat:
Verification of software specifications using automated reasoning techniques (abstract).
ACM Conference on Computer Science 1986: 475 |
| 2 | | Stephen S. Yau,
Jeffrey J. P. Tsai:
A Survey of Software Design Techniques.
IEEE Trans. Software Eng. 12(6): 713-721 (1986) |
| 1984 |
|---|
| 1 | | Stephen S. Yau,
Jeffrey J. P. Tsai:
A Graph-Based Software Maintenance Environment.
COMPCON 1984: 321-324 |
