Decheng Ding
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1997–2007
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | TAMC | Absolutely Non-effective Predicates and Functions in Computable Analysis. | Decheng Ding, Klaus Weihrauch, Yongcheng Wu |
| 2006 | TAMC | Variable Minimal Unsatisfiability. | Zhenyu Chen, Decheng Ding |
| 2006 | TAMC | Improved SAT Based Bounded Model Checking. | Conghua Zhou, Decheng Ding |
| 1997 | COCOON | A Three-Valued Quantificational Logic of Context. | Kaile Su, Decheng Ding, Huowang Chen |