Decheng Ding

	2009
19		Klaus Weihrauch, Yongcheng Wu, Decheng Ding: Absolutely non-computable predicates and functions in analysis. Mathematical Structures in Computer Science 19(1): 59-71 (2009)
	2007
18		Decheng Ding, Klaus Weihrauch, Yongcheng Wu: Absolutely Non-effective Predicates and Functions in Computable Analysis. TAMC 2007: 595-604
17		Wei Wang, Decheng Ding: On definable filters in computably enumerable degrees. Ann. Pure Appl. Logic 147(1-2): 71-83 (2007)
16		Wei Wang, Decheng Ding: On the definable ideal generated by the plus cupping c.e. degrees. Arch. Math. Log. 46(3-4): 321-346 (2007)
	2006
15		Zhenyu Chen, Decheng Ding: Variable Minimal Unsatisfiability. TAMC 2006: 262-273
14		Conghua Zhou, Decheng Ding: Improved SAT Based Bounded Model Checking. TAMC 2006: 611-620
13		Yongcheng Wu, Decheng Ding: Computability of measurable sets via effective topologies. Arch. Math. Log. 45(3): 365-379 (2006)
	2005
12		Yongcheng Wu, Decheng Ding: Computability of measurable sets via effective metrics. Math. Log. Q. 51(6): 543-559 (2005)
	2004
11		Liang Yu, Decheng Ding, Rodney G. Downey: The Kolmogorov complexity of random reals. Ann. Pure Appl. Logic 129(1-3): 163-180 (2004)
	2003
10		Xishun Zhao, Decheng Ding: Fixed-Parameter Tractability of Disjunction-Free Default Reasoning. J. Comput. Sci. Technol. 18(1): 118-124 (2003)
9		Daoyun Xu, Decheng Ding, Zhang Mingyi: Characterization of an Auto-Compatible Default Theory. J. Comput. Sci. Technol. 18(3): 393-398 (2003)
	2001
8		Xishun Zhao, Decheng Ding: Complexity Results for 2CNF Default Theories. Fundam. Inform. 45(4): 393-404 (2001)
7		Xishun Zhao, Decheng Ding: Some Algorithms for Extension Computation of Nonmonotonic Rule Systems. Fundam. Inform. 48(1): 93-106 (2001)
	2000
6		Xishun Zhao, Decheng Ding, Hans Kleine Büning: Complexity Results for Restricted Credulous Default Reasoning. AI Commun. 13(4): 249-258 (2000)
5		Kaile Su, Huowang Chen, Decheng Ding: Two alternative notions of 'possibility' satisfying Halpern's conditions. J. Log. Comput. 10(2): 253-269 (2000)
4		Lu Hong, Decheng Ding, Lei Qian: A Splitting with Infimum in the d-c. e. Degrees. Math. Log. Q. 46(1): 53-76 (2000)
	1997
3		Kaile Su, Decheng Ding, Huowang Chen: A Three-Valued Quantificational Logic of Context. COCOON 1997: 343-352
	1996
2		Decheng Ding, Lei Qian: Isolated d.r.e. degrees are dense in r.e. degree structure. Arch. Math. Log. 36(1): 1-10 (1996)
	1994
1		Decheng Ding, Klaus Ambos-Spies: Discontinuity of Cappings in the Recursively Enumerable Degrees and Strongly Nonbranching Degrees. Math. Log. Q. 40: 287-317 (1994)

Coauthor Index

1	Klaus Ambos-Spies	[1]
2	Hans Kleine Büning	[6]
3	Huowang Chen	[3] [5]
4	Zhenyu Chen	[15]
5	Rodney G. Downey (Rod Downey)	[11]
6	Lu Hong	[4]
7	Zhang Mingyi	[9]
8	Lei Qian	[2] [4]
9	Kaile Su	[3] [5]
10	Wei Wang	[16] [17]
11	Klaus Weihrauch	[18] [19]
12	Yongcheng Wu	[12] [13] [18] [19]
13	Daoyun Xu	[9]
14	Liang Yu	[11]
15	Xishun Zhao	[6] [7] [8] [10]
16	Conghua Zhou	[14]

Colors in the list of coauthors