Thomas J. Weigert

Publication Activity (10 Years)

Years Active: 1988-2008
Publications (10 Years): 0

Publications

Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert
An adaptive automatically tuning intrusion detection system. ACM Trans. Auton. Adapt. Syst. 3 (3) (2008)
Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert
An Automatically Tuning Intrusion Detection System. IEEE Trans. Syst. Man Cybern. Part B 37 (2) (2007)
Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert
Challenges and Recent Advances in Developing Trustworthy Software-Based Systems. COMPSAC (2003)
Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert
A Logic-Based Transformation System. IEEE Trans. Knowl. Data Eng. 10 (1) (1998)
Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert
Verification Criterion Directed Testing for Formal Specifications. SEKE (1996)
Jeffrey J. P. Tsai, Thomas J. Weigert
A logic-based requirements language for the specification and analysis of real-time systems. WORDS (1996)
Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert
Improving Software Quality through a Novel Testing Strategy. COMPSAC (1995)
Thomas J. Weigert, Jeffrey J. P. Tsai
A Computationally Tractable Nonmonotonic Logic. IEEE Trans. Knowl. Data Eng. 6 (1) (1994)
Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu
Fuzzy Operator Logic and Fuzzy Resolution. J. Autom. Reason. 10 (1) (1993)
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) (1992)
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) (1992)
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) (1991)
Jeffrey J. P. Tsai, Thomas J. Weigert, Xuhua Liu
Reasoning under uncertainty in fuzzy operator logic. IEEE Trans. Syst. Man Cybern. 21 (6) (1991)
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) (1990)
Thomas J. Weigert
Resolution-based Reasoning for Fuzzy Logic. Expert Systems in Engineering (1990)
Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang
A hybrid knowledge representation as a basis of requirement specification and reasoning. TAI (1990)
Jeffrey J. P. Tsai, Thomas J. Weigert, Mikio Aoyama
A declarative approach to software requirement specification languages. ICCL (1988)