| 2019 | CiE | On the Differences and Sums of Strongly Computably Enumerable Real Numbers. | Klaus Ambos-Spies, Xizhong Zheng |
| 2009 | CCA | On the Computability of Rectifiable Simple Curve (Extended Abstract). | Robert Rettinger, Xizhong Zheng |
| 2009 | MFCS | Points on Computable Curves of Computable Lengths. | Robert Rettinger, Xizhong Zheng |
| 2007 | COCOON | Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals. | Xizhong Zheng |
| 2006 | CiE | A Computability Theory of Real Numbers. | Xizhong Zheng |
| 2005 | CCA | A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2005 | CiE | On the Turing Degrees of Divergence Bounded Computable Reals. | Robert Rettinger, Xizhong Zheng |
| 2005 | COCOON | Solovay Reducibility on D-c.e Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2004 | COCOON | On the Extensions of Solovay-Reducibility.. | Xizhong Zheng, Robert Rettinger |
| 2003 | COCOON | On the Divergence Bounded Computable Real Numbers. | Xizhong Zheng |
| 2003 | MFCS | Ershov's Hierarchy of Real Numbers. | Xizhong Zheng, Robert Rettinger, Romain Gengler |
| 2003 | STACS | On the Effective Jordan Decomposability. | Xizhong Zheng, Robert Rettinger, Burchard von Braunmhl |
| 2002 | COCOON | Burchard von Braunmhl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2001 | COCOON | Weakly Computable Real Numbers and Total Computable Real Functions. | Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmhl |
| 2001 | MFCS | Hierarchy of Monotonically Computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2000 | COCOON | Closure Properties of Real Number Classes under Limits and Computable Operators. | Xizhong Zheng |
| 1999 | COCOON | Binary Enumerability of Real Numbers. | Xizhong Zheng |
| 1999 | MFCS | The Arithmetical Hierarchy of Real Numbers. | Xizhong Zheng, Klaus Weihrauch |
| 1998 | COCOON | Approaches to Effective Semi-continuity of Real Functions. | Vasco Brattka, Klaus Weihrauch, Xizhong Zheng |
| 1998 | MFCS | A Finite Hierarchy of the Recursively Enumerable Real Numbers. | Klaus Weihrauch, Xizhong Zheng |
| 1997 | COCOON | Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions. | Klaus Weihrauch, Xizhong Zheng |
| 1996 | CCA | Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions. | Klaus Weihrauch, Xizhong Zheng |
| 1996 | STACS | Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness. | Klaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng |
| 1994 | ISAAC | Resource Bounded Randomness and Weakly Complete Problems. | Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng |