Xizhong Zheng

Publication Activity (10 Years)

Years Active: 1993-2019
Publications (10 Years): 1

Top Topics

Interval Arithmetic

Top Venues

Log. Methods Comput. Sci.

Publications

Klaus Ambos-Spies, Xizhong Zheng
On the Differences and Sums of Strongly Computably Enumerable Real Numbers. CiE (2019)
Xizhong Zheng, Robert Rettinger
Point-Separable Classes of Simple Computable Planar Curves Log. Methods Comput. Sci. 8 (3) (2012)
Matthew S. Bauer, Xizhong Zheng
On the Weak Computability of Continuous Real Functions CCA (2010)
Robert Rettinger, Xizhong Zheng
Points on Computable Curves of Computable Lengths. MFCS (2009)
Robert Rettinger, Xizhong Zheng
On the Computability of Rectifiable Simple Curve (Extended Abstract). CCA (2009)
Xizhong Zheng
Classification of Computably Approximable Real Numbers. Theory Comput. Syst. 43 (3-4) (2008)
Xizhong Zheng
A Hierarchy of Computably Enumerable Reals. Fundam. Informaticae 83 (1-2) (2008)
Xizhong Zheng
Finitely Bounded Effective Computability. Electron. Notes Theor. Comput. Sci. 202 (2008)
Xizhong Zheng
Classification of the Computable Approximations by Divergence Boundings. Electron. Notes Theor. Comput. Sci. 167 (2007)
Ker-I Ko, Klaus Weihrauch, Xizhong Zheng
Editorial: Math. Log. Quart. 4-5/2007. Math. Log. Q. 53 (4-5) (2007)
Qingliang Chen, Kaile Su, Xizhong Zheng
Primitive recursive real numbers. Math. Log. Q. 53 (4-5) (2007)
Qingliang Chen, Kaile Su, Xizhong Zheng
Primitive Recursiveness of Real Numbers under Different Representations. Electron. Notes Theor. Comput. Sci. 167 (2007)
Xizhong Zheng
Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals. COCOON (2007)
Xizhong Zheng
On the hierarchies of $\Delta^0_2$-real numbers. RAIRO Theor. Informatics Appl. 41 (1) (2007)
Xizhong Zheng, Robert Rettinger
A Reference Correction of "Effective Jordan Decomposition". Theory Comput. Syst. 39 (2) (2006)
Xizhong Zheng, Dianchen Lu, Kejin Bao
Divergence bounded computable real numbers. Theor. Comput. Sci. 351 (1) (2006)
Xizhong Zheng
A Computability Theory of Real Numbers. CiE (2006)
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) (2006)
Robert Rettinger, Xizhong Zheng
A hierarchy of Turing degrees of divergence bounded computable real numbers. J. Complex. 22 (6) (2006)
Robert Rettinger, Xizhong Zheng
A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers. CCA (2005)
Xizhong Zheng, Robert Rettinger, George Barmpalias
-monotonically computable real numbers. Math. Log. Q. 51 (2) (2005)
Xizhong Zheng, Robert Rettinger
A Note On the Turing Degrees of Divergence Bounded Computable Reals. Electron. Notes Theor. Comput. Sci. 120 (2005)
Xizhong Zheng, Robert Rettinger
Effective Jordan Decomposition. Theory Comput. Syst. 38 (2) (2005)
Robert Rettinger, Xizhong Zheng
Solovay Reducibility on D-c.e Real Numbers. COCOON (2005)
Robert Rettinger, Xizhong Zheng
On the Turing Degrees of Divergence Bounded Computable Reals. CiE (2005)
Xizhong Zheng, Robert Rettinger, Romain Gengler
Closure Properties of Real Number Classes under CBV Functions. Theory Comput. Syst. 38 (6) (2005)
Rod Downey, Guohua Wu, Xizhong Zheng
Degrees of d. c. e. reals. Math. Log. Q. 50 (4-5) (2004)
Xizhong Zheng, Robert Rettinger
On the Extensions of Solovay-Reducibility.. COCOON (2004)
Xizhong Zheng, Robert Rettinger
Weak computability and representation of reals. Math. Log. Q. 50 (4-5) (2004)
Xizhong Zheng
On the Divergence Bounded Computable Real Numbers. COCOON (2003)
Xizhong Zheng
On the Turing Degrees of Weakly Computable Real Numbers. J. Log. Comput. 13 (2) (2003)
Xizhong Zheng, Robert Rettinger, Romain Gengler
Ershov's Hierarchy of Real Numbers. MFCS (2003)
Robert Rettinger, Xizhong Zheng
On the hierarchy and extension of monotonically computable real numbers. J. Complex. 19 (5) (2003)
Xizhong Zheng, George Barmpalias
On the Monotonic Computability of Semi-computable Real Numbers. DMTCS (2003)
Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl
On the Effective Jordan Decomposability. STACS (2003)
Xizhong Zheng
The closure properties on real numbers under limits and computable operators. Theor. Comput. Sci. 284 (2) (2002)
Robert Rettinger, Xizhong Zheng
Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers. COCOON (2002)
Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl
Effectively Absolute Continuity and Effective Jordan Decomposability. Electron. Notes Theor. Comput. Sci. 66 (1) (2002)
Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
Monotonically Computable Real Numbers. Math. Log. Q. 48 (3) (2002)
Xizhong Zheng
Recursive Approximability of Real Numbers. Math. Log. Q. 48 (S1) (2002)
Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
Monotonically Computable Real Numbers. DMTCS (2001)
Robert Rettinger, Xizhong Zheng
Hierarchy of Monotonically Computable Real Numbers. MFCS (2001)
Xizhong Zheng, Klaus Weihrauch
The Arithmetical Hierarchy of Real Numbers. Math. Log. Q. 47 (1) (2001)
Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
Weakly Computable Real Numbers and Total Computable Real Functions. COCOON (2001)
Klaus Weihrauch, Xizhong Zheng
Computability on continuous, lower semi-continuous and upper semi-continuous real functions. Theor. Comput. Sci. 234 (1-2) (2000)
Xizhong Zheng
Closure Properties of Real Number Classes under Limits and Computable Operators. COCOON (2000)
Klaus Ambos-Spies, Klaus Weihrauch, Xizhong Zheng
Weakly Computable Real Numbers. J. Complex. 16 (4) (2000)
Klaus Weihrauch, Xizhong Zheng
Effectiveness of the Global Modulus of Continuity on Metric Spaces. Theor. Comput. Sci. 219 (1-2) (1999)
Xizhong Zheng, Klaus Weihrauch
The Arithmetical Hierarchy of Real Numbers. MFCS (1999)
Xizhong Zheng
Binary Enumerability of Real Numbers. COCOON (1999)
Vasco Brattka, Xizhong Zheng, Klaus Weihrauch
Approaches to Effective Semi-Continuity of Real Functions. Math. Log. Q. 45 (1999)
Vasco Brattka, Klaus Weihrauch, Xizhong Zheng
Approaches to Effective Semi-continuity of Real Functions. COCOON (1998)
Klaus Weihrauch, Xizhong Zheng
A Finite Hierarchy of the Recursively Enumerable Real Numbers. MFCS (1998)
Klaus Weihrauch, Xizhong Zheng
Effectiveness of the Global Modulus of Continuity on Metric Spaces. Category Theory and Computer Science (1997)
Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng
Resource Bounded Randomness and Weakly Complete Problems. Theor. Comput. Sci. 172 (1-2) (1997)
Klaus Weihrauch, Xizhong Zheng
Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions. COCOON (1997)
Klaus Weihrauch, Xizhong Zheng
Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions. CCA (1996)
Klaus Ambos-Spies, Elvira Mayordomo, Xizhong Zheng
A Comparison of Weak Completeness Notions. Computational Complexity Conference (1996)
Klaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng
Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness. STACS (1996)
Xizhong Zheng
The rhombus classes of degrees of unsolvability (I), The jump properties. Arch. Math. Log. 33 (1) (1994)
Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng
Resource Bounded Randomness and Weakly Complete Problems. ISAAC (1994)
Xizhong Zheng
On the Maximality of Some Pairs of p-t Degrees. Notre Dame J. Formal Log. 34 (1) (1993)