2008 |
53 | EE | Xizhong Zheng:
Finitely Bounded Effective Computability.
Electr. Notes Theor. Comput. Sci. 202: 255-265 (2008) |
52 | EE | Xizhong Zheng:
A Hierarchy of Computably Enumerable Reals.
Fundam. Inform. 83(1-2): 219-230 (2008) |
2007 |
51 | EE | Xizhong Zheng:
Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals.
COCOON 2007: 327-337 |
50 | EE | Qingliang Chen,
Kaile Su,
Xizhong Zheng:
Primitive Recursiveness of Real Numbers under Different Representations.
Electr. Notes Theor. Comput. Sci. 167: 303-324 (2007) |
49 | EE | Xizhong Zheng:
Classification of the Computable Approximations by Divergence Boundings.
Electr. Notes Theor. Comput. Sci. 167: 325-344 (2007) |
48 | EE | Ker-I Ko,
Klaus Weihrauch,
Xizhong Zheng:
Editorial: Math. Log. Quart. 4-5/2007.
Math. Log. Q. 53(4-5): 325 (2007) |
47 | EE | Qingliang Chen,
Kaile Su,
Xizhong Zheng:
Primitive recursive real numbers.
Math. Log. Q. 53(4-5): 365-380 (2007) |
2006 |
46 | EE | Xizhong Zheng:
A Computability Theory of Real Numbers.
CiE 2006: 584-594 |
45 | EE | Robert Rettinger,
Xizhong Zheng:
A hierarchy of Turing degrees of divergence bounded computable real numbers.
J. Complexity 22(6): 818-826 (2006) |
44 | EE | Kaile Su,
Qingliang Chen,
Abdul Sattar,
Weiya Yue,
Guanfeng Lv,
Xizhong Zheng:
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.
J. Comput. Sci. Technol. 21(6): 932-943 (2006) |
43 | EE | Xizhong Zheng,
Dianchen Lu,
Kejin Bao:
Divergence bounded computable real numbers.
Theor. Comput. Sci. 351(1): 27-38 (2006) |
42 | EE | Xizhong Zheng,
Robert Rettinger:
A Reference Correction of "Effective Jordan Decomposition".
Theory Comput. Syst. 39(2): 385-385 (2006) |
2005 |
41 | | Robert Rettinger,
Xizhong Zheng:
A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers.
CCA 2005: 199-209 |
40 | EE | Robert Rettinger,
Xizhong Zheng:
Solovay Reducibility on D-c.e Real Numbers.
COCOON 2005: 359-368 |
39 | EE | Robert Rettinger,
Xizhong Zheng:
On the Turing Degrees of Divergence Bounded Computable Reals.
CiE 2005: 418-428 |
38 | EE | Xizhong Zheng,
Robert Rettinger:
A Note On the Turing Degrees of Divergence Bounded Computable Reals.
Electr. Notes Theor. Comput. Sci. 120: 231-237 (2005) |
37 | EE | Xizhong Zheng,
Robert Rettinger,
George Barmpalias:
h-monotonically computable real numbers.
Math. Log. Q. 51(2): 157-170 (2005) |
36 | EE | Xizhong Zheng,
Robert Rettinger:
Effective Jordan Decomposition.
Theory Comput. Syst. 38(2): 189-209 (2005) |
35 | EE | Xizhong Zheng,
Robert Rettinger,
Romain Gengler:
Closure Properties of Real Number Classes under CBV Functions.
Theory Comput. Syst. 38(6): 701-729 (2005) |
2004 |
34 | EE | Xizhong Zheng,
Robert Rettinger:
On the Extensions of Solovay-Reducibility..
COCOON 2004: 360-369 |
33 | EE | Rod Downey,
Guohua Wu,
Xizhong Zheng:
Degrees of d. c. e. reals.
Math. Log. Q. 50(4-5): 345-350 (2004) |
32 | EE | Xizhong Zheng,
Robert Rettinger:
Weak computability and representation of reals.
Math. Log. Q. 50(4-5): 431-442 (2004) |
2003 |
31 | EE | Xizhong Zheng:
On the Divergence Bounded Computable Real Numbers.
COCOON 2003: 102-111 |
30 | EE | Xizhong Zheng,
George Barmpalias:
On the Monotonic Computability of Semi-computable Real Numbers.
DMTCS 2003: 290-300 |
29 | EE | Xizhong Zheng,
Robert Rettinger,
Romain Gengler:
Ershov's Hierarchy of Real Numbers.
MFCS 2003: 681-690 |
28 | EE | Xizhong Zheng,
Robert Rettinger,
Burchard von Braunmühl:
On the Effective Jordan Decomposability.
STACS 2003: 167-178 |
27 | EE | Robert Rettinger,
Xizhong Zheng:
On the hierarchy and extension of monotonically computable real numbers.
J. Complexity 19(5): 672-691 (2003) |
26 | EE | Xizhong Zheng:
On the Turing Degrees of Weakly Computable Real Numbers.
J. Log. Comput. 13(2): 159-172 (2003) |
2002 |
25 | EE | Robert Rettinger,
Xizhong Zheng:
Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers.
COCOON 2002: 47-56 |
24 | EE | Xizhong Zheng,
Robert Rettinger,
Burchard von Braunmühl:
Effectively Absolute Continuity and Effective Jordan Decomposability.
Electr. Notes Theor. Comput. Sci. 66(1): (2002) |
23 | EE | Robert Rettinger,
Xizhong Zheng,
Romain Gengler,
Burchard von Braunmühl:
Monotonically Computable Real Numbers.
Math. Log. Q. 48(3): 459-479 (2002) |
22 | EE | Xizhong Zheng:
Recursive Approximability of Real Numbers.
Math. Log. Q. 48(S1): 131-156 (2002) |
21 | EE | Xizhong Zheng:
The closure properties on real numbers under limits and computable operators.
Theor. Comput. Sci. 284(2): 499-518 (2002) |
2001 |
20 | EE | Robert Rettinger,
Xizhong Zheng,
Romain Gengler,
Burchard von Braunmühl:
Weakly Computable Real Numbers and Total Computable Real Functions.
COCOON 2001: 586-595 |
19 | EE | Robert Rettinger,
Xizhong Zheng:
Hierarchy of Monotonically Computable Real Numbers.
MFCS 2001: 633-644 |
18 | EE | Xizhong Zheng,
Klaus Weihrauch:
The Arithmetical Hierarchy of Real Numbers.
Math. Log. Q. 47(1): 51-65 (2001) |
2000 |
17 | EE | Xizhong Zheng:
Closure Properties of Real Number Classes under Limits and Computable Operators.
COCOON 2000: 170-179 |
16 | EE | Klaus Ambos-Spies,
Klaus Weihrauch,
Xizhong Zheng:
Weakly Computable Real Numbers.
J. Complexity 16(4): 676-690 (2000) |
15 | EE | Klaus Weihrauch,
Xizhong Zheng:
Computability on continuous, lower semi-continuous and upper semi-continuous real functions.
Theor. Comput. Sci. 234(1-2): 109-133 (2000) |
1999 |
14 | EE | Xizhong Zheng:
Binary Enumerability of Real Numbers.
COCOON 1999: 300-309 |
13 | | Xizhong Zheng,
Klaus Weihrauch:
The Arithmetical Hierarchy of Real Numbers.
MFCS 1999: 23-33 |
12 | | Vasco Brattka,
Xizhong Zheng,
Klaus Weihrauch:
Approaches to Effective Semi-Continuity of Real Functions.
Math. Log. Q. 45: 481-496 (1999) |
11 | EE | Klaus Weihrauch,
Xizhong Zheng:
Effectiveness of the Global Modulus of Continuity on Metric Spaces.
Theor. Comput. Sci. 219(1-2): 439-450 (1999) |
1998 |
10 | EE | Vasco Brattka,
Klaus Weihrauch,
Xizhong Zheng:
Approaches to Effective Semi-continuity of Real Functions.
COCOON 1998: 184-193 |
9 | EE | Klaus Weihrauch,
Xizhong Zheng:
A Finite Hierarchy of the Recursively Enumerable Real Numbers.
MFCS 1998: 798-806 |
1997 |
8 | | Klaus Weihrauch,
Xizhong Zheng:
Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions.
COCOON 1997: 166-175 |
7 | | Klaus Weihrauch,
Xizhong Zheng:
Effectiveness of the Global Modulus of Continuity on Metric Spaces.
Category Theory and Computer Science 1997: 210-219 |
6 | EE | Klaus Ambos-Spies,
Sebastiaan Terwijn,
Xizhong Zheng:
Resource Bounded Randomness and Weakly Complete Problems.
Theor. Comput. Sci. 172(1-2): 195-207 (1997) |
1996 |
5 | EE | Klaus Weihrauch,
Xizhong Zheng:
Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions.
CCA 1996 |
4 | EE | Klaus Ambos-Spies,
Elvira Mayordomo,
Xizhong Zheng:
A Comparison of Weak Completeness Notions.
IEEE Conference on Computational Complexity 1996: 171-178 |
3 | | Klaus Ambos-Spies,
Elvira Mayordomo,
Yongge Wang,
Xizhong Zheng:
Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness.
STACS 1996: 63-74 |
1994 |
2 | | Klaus Ambos-Spies,
Sebastiaan Terwijn,
Xizhong Zheng:
Resource Bounded Randomness and Weakly Complete Problems.
ISAAC 1994: 369-377 |
1993 |
1 | | Xizhong Zheng:
On the Maximality of Some Pairs of p-t Degrees.
Notre Dame Journal of Formal Logic 34(1): 29-35 (1993) |