On the Maximality of Some Pairs of p-t Degrees. - Xizhong Zheng (Notre Dame J. Formal Log., 1993)

The rhombus classes of degrees of unsolvability (I), The jump properties. - Xizhong Zheng (Arch. Math. Log., 1994)

A Comparison of Weak Completeness Notions. - Klaus Ambos-Spies; Elvira Mayordomo; Xizhong Zheng (CCC, 1996)

Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness. - Klaus Ambos-Spies; Elvira Mayordomo; Yongge Wang; Xizhong Zheng (STACS, 1996)

Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions. - Klaus Weihrauch; Xizhong Zheng (COCOON, 1997)

Resource Bounded Randomness and Weakly Complete Problems. - Klaus Ambos-Spies; Sebastiaan Terwijn; Xizhong Zheng (Theor. Comput. Sci., 1997)

A Finite Hierarchy of the Recursively Enumerable Real Numbers. - Klaus Weihrauch; Xizhong Zheng (MFCS, 1998)

Binary Enumerability of Real Numbers. - Xizhong Zheng (COCOON, 1999)

Approaches to Effective Semi-Continuity of Real Functions. - Vasco Brattka; Xizhong Zheng; Klaus Weihrauch (Math. Log. Q., 1999)

Effectiveness of the Global Modulus of Continuity on Metric Spaces. - Klaus Weihrauch; Xizhong Zheng (Theor. Comput. Sci., 1999)

Closure Properties of Real Number Classes under Limits and Computable Operators. - Xizhong Zheng (COCOON, 2000)

Weakly Computable Real Numbers. - Klaus Ambos-Spies; Klaus Weihrauch; Xizhong Zheng (J. Complex., 2000)

Computability on continuous, lower semi-continuous and upper semi-continuous real functions. - Klaus Weihrauch; Xizhong Zheng (Theor. Comput. Sci., 2000)

Weakly Computable Real Numbers and Total Computable Real Functions. - Robert Rettinger; Xizhong Zheng; Romain Gengler; Burchard von Braunmühl (COCOON, 2001)

Hierarchy of Monotonically Computable Real Numbers. - Robert Rettinger; Xizhong Zheng (MFCS, 2001)

The Arithmetical Hierarchy of Real Numbers. - Xizhong Zheng; Klaus Weihrauch (Math. Log. Q., 2001)

Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers. - Robert Rettinger; Xizhong Zheng (COCOON, 2002)

Effectively Absolute Continuity and Effective Jordan Decomposability. - Xizhong Zheng; Robert Rettinger; Burchard von Braunmühl (CCA, 2002)

Monotonically Computable Real Numbers. - Robert Rettinger; Xizhong Zheng; Romain Gengler; Burchard von Braunmühl (Math. Log. Q., 2002)

Recursive Approximability of Real Numbers. - Xizhong Zheng (Math. Log. Q., 2002)

The closure properties on real numbers under limits and computable operators. - Xizhong Zheng (Theor. Comput. Sci., 2002)

On the Divergence Bounded Computable Real Numbers. - Xizhong Zheng (COCOON, 2003)

On the Monotonic Computability of Semi-computable Real Numbers. - Xizhong Zheng; George Barmpalias (DMTCS, 2003)

Ershov's Hierarchy of Real Numbers. - Xizhong Zheng; Robert Rettinger; Romain Gengler (MFCS, 2003)

On the Effective Jordan Decomposability. - Xizhong Zheng; Robert Rettinger; Burchard von Braunmühl (STACS, 2003)

On the hierarchy and extension of monotonically computable real numbers. - Robert Rettinger; Xizhong Zheng (J. Complex., 2003)

On the Turing Degrees of Weakly Computable Real Numbers. - Xizhong Zheng (J. Log. Comput., 2003)

On the Extensions of Solovay-Reducibility.. - Xizhong Zheng; Robert Rettinger (COCOON, 2004)

A Note On the Turing Degrees of Divergence Bounded Computable Reals. - Xizhong Zheng; Robert Rettinger (CCA, 2004)

Degrees of d. c. e. reals. - Rod Downey; Guohua Wu; Xizhong Zheng (Math. Log. Q., 2004)

Weak computability and representation of reals. - Xizhong Zheng; Robert Rettinger (Math. Log. Q., 2004)

On the Turing Degrees of Divergence Bounded Computable Reals. - Robert Rettinger; Xizhong Zheng (CiE, 2005)

Solovay Reducibility on D-c.e Real Numbers. - Robert Rettinger; Xizhong Zheng (COCOON, 2005)

h-monotonically computable real numbers. - Xizhong Zheng; Robert Rettinger; George Barmpalias (Math. Log. Q., 2005)

Effective Jordan Decomposition. - Xizhong Zheng; Robert Rettinger (Theory Comput. Syst., 2005)

Closure Properties of Real Number Classes under CBV Functions. - Xizhong Zheng; Robert Rettinger; Romain Gengler (Theory Comput. Syst., 2005)

A Computability Theory of Real Numbers. - Xizhong Zheng (CiE, 2006)

Primitive Recursiveness of Real Numbers under Different Representations. - Qingliang Chen; Kaile Su; Xizhong Zheng (CCA, 2006)

Classification of the Computable Approximations by Divergence Boundings. - Xizhong Zheng (CCA, 2006)

A hierarchy of Turing degrees of divergence bounded computable real numbers. - Robert Rettinger; Xizhong Zheng (J. Complex., 2006)

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. - Kaile Su; Qingliang Chen; Abdul Sattar 001; Weiya Yue; Guanfeng Lv; Xizhong Zheng (J. Comput. Sci. Technol., 2006)

A Reference Correction of "Effective Jordan Decomposition". - Xizhong Zheng; Robert Rettinger (Theory Comput. Syst., 2006)

Divergence bounded computable real numbers. - Xizhong Zheng; Dianchen Lu; Kejin Bao (Theor. Comput. Sci., 2006)

Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals. - Xizhong Zheng (COCOON, 2007)

Finitely Bounded Effective Computability. - Xizhong Zheng (CCA, 2007)

On the hierarchies of $ Delta^0_2$-real numbers. - Xizhong Zheng (RAIRO Theor. Informatics Appl., 2007)

Primitive recursive real numbers. - Qingliang Chen; Kaile Su; Xizhong Zheng (Math. Log. Q., 2007)

Editorial: Math. Log. Quart. 4-5/2007. - Ker-I Ko; Klaus Weihrauch; Xizhong Zheng (Math. Log. Q., 2007)

A Hierarchy of Computably Enumerable Reals. - Xizhong Zheng (Fundam. Informaticae, 2008)

Classification of Computably Approximable Real Numbers. - Xizhong Zheng (Theory Comput. Syst., 2008)

On the Computability of Rectifiable Simple Curve (Extended Abstract). - Robert Rettinger; Xizhong Zheng (CCA, 2009)

Points on Computable Curves of Computable Lengths. - Robert Rettinger; Xizhong Zheng (MFCS, 2009)

On the Weak Computability of Continuous Real Functions - Matthew S. Bauer; Xizhong Zheng (CCA, 2010)

Point-Separable Classes of Simple Computable Planar Curves - Xizhong Zheng; Robert Rettinger (Log. Methods Comput. Sci., 2012)

On the Differences and Sums of Strongly Computably Enumerable Real Numbers. - Klaus Ambos-Spies; Xizhong Zheng (CiE, 2019)