Thomas J. Weigert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1990–2003
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | COMPSAC | Challenges and Recent Advances in Developing Trustworthy Software-Based Systems. | Stephen S. Yau, Carl E. Landwehr, Jeffrey M. Voas, Thomas J. Weigert |
| 1996 | SEKE | Verification Criterion Directed Testing for Formal Specifications. | Ziaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert |
| 1995 | COMPSAC | Improving Software Quality through a Novel Testing Strategy. | Xiaomu Zeng, Jeffrey J. P. Tsai, Thomas J. Weigert |
| 1990 | ICTAI | A hybrid knowledge representation as a basis of requirement specification and reasoning. | Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang |