 | 1995 |
|---|
| 12 |       | Tie-Cheng Wang:
A Typed Resolution Principle for Deduction with Conditional Typing Theory.
Artif. Intell. 75(2): 161-194 (1995) |
| 1994 |
|---|
| 11 | | Tie-Cheng Wang,
Allen Goldberg:
KITP-93: An Automated Inference System for Program Analysis.
CADE 1994: 831-835 |
| 10 | | Allen Goldberg,
Tie-Cheng Wang,
David Zimmerman:
Applications of Feasible Path Analysis to Program Testing.
ISSTA 1994: 80-94 |
| 1993 |
|---|
| 9 |  | Tie-Cheng Wang:
Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.
J. ACM 40(3): 558-606 (1993) |
| 1992 |
|---|
| 8 | | Tie-Cheng Wang,
Allen Goldberg:
RVF: An Automated Formal Verification System.
CADE 1992: 735-739 |
| 1989 |
|---|
| 7 | | Tie-Cheng Wang,
Rick Stevens:
Solving Open Problems in Right Alternative Rings with Z-Module Reasoning.
J. Autom. Reasoning 5(2): 141-165 (1989) |
| 1988 |
|---|
| 6 | | Tie-Cheng Wang:
Elements of Z-Module Reasoning.
CADE 1988: 21-40 |
| 1987 |
|---|
| 5 | | Tie-Cheng Wang,
W. W. Bledsoe:
Hierarchical Deduction.
J. Autom. Reasoning 3(1): 35-77 (1987) |
| 4 | | Tie-Cheng Wang:
Case Studies of Z-Module Reasoning: Proving Benchmark Theorems from Ring Theory.
J. Autom. Reasoning 3(4): 437-451 (1987) |
| 1986 |
|---|
| 3 | | Tie-Cheng Wang:
ECR: An Equality Conditional Resolution Proof Procedure.
CADE 1986: 254-271 |
| 2 | | Tie-Cheng Wang:
SHD-Prover at University of Texas at Austin.
CADE 1986: 707-708 |
| 1985 |
|---|
| 1 | | Tie-Cheng Wang:
Designing Examples for Semantically Guided Hierarchical Deduction.
IJCAI 1985: 1201-1207 |
