|
Search the dblp DataBase
Thomas J. Weigert:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert
Challenges and Recent Advances in Developing Trustworthy Software-Based Systems. [Citation Graph (0, 0)][DBLP] COMPSAC, 2003, pp:208-0 [Conf]
- Thomas J. Weigert
Resolution-based Reasoning for Fuzzy Logic. [Citation Graph (0, 0)][DBLP] Expert Systems in Engineering, 1990, pp:176-189 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Search in 0.002secs, Finished in 0.002secs
|