| 2008 |
|---|
| 14 | EE | Zhenwei Yu,
Jeffrey J. P. Tsai,
Thomas J. Weigert:
An adaptive automatically tuning intrusion detection system.
TAAS 3(3): (2008) |
| 2007 |
|---|
| 13 | 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) |
| 2003 |
|---|
| 12 | EE | Stephen S. Yau,
Carl E. Landwehr,
Jeffrey M. Voas,
Thomas J. Weigert:
Challenges and Recent Advances in Developing Trustworthy Software-Based Systems.
COMPSAC 2003: 208- |
| 1998 |
|---|
| 11 | 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) |
| 1996 |
|---|
| 10 | | Ziaomu Zeng,
Jeffrey J. P. Tsai,
Thomas J. Weigert:
Verification Criterion Directed Testing for Formal Specifications.
SEKE 1996: 393-399 |
| 1995 |
|---|
| 9 | EE | Xiaomu Zeng,
Jeffrey J. P. Tsai,
Thomas J. Weigert:
Improving Software Quality through a Novel Testing Strategy.
COMPSAC 1995: 224-231 |
| 1994 |
|---|
| 8 | EE | Thomas J. Weigert,
Jeffrey J. P. Tsai:
A Computationally Tractable Nonmonotonic Logic.
IEEE Trans. Knowl. Data Eng. 6(1): 57-63 (1994) |
| 1993 |
|---|
| 7 | | Thomas J. Weigert,
Jeffrey J. P. Tsai,
Xuhua Liu:
Fuzzy Operator Logic and Fuzzy Resolution.
J. Autom. Reasoning 10(1): 59-78 (1993) |
| 1992 |
|---|
| 6 | 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) |
| 5 | 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) |
| 1991 |
|---|
| 4 | 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) |
| 1990 |
|---|
| 3 | | Thomas J. Weigert:
Resolution-based Reasoning for Fuzzy Logic.
Expert Systems in Engineering 1990: 176-189 |
| 2 | 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 |
|---|
| 1 | EE | Jeffrey J. P. Tsai,
Thomas J. Weigert,
M. Aoyama:
A declarative approach to software requirement specification languages.
ICCL 1988: 414-421 |
