Tie-Cheng Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
1985–1994
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1994 | CADE | KITP-93: An Automated Inference System for Program Analysis. | Tie-Cheng Wang, Allen Goldberg |
| 1994 | ISSTA | Applications of Feasible Path Analysis to Program Testing. | Allen Goldberg, Tie-Cheng Wang, David Zimmerman |
| 1992 | CADE | RVF: An Automated Formal Verification System. | Tie-Cheng Wang, Allen Goldberg |
| 1991 | ISSRE | A mechanical verifier for supporting the design of reliable reactive systems. | Tie-Cheng Wang, Allen Goldberg |
| 1988 | CADE | Elements of Z-Module Reasoning. | Tie-Cheng Wang |
| 1986 | CADE | ECR: An Equality Conditional Resolution Proof Procedure. | Tie-Cheng Wang |
| 1986 | CADE | SHD-Prover at University of Texas at Austin. | Tie-Cheng Wang |
| 1985 | IJCAI | Designing Examples for Semantically Guided Hierarchical Deduction. | Tie-Cheng Wang |