Thomas J. Weigert

18 papers B 2C 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2008 J jnl
An adaptive automatically tuning intrusion detection system.
ACM Trans. Auton. Adapt. Syst.
Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert
2007 J jnl
An Automatically Tuning Intrusion Detection System.
IEEE Trans. Syst. Man Cybern. Part B
Zhenwei Yu, Jeffrey J. P. Tsai, Thomas J. Weigert
2003 B conf
Challenges and Recent Advances in Developing Trustworthy Software-Based Systems.
COMPSAC
Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert
1998 J jnl
A Logic-Based Transformation System.
IEEE Trans. Knowl. Data Eng.
Jeffrey J. P. Tsai, Bing Li, Thomas J. Weigert
1996 — conf
A logic-based requirements language for the specification and analysis of real-time systems.
WORDS
Jeffrey J. P. Tsai, Thomas J. Weigert
1996 C conf
Verification Criterion Directed Testing for Formal Specifications.
SEKE
Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert
1995 B conf
Improving Software Quality through a Novel Testing Strategy.
COMPSAC
Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert
1994 J jnl
A Computationally Tractable Nonmonotonic Logic.
IEEE Trans. Knowl. Data Eng.
Thomas J. Weigert, Jeffrey J. P. Tsai
1993 J jnl
Fuzzy Operator Logic and Fuzzy Resolution.
J. Autom. Reason.
Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu
1993 — book
Knowledge-Based Software Development for Real-Time Distributed Systems
Jeffrey J. P. Tsai, Thomas J. Weigert
1992 J jnl
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.
IEEE Trans. Software Eng.
Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang
1992 J jnl
An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic.
Inf. Sci.
Jeffrey J. P. Tsai, Thomas J. Weigert
1991 J jnl
Reasoning under uncertainty in fuzzy operator logic.
IEEE Trans. Syst. Man Cybern.
Jeffrey J. P. Tsai, Thomas J. Weigert, Xuhua Liu
1991 J jnl
lambda-Resolution and interpretation of -implication in fuzzy operator logic.
Inf. Sci.
Xuhua Liu, Kwang-Ya Fang, Jeffrey J. P. Tsai, Thomas J. Weigert
1990 — conf
A hybrid knowledge representation as a basis of requirement specification and reasoning.
TAI
Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang
1990 J jnl
A knowledge-based approach for checking software information using a non-monotonic reasoning system.
Knowl. Based Syst.
Jeffrey J. P. Tsai, Thomas J. Weigert
1990 — conf
Resolution-based Reasoning for Fuzzy Logic.
Expert Systems in Engineering
Thomas J. Weigert
1988 — conf
A declarative approach to software requirement specification languages.
ICCL
Jeffrey J. P. Tsai, Thomas J. Weigert, Mikio Aoyama