PUBLICATIONS

Book

• X. Zheng, Effective Hierarchy of Real Numbers, Shaker Verlag, Aachen, 2007 (ISBN 978-3-8322-6343-0).
  
  

Journal Papers

• X. Zheng, Classification of Computably Approximable Real Numbers. Theor. Comput. Syst. (to appear)
• Q. Chen, K. Su and X. Zheng. Primitive recursive real numbers. Mathematical Logic Quarterly. (to appear)
• X. Zheng. On the hierarchy of Delta_2 real numbers, Theoretical Informatics and Application, (in press)
• R. Rettinger and X. Zheng. A hierarchy of Turing degrees for divergence bounded computable real numbers, J. Complexity. Vol. 22 (2006), No. 6, 818-826..
• X. Zheng, D. Lu and K. Bao. Divergence bounded computable real numbers, Theor. Comput. Sci., Vol. 351(2006), 27-38.
• K. Su, Q. Chen, A. Sattar, W. Yue, G. Lv and X. Zheng. Verification of Authentication Protocols for Epistemic Goals via SAT Compilation, Journal of Computer Science and Technology, 21(2006), No. 6, 932 -- 943, Springer-Verlag.
• X. Zheng, R. Rettinger and R. Gengler.   Closure properties of real numbers classes under CBV functions. Theory of Comnputing Systems, 38(2005), 701 - 729.
• X. Zheng and R. Rettinger.  Effective Jordan decomposition. Theory of Comnputing Systems, 38(2005), No. 2, 189 - 209
• X. Zheng, R. Rettinger and G. Barmpalias. h-Monotonically computable real numbers. Mathematical Logic Quarterly, 51(2005) No. 2, 157-170.
• R. Downey, G. Wu and X. Zheng.   Degrees of d.c.e. reals. Mathematical Logic Quarterly, 50(2004) No.4/5, 345-350.
• X. Zheng and R. Rettinger.   Weak computability and representation of real numbers. Mathematical Logic Quarterly, 50(2004) No.4/5, 431-442.
• R. Rettinger and X. Zheng.   On the hierarchy and extension of monotonically computable real numbers. Journal of Complexity, 19(2003) 672-691.
• X. Zheng.   On the Turing degrees of weakly computable real numbers. Journal of Logic and Computation, Vol. 13 (2003) No.2, 159-172 .(ps file, pdf file)
• X. Zheng.   Recursive approximability of real numbers. Mathematical Logic Quarterly,48(2002), Suppl. 1, 131 - 156. (ps file, pdf file)
• X. Zheng.   Closure properties on real numbers under limits and computable operators. Theor. Comput. Sci., Vol. 284 (2002), No. 2, 499 - 518.(dvi file; ps file)
• R. Rettinger, X. Zheng, R. Gengler and B. von Braunmühl.   Monotonically computable real numbers. Mathematical Logic Quarterly, 48(2002), no 3, 459 - 479 (dvi file; ps filepdf file)
• X. Zheng and K. Weihrauch.    The arithmetical hierarchy of real numbers. Mathematical Logic Quarterly.Vol. 47(2001), no.1 51 - 65. (dvi file; ps file)
• X. Zheng, K. Weihrauch and K. Ambos-Spies.    Weakly computable real numbers. Journal of Complexity16(2000), 676 -690. (dvi file; ps file)
• K. Weihrauch and X. Zheng.   Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions. Theor. Comput. Sci.234(2000)109-133. (dvi file; ps file)
• X. Zheng, V. Brattka, K. Weihrauch.   Approaches to effective semi-continuity of real functions. Math. Log. Quart.Vol. 45(1999), no. 4, 481-496 (dvi file; ps file)
• K. Weihrauch and X. Zheng.   Effectiveness of the Global Modulus of Continuity on Metric Spaces. Theor. Comput. Sci.Vol. 219(1999) 439-450. (dvi file; ps file)
• K. Ambos-Spies, S. A. Terwijn and X. Zheng.   Resource Bounded Randomness and Weakly Complete Problems. Theor. Comput. Sci. 172(1997) no.1-2, 195-207. (dvi file; ps file)
• X. Gu and X. Zheng.   The reduction of double recursion, J. of Nanjing university, Mathematical Biquartly, 11(1994) no. 1, 56--69 (in Chinese.) (MR 95j:03078)
• X. Zheng.   The splitting of polynomial time degrees by minimal pairs, Acta Mathematics Sinica37(1994) no.2, (in Chinese)
• X. Zheng.    On the splitting of p-m degrees, J. of Software, 5(1994) no.4, ( in Chinese)
• X. Zheng and L.Qian.   An Extension of Grzegorczyk´s Hierarchy J. of Software, 5(1994) no.3, 55-64 (in Chinese)
• X. Zheng.   The rhombus classes of degrees of unsolvability (I), the jump properties, Archive for Mathematical Logic. 3(1994) no.1 1-12.
• X. Zheng; D. Ding and Z. Sun.    On the definition of degrees of unsolvability for reals, Chinese Science Bulletin, 38(1993)no.3, 172-175. (in Chinese)
• D. Lu and X. Zheng.   On the ninth Grzegorczyk´s problem, J. of Jiangsu Polytechnic University, 13(1992) no.3, 94-101. (in Chinese)
• L. Qian and X. Zheng.   The lattice embedding properties of the quasi-contigious degrees, Chinese Science Bulletin, 37(1992)no.23, 2200-2202. (in Chinese)
• X. Zheng and L. Qian.    The hierarchy and Grzegorczyk´s problem of multiple recursive functions. Chinese Science Bulletin, 37(1992) no.15, 1319-1320
• X. Zheng.   Double recursive functions and their hierarchy, J. of Mathematical Research and Exposition, 13(1993) no.2, 303-308. (in Chinese)
• X. Zheng.   A hierarchy of double recursive functions, J. of Nanjing University, Mathematical Biquarterly, 10(1993) no.1, 39-45.(in Chinese)
• X. Zheng.   On the maximality of some pairs of polynomial time degrees, Notre Dame J. of Formal Logic, 34(1993) no.1, 29-35. (the abstract appeared in Chinese Science Bulletin 37(1991) no.6, 521-523)
• X. Zheng.   Combine the splitting and branching of polynomial time degrees, J. of Nanjing University, Mathematical Biquarterly, 9(1992), no.2, 158-162 (in Chinese)
• X. Zheng.   There is no maximal minimal pair of p-m degrees, J. of Nanjing University, Mathematical Biquarterly, 9(1992) no.1, 18-22 (in Chinese)
• X. Zheng.   On the minimal covers for sets of degrees of unsolvability, Chinese Annals of Mathematics, 13A(1992) no.6, 728-733. (in Chinese)
• X. Zheng.   P =? NP problem and polynomial time degrees, J. of Nanjing University, Mathematical Biquarterly, 8(1991) no.2 187-192 (in Chinese)
• X. Zheng.   Immunity and simplicity of partial functions, J. of Nanjing University, Mathematical Biquarterly, 8(1991) no.1, 52-55.
• X. Zheng.   Elementary system of concatenation, elementary arithmetic and protosyntax, Chinese Quarterly J. of Mathematics, 6(1991) no.2, 12-30.
• X. Zheng.   The rhombus classes of degrees of unsolvability (II), the jump classes and chain properties, J. of Nanjing University, Mathematical Biquarterly, 7(1990) no.1, 13-25.
  
  

Refereed Conference Papers

• X. Zheng. Initially-bounded computability and hierarchy of computably enumerable sets, COCOON 07, Banff, Canada, July 16-19, 2007. (accepted)
• X. Zheng. Finitely bounded effective computability, CCA'07, June 16-18, 2007, Siena, Italy. (accepted)
• Y. Fan, D. Ding and X. Zheng. Totally d-c.e. Real Numbers, CiE 2007, Siena, Italy, June 19-23, 2007. (accepted)
• X. Zheng. Classification of the Computable Approximations. CCA 2006, Florida, USA, ENTCS 167(2007), 325--344, Elsevier.
• Q. Chen, K. Su and X. Zheng. Primitive Recursiveness of Real Numbers under Different Representations, CCA 2006, Florida, USA, ENTCS 167(2007), 303--304, Elsevier.
• K. Su, Q. Chen, X. Zheng and W. Yue. Reasoning about Knowledge by SAT Solving, CIS 2006, pp536--539, Guangzhou China, IEEE Press.
• X. Zheng. A computability theory of real numbers. CiE 2006, 30 June - 5 July, Swansea. LNCS 3988, pp 584 -594.
• R. Rettinger and X. Zheng. A hierarchy of Turing degrees of divergence bounded computable real numbers. CCA 2005, August 25-29, Kyoto, Japan.
• R. Rettinger and X. Zheng. Solovay reducibility on d-c.e. real numbers, COCOON 2005, August 16-19, 2005, Kunming, China. LNCS 3595, pp359-368, Springer.
• R. Rettinger and X. Zheng. On the Turing degrees of divergence bounded computable reals, CiE 2005, New Computational Paradigms Amsterdam, June 8-12, 2005, LNCS 3526, pp418-428, Springer.
• X. Zheng. On the hierarchy of $\Delta^0_2$-real numbers, RNC'6, International Conference on Real Numbers and Computers, Schloss Dagstuhl, Germany, November 15-17, 2004.
• X. Zheng and R. Rettinger. A note on the Turing degrees of divergence bounded computable reals, CCA 2004, August 16-20, 2004, Lutherstadt Wittenberg, Germany.
• X. Zheng and R. Rettinger  On the extensions of Solovay Reducibility. COOCON 2004, August 17-20, 2004, Jeju Island, Korea, LNCS 3106, pp360 -369, Springer 2004.
• X. Zheng, R. Rettinger, and R. Gengler.    Ershov's hierarchy of real numbers. MFCS 2003 August 25 - 29, 2003 ,  Bratislava Slovak Republic, LNCS 2747, 681-690, Springer 2003.
• X. Zheng and R. Rettinger. h-Monotonically computable real numbers. CCA 2003, August28 - 30. 2003, Cincinnati, USA. pp375 - 388.
• X. Zheng.   On the divergence bounded computable real numbers. COOCON 2003, July 25-28, 2003, Big Sky, MT, USA, LNCS 2697, pp102-111, Springer 2003..
• X. Zheng, and G. Barmpalias.   On the monotonic computability of semi-computable real numbers. DMTCS 2003, July 7-12, 2003, Dijon, LNCS 2731, 290-300, Springer 2003.
• X. Zheng, R. Rettinger and B. von Braunmühl.   On the effective Jordan decomposability. STACS 2003, Feb. 27 - March 1, 2003, Berlin, LNCS 2607, 167-178. Springer 2003. (dvi file; ps file; pdf file)
• X. Zheng, R. Rettinger and B. von Braunmühl.   Effectively absolute continuity and effective Jordan decomposability. Electronic Notes in Theoretical Computer Science, 66(2002) no. 1. pp.12. Proceedings of CCA'02, July 12 - 13, Malaga, Spain. (dvi file; ps file; pdf file)
• R. Rettinger, X. Zheng and B. von Braunmühl.   Computable Real Functions of Bounded Variation and semi-Computable Real Numbers. COCOON'02, Aug. 15-17, Singapore, LNCS 2387, pp47 - 56. Springer 2002. (dvi file; ps file; pdf file)
• R. Rettinger and X. Zheng.   Hierarchy of the monotonically computable real numbers. MFCS'01August 27-31, 2001, Marianske Lazne, Czech Republic.LNCS 2136, pp633-644. Springer 2001. (dvi file; ps file)
• R. Rettinger, X. Zheng, R. Gengler and B. von Braunmühl.    Monotonically computable real numbers. DMTCS01July 2-6, 2001, Constantza, Romania. Springer 2001. (dvi file; ps file)
• R. Rettinger, X. Zheng, R. Gengler and B. von Braunmühl.  Weakly computable real numbers and total computable real functions. COCOON01 August 20-23, 2001, Guilin, China. LNCS 2108, pp586-595, Springer 2001. (dvi file; ps file)
• X. Zheng.   Closure properties on real numbers under limits and computable operators. COCOON'00, Sydney, July 26-28, 2002, LNCS 1858, 170 - 179, Springer 2000. (dvi file; ps file, pdf-file)
• X. Zheng and K. Weihrauch.    The arithmetical hierarchy of real numbers. MFCS'99, Szklarska Poreba, Poland. September 6 - 10, 1999, LNCS 1672, 23-33, Springer 1999. (dvi file; ps fileand pdf file)
• X. Zheng.    Binary enumerability of real numbers. COCOON'99, Tokyo, Japan. July, 26-28 1999, LNCS 1627, 300-309, Springer 1999. (dvi file; ps file and pdf file)
• K. Weihrauch and X. Zheng.   A finite hierarchy of recursively enumerable real numbers. MFCS'98, Brno, Czech Republic. Aug. 24 - 28, 1998, LNCS 1450, pp798--806,  Springer 1998. (dvi file; ps fileand pdf file)
• V. Brattka, K. Weihrauch and X. Zheng.   Approaches to effective semi-continuity of real functions. COCOON'98 Taipei, China. Aug. 12-14, 1998, LNCS 1449, pp184--193, Springer 1998. (dvi file; ps file and pdf file)
• K. Weihrauch and X. Zheng.   Effectiveness of the Global Modulus of Continuity on Metric Spaces. in Category Theory and Computer Science", Proc. of CTCS'97, Santa Margherita Ligure, Italy, September 1997 LNCS 1290, pp210 - 219, Springer 1997. (dvi file; ps fileand pdf file)
• K. Weihrauch and X. Zheng.   Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions. in Computing and Combinatorics", Proc. of COCOON'97, Shanghai, China, August 1997. LNCS 1276, pp166-175, Springer 1997. (dvi file; ps file and pdf file)
• K. Ambos-Spies, E. Mayordomo and X. Zheng.  A comparison of weak completeness notions. In "Proceedings Eleventh Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference), May 24-27, 1996, Philadelphia, Pennsylvania, USA", 1996, 171-178, IEEE Computer Society Press. (dvi file; ps fileand pdf file)
• K. Ambos-Spies, E. Mayordomo, Y. Wang and X. Zheng.   Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness. STACS'96, 13th AnnoualSymposium on Theoretical Aspects of Computer Science, Feb. 1996, Claude Puech and Ruedinger Reischuk (Eds), LNCS 1046, pp63-74. (dvi file; ps fileand pdf file)
• K. Ambos-Spies, S. A. Terwijn and X. Zheng.   Resource Bounded Randomness and Weakly Complete Problems. Algorithms and Computatiom 5th International Symposium, ISAAC'94, Beijing, Lecture Notes in Computer Science 834, pp369-377. (dvi file; ps file)
• X. Zheng and L. Qian.   An extension of Grzegorczyk´s hierarchy, in "Proc. of the Chinese Conference of Theoretic Computer Science, Langzhou, 1991.8", 32-46,
• X. Zheng.   Hierarchy of a class of subrecursive functions, in Proc. of the Chinese Conference of heoretic Computer Science, Langzhou, August 1991. pp77-82. (in Chinese)
• X. Zheng.   Primitive recursive reducibility, in Selected Papers on BCK, BCI-algebras and Computer Logic Shen Baiying ed., pp173-178, Shanghai Jiaotong University Press, 1991. (in Chinese)
• X. Zheng.   Generating bases and jump classes, in Proc. of the Chinese Mathematical Logic Conference, Yangzhou, October 1989. Special issue of J. of Nanjing University, Mathematical Biquarterly (1991), pp119-121. (in Chinese)
  
  

Others

• X. Zheng, Computability Theory of Real Numbers, Habilitation Thesis, BTU Cottbus, Computer Science Report 03/05, 2005.
• X. Zheng, R. Rettinger and B. von Braunmühl. Weakly computability and representation of real numbers. Computer Science Reports, BTU Cottbus Report 02/03, 2003. (pdf file; ps file)
• R. Rettinger, X. Zheng and B. von Braunmühl. On the Jordan decomposability for computable functions of bounded variation. Computer Science Reports, BTU CottbusReport 03/02, 2002. (pdf file; ps file)
• R. Rettinger, X. Zheng and B. von Braunmühl. Computable functions of bounded variation and semi-computable real numbers. Computer Science Reports, BTU CottbusReport 02/02, 2002. (pdf file; ps file)
• X. Zheng.   Beyond computable real numbers. Computability and Complexity in Analysis, Dagstuhl-Seminar 01461, Nov. 12--16, 2001.
• R. Rettinger and X. Zheng.   Hierarchy of the monotonically computable real numbers. Computer Science Reports, BTU CottbusReport 06/01, 2001. (dvi file; ps file)
• R. Rettinger, X. Zheng, R. Gengler and B. von Braunmühl.   Monotonically computable real numbers. Computer Science Reports, BTU CottbusReport 03/01, 2001. (dvi file; ps file)
• R. Rettinger, X. Zheng, R. Gengler and B. von Braunmühl.   Weakly computable real numbers and total computable real functions. Computer Science Reports, BTU CottbusReport 01/01, 2001. (dvi file; ps file)
• X. Zheng.   On the Turing degrees of real numbers. Computer Science Reports, BTU CottbusReport 02/01, 2001. (dvi file; ps file)
• X. Zheng.   Weakly Computable Real Number and Closure Properties. Computability and Complexity in Analysis Dagstuhl-Seminar, Nov. 15--19, 1999.
• X. Zheng.   Weak Computability and Semi-Continuity in Analysis, Ph.D Thesis, Department of Computer Science of FernUniversität Hagen, Nov. 1998, (Advisor: Klaus Weihrauch).
• K. Weihrauch and X. Zheng.   Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions. Computability and Complexity in Analysis Dagstuhl-Seminar, Apr. 21--24, 1997.
• K. Ambos-Spies and X. Zheng.   n^k- random sets are weakly complete for exponential time. Structure and Complexity, Dagstuhl Seminar. Feb. 14--18, 1994.
• X. Zheng.   The rhombus classes of degrees of unsolvability, Ph.D Thesis, Department of Mathematics of Nanjing University, December 1987 (Advisor: Mo Shaoqui).