The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jeffrey J. P. Tsai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang
    A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. [Citation Graph (3, 0)][DBLP]
    IEEE Trans. Software Eng., 1992, v:18, n:12, pp:1076-1100 [Journal]
  2. Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu
    Fuzzy Operator Logic and Fuzzy Resolution. [Citation Graph (1, 0)][DBLP]
    J. Autom. Reasoning, 1993, v:10, n:1, pp:59-78 [Journal]
  3. Stephen S. Yau, Jeffrey J. P. Tsai
    Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:3, pp:355-361 [Journal]
  4. Jeffrey J. P. Tsai, Eric Y. T. Juan
    Model and Heuristic Technique for Efficient Verification of Component-Based Software Systems. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:59-68 [Conf]
  5. 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. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2005, pp:110-119 [Conf]
  6. Jeffrey J. P. Tsai, Waldo C. Kabat
    Verification of software specifications using automated reasoning techniques (abstract). [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1986, pp:475- [Conf]
  7. Zhenwei Yu, Jeffrey J. P. Tsai
    Fuzzy Model Tuning for Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP]
    ATC, 2006, pp:193-204 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    BIBE, 2004, pp:142-148 [Conf]
  9. Falcon F. M. Liu, Jeffrey J. P. Tsai, Rong-Ming Chen, S. N. Chen, S. H. Shih
    FMGA: Finding Motifs by Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
    BIBE, 2004, pp:459-466 [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    BIBE, 2003, pp:426-435 [Conf]
  11. Stephen S. Yau, Jeffrey J. P. Tsai
    A Graph-Based Software Maintenance Environment. [Citation Graph (0, 0)][DBLP]
    COMPCON, 1984, pp:321-324 [Conf]
  12. Lu Ma, Jeffrey J. P. Tsai, Tadao Murata
    A Secure Mobile Agent System Model Based on Extended Elementary Object System. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:218-223 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1996, pp:36-40 [Conf]
  14. Zhenwei Yu, Jeffrey J. P. Tsai
    A Multi-Class SLIPPER System for Intrusion Detection. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:212-217 [Conf]
  15. Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert
    Improving Software Quality through a Novel Testing Strategy. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1995, pp:224-231 [Conf]
  16. Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, Jeffrey J. P. Tsai
    Separating Functional and Non-functional Concerns through Coordination: An Application to Reliability. [Citation Graph (0, 0)][DBLP]
    COMPSAC (2), 2006, pp:63-66 [Conf]
  17. Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
    A new compositional method for condensed state-space verification. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:104-111 [Conf]
  18. Jeffrey J. P. Tsai, Eric Y. T. Juan
    Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. [Citation Graph (0, 0)][DBLP]
    HASE, 1997, pp:188-193 [Conf]
  19. Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
    Transaction integration for reusable hard real-time components. [Citation Graph (0, 0)][DBLP]
    HASE, 1996, pp:166-175 [Conf]
  20. Jeffrey J. P. Tsai, Thomas J. Weigert, M. Aoyama
    A declarative approach to software requirement specification languages. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:414-421 [Conf]
  21. Jeffrey J. P. Tsai, Kuang Xu
    Architecture Specification of Multimedia Software Systems. [Citation Graph (0, 0)][DBLP]
    ICMCS, Vol. 1, 1999, pp:97-102 [Conf]
  22. Du Zhang, Jeffrey J. P. Tsai
    Machine Learning and Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:22-0 [Conf]
  23. Ming Rao, Tsung-Shann Jiang, Jeffrey J. P. Tsai
    Integrated Environment for Intelligent Control. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 1), 1988, pp:466-474 [Conf]
  24. Jeffrey J. P. Tsai, Ray-Yuan Sheu
    A Distributed Cooperative Agents Architecture for Software Development. [Citation Graph (0, 0)][DBLP]
    The Next Generation of Information Systems, 1991, pp:271-290 [Conf]
  25. Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai
    Formal Analysis of Software Security System Architectures. [Citation Graph (0, 0)][DBLP]
    ISADS, 2001, pp:426-434 [Conf]
  26. Yan Luo, Jeffrey J. P. Tsai
    A Graphical Simulation System for Modeling and Analysis of Sensor Networks. [Citation Graph (0, 0)][DBLP]
    ISM, 2005, pp:474-482 [Conf]
  27. Masahito Hirakawa, Max Mühlhäuser, Susanto Rahardja, Phillip C.-Y. Sheu, Larry Smarr, Jeffrey Tsai
    Issues, Challenges, and Future Directions in Multimedia Research. [Citation Graph (0, 0)][DBLP]
    ISM, 2006, pp:773- [Conf]
  28. Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert
    Verification Criterion Directed Testing for Formal Specifications. [Citation Graph (0, 0)][DBLP]
    SEKE, 1996, pp:393-399 [Conf]
  29. Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair
    Debugging Logic-Based Requirements Specifications - a FRORL Approach. [Citation Graph (0, 0)][DBLP]
    SEKE, 1993, pp:372-379 [Conf]
  30. Shangping Ren, Limin Shen, Jeffrey J. P. Tsai
    Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    SUTC (1), 2006, pp:60-67 [Conf]
  31. Hsueh-Ting Chu, Chir-Chang Huang, Zhi-Hui Lian, Jeffrey J. P. Tsai
    A ubiquitous warning system for asthma-inducement. [Citation Graph (0, 0)][DBLP]
    SUTC (2), 2006, pp:186-191 [Conf]
  32. Ming Rao, Jeffrey J. P. Tsai, Tsung-Shann Jiang
    An intelligent decisionmaker for optimal control. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1988, v:2, n:3-4, pp:285-305 [Journal]
  33. Jeffrey J. P. Tsai, Owen S. Chan, Alan Liu
    Intelligent syntax-directed editor that models user proficiency. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1992, v:6, n:2, pp:166-194 [Journal]
  34. Jeffrey J. P. Tsai, Mark Metea, John Cesarone
    A knowledge-base navigation scheme for autonomous land vehicles. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 1990, v:4, n:1, pp:1-14 [Journal]
  35. 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. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2001, v:12, n:1, pp:139-165 [Journal]
  36. Jeffrey J. P. Tsai, Kuang Xu
    A comparative study of formal verification techniques for software architecture specifications. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 2000, v:10, n:, pp:207-223 [Journal]
  37. Jeffrey J. P. Tsai, Kuang Xu
    An Empirical Evaluation of Deadlock Detection in Software Architecture Specifications. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1999, v:7, n:, pp:95-126 [Journal]
  38. Jeffrey J. P. Tsai, Bing Li, Eric Y. T. Juan
    Parallel Evaluation of Software Architecture Specifications. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1997, v:40, n:1, pp:83-86 [Journal]
  39. Jeffrey J. P. Tsai, Eric Y. T. Juan
    Modeling and Verification of High-Assurance Properties of Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Comput. J., 2001, v:44, n:6, pp:504-530 [Journal]
  40. Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen
    A Noninvasive Architecture to Monitor Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1990, v:23, n:3, pp:11-23 [Journal]
  41. Rong-Ming Chen, Kuei-Chung Shih, Rouh-Mei Hu, Jeffrey J. P. Tsai
    Predicting Cancerous Genes Based on Regulation Truth Tables. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:5, pp:753-766 [Journal]
  42. Ka-Lok Ng, Chien-Hung Huang, Po-Han Lee, Jywe-Fei Fang, Jeffrey J. P. Tsai
    Modular Structures and Robustness of Protein Networks. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 2006, v:15, n:2, pp:309-322 [Journal]
  43. Yi Deng, Jiacun Wang, Xudong He, Jeffrey J. P. Tsai
    Constraint Propagation And Progressive Verification For Component-Based Process Model. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2004, v:14, n:5, pp:471-496 [Journal]
  44. Rong-Ming Chen, Falcon F. M. Liu, Jeffrey J. P. Tsai
    A Software Architecture for Finding Motifs Using Genetic Algorithm. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:3, pp:571-585 [Journal]
  45. Kuang Xu, Jeffrey J. P. Tsai
    Specification of Multimedia Software Systems Using an Object Oriented Architecture Description Language. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1999, v:9, n:6, pp:767-800 [Journal]
  46. Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla
    An Incremental Verification Algorithm for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1999, v:9, n:2, pp:203-216 [Journal]
  47. Jeffrey J. P. Tsai, A. Prasad Sistla, Avinash Sahay, Raymond A. Paul
    Incremental Verification of Architecture Specification Language for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 1998, v:8, n:3, pp:347-360 [Journal]
  48. Jeffrey J. P. Tsai, Du Zhang
    Guest Editors' Introduction. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2005, v:15, n:3, pp:473-474 [Journal]
  49. Stephen J. H. Yang, Jeffrey J. P. Tsai, Irene Y. L. Chen
    Development of Wireless Embedded Systems Using Component Based Software. [Citation Graph (0, 0)][DBLP]
    International Journal of Software Engineering and Knowledge Engineering, 2002, v:12, n:2, pp:135-153 [Journal]
  50. Xuhua Liu, Kwang-Ya Fang, Jeffrey J. P. Tsai, Thomas J. Weigert
    lambda-Resolution and interpretation of -implication in fuzzy operator logic. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1991, v:56, n:1-3, pp:259-278 [Journal]
  51. Jeffrey J. P. Tsai, Thomas J. Weigert
    An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1992, v:63, n:3, pp:261-283 [Journal]
  52. Hung-Kuang Chen, Chin-Shyurng Fahn, Jeffrey J. P. Tsai, Ming-Bo Lin
    A Novel Cache-based Approach to Large Polygonal Mesh Simplification. [Citation Graph (0, 0)][DBLP]
    J. Inf. Sci. Eng., 2006, v:22, n:4, pp:843-861 [Journal]
  53. Jeffrey J. P. Tsai, Thomas J. Weigert
    A knowledge-based approach for checking software information using a non-monotonic reasoning system. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 1990, v:3, n:3, pp:131-138 [Journal]
  54. 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. [Citation Graph (0, 0)][DBLP]
    Multimedia Syst., 2006, v:11, n:5, pp:480-494 [Journal]
  55. Du Zhang, Jeffrey J. P. Tsai
    Machine Learning and Software Engineering. [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2003, v:11, n:2, pp:87-119 [Journal]
  56. Yi Deng, Jiacun Wang, Jeffrey J. P. Tsai, Konstantin Beznosov
    An Approach for Modeling and Analysis of Security System Architectures. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:5, pp:1099-1119 [Journal]
  57. Jeffrey J. P. Tsai
    Dependability of AI Systems - Guest Editor's Introduction. [Citation Graph (0, 4)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1995, v:7, n:1, pp:1-3 [Journal]
  58. Jeffrey J. P. Tsai, Eric Y. T. Juan, Avinash Sahay
    Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:2, pp:405-422 [Journal]
  59. Jeffrey J. P. Tsai, Alan Liu, Eric Y. T. Juan, Avinash Sahay
    Knowledge-Based Software Architectures: Acquisition, Specification, and Verification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1999, v:11, n:1, pp:187-201 [Journal]
  60. Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert
    A Logic-Based Transformation System. [Citation Graph (0, 12)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1998, v:10, n:1, pp:91-107 [Journal]
  61. Thomas J. Weigert, Jeffrey J. P. Tsai
    A Computationally Tractable Nonmonotonic Logic. [Citation Graph (0, 19)][DBLP]
    IEEE Trans. Knowl. Data Eng., 1994, v:6, n:1, pp:57-63 [Journal]
  62. Stephen J. H. Yang, Jeffrey J. P. Tsai, Chyun-Chyi Chen
    Fuzzy Rule Base Systems Verification Using High-Level Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:2, pp:457-473 [Journal]
  63. Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata
    Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:5, pp:917-979 [Journal]
  64. Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata, Yi Zhou
    Reduction Methods for Real-Time Systems Using Delay Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:5, pp:422-448 [Journal]
  65. Dinesh Kadamuddi, Jeffrey J. P. Tsai
    Clustering Algorithm for Parallelizing Software Systems in Multiprocessors Environment. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:4, pp:340-361 [Journal]
  66. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:8, pp:897-916 [Journal]
  67. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1995, v:21, n:1, pp:32-49 [Journal]
  68. Stephen S. Yau, Jeffrey J. P. Tsai
    A Survey of Software Design Techniques. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1986, v:12, n:6, pp:713-721 [Journal]
  69. Stephen S. Yau, Robin A. Nicholl, Jeffrey J. P. Tsai, Sying-Syang Liu
    An Integrated Life-Cycle Model for Software Maintenance. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:8, pp:1128-1144 [Journal]
  70. Chien-Hung Huang, Jywe-Fei Fang, Jeffrey J. P. Tsai, Ka-Lok Ng
    Topological Robustness of the Protein-Protein Interaction Networks. [Citation Graph (0, 0)][DBLP]
    Systems Biology and Regulatory Genomics, 2005, pp:166-177 [Conf]
  71. Jeffrey J. P. Tsai, Mukesh Singhal
    Introduction: Special issue of the IEEE SUTC'06. [Citation Graph (0, 0)][DBLP]
    TAAS, 2007, v:2, n:3, pp:- [Journal]
  72. 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. [Citation Graph (0, 0)][DBLP]
    TAAS, 2007, v:2, n:3, pp:- [Journal]

  73. Modeling a secure sensor network system using an Extended Elementary Object System. [Citation Graph (, )][DBLP]


  74. Phylogenetic Analysis Using Nuclear-Encoded Mitochondrial Proteins. [Citation Graph (, )][DBLP]


  75. A Novel Approach for Motif Identification in Unaligned Molecular Sequences. [Citation Graph (, )][DBLP]


  76. An Integrative Tool for Gene Regulatory Network Reconstruction Based on Microarray Data. [Citation Graph (, )][DBLP]


  77. Describing Dynamic Biological Systems in SPDL and SCDL. [Citation Graph (, )][DBLP]


  78. SCDL Applications to Drug Discovery. [Citation Graph (, )][DBLP]


  79. A Context-Driven Content Adaptation Planner for Improving Mobile Internet Accessibility. [Citation Graph (, )][DBLP]


  80. A Framework for Extrusion Detection Using Machine Learning. [Citation Graph (, )][DBLP]


  81. A Framework of Machine Learning Based Intrusion Detection for Wireless Sensor Networks. [Citation Graph (, )][DBLP]


  82. BioSemantic System: Applications of Structured Natural Language to Biological and Biochemical Research. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002