dblp.uni-trier.dewww.uni-trier.de

Tie-Cheng Wang Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
12EETie-Cheng Wang: A Typed Resolution Principle for Deduction with Conditional Typing Theory. Artif. Intell. 75(2): 161-194 (1995)
1994
11EETie-Cheng Wang, Allen Goldberg: KITP-93: An Automated Inference System for Program Analysis. CADE 1994: 831-835
10EEAllen 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
8EETie-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
6EETie-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
3EETie-Cheng Wang: ECR: An Equality Conditional Resolution Proof Procedure. CADE 1986: 254-271
2EETie-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

Coauthor Index

1W. W. Bledsoe [5]
2Allen Goldberg [8] [10] [11]
3Rick L. Stevens (Rick Stevens) [7]
4David Zimmerman [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)