@inproceedings{RettingerGenglerZhengetal., author = {Rettinger, Robert and Gengler, Romain and Zheng, Xizhong and Braunm{\"u}hl, Burchard von}, title = {Monotonically Computable Real Numbers}, series = {Combinatorics, computability and logic, proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01)}, booktitle = {Combinatorics, computability and logic, proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS '01)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {1-85233-526-2}, pages = {187 -- 202}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {Hierarchy of monotonically computable real numbers}, series = {Mathematical foundations of computer science 2001, 26th international symposium, Mari{\´a}nsk{\´e} L{\´a}zně, Czech Republic, August 27 - 31, 2001}, booktitle = {Mathematical foundations of computer science 2001, 26th international symposium, Mari{\´a}nsk{\´e} L{\´a}zně, Czech Republic, August 27 - 31, 2001}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-42496-2}, pages = {633 -- 644}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {On the Turing degrees of divergence bounded computable reals}, series = {New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005}, booktitle = {New computational paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8 - 12, 2005}, editor = {Cooper, Stuart Barry}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-26179-6}, pages = {418 -- 428}, language = {en} } @inproceedings{Zheng, author = {Zheng, Xizhong}, title = {On the hierarchy of Delta_02-numbers}, language = {en} } @inproceedings{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {A note on the Turing degrees of divergence bounded computable reals}, language = {en} } @inproceedings{ZhengRettingerGengler, author = {Zheng, Xizhong and Rettinger, Robert and Gengler, Romain}, title = {Ershov's hierarchy of real numbers}, series = {Mathematical foundations of computer science 2003, 28th international symposium MFCS, Bratislava, Slovakia, August 25 - 29, 2003}, booktitle = {Mathematical foundations of computer science 2003, 28th international symposium MFCS, Bratislava, Slovakia, August 25 - 29, 2003}, editor = {Rovan, Branislav}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-40671-9}, pages = {681 -- 690}, language = {en} } @inproceedings{Zheng, author = {Zheng, Xizhong}, title = {On the divergence bounded computable real numbers}, language = {en} } @inproceedings{ZhengBarmpalias, author = {Zheng, Xizhong and Barmpalias, George}, title = {On the monotonic computability of semi-computable real numbers}, language = {en} } @inproceedings{ZhengRettingerBraunmuehl, author = {Zheng, Xizhong and Rettinger, Robert and Braunm{\"u}hl, Burchard von}, title = {On the effective Jordan decomposability}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {Solovay reducibility on d-c.e. real numbers}, series = {Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005}, booktitle = {Computing and combinatorics, 11th annual international conference, COCOON 2005, Kunming, China, August 16 - 29, 2005}, editor = {Wang, Lusheng}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-540-28061-3}, pages = {359 -- 368}, language = {en} } @misc{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {A hierarchy of Turing degrees of divergence bounded computable real numbers}, series = {Journal of Complexity}, volume = {22}, journal = {Journal of Complexity}, number = {6}, pages = {818 -- 826}, language = {en} } @incollection{Zheng, author = {Zheng, Xizhong}, title = {Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Recursive approximability of real numbers}, language = {de} } @misc{ZhengRettingerBraunmuehl, author = {Zheng, Xizhong and Rettinger, Robert and Braunm{\"u}hl, Burchard von}, title = {Effectively absolute continuity and effective Jordan decomposability}, series = {Electronic Notes in Theoretical Computer Science}, volume = {66}, journal = {Electronic Notes in Theoretical Computer Science}, number = {1}, issn = {1571-0661}, pages = {213 -- 224}, language = {en} } @inproceedings{RettingerZhengBraunmuehl, author = {Rettinger, Robert and Zheng, Xizhong and Braunm{\"u}hl, Burchard von}, title = {Computable Real Functions of Bounded Variation and semi-Computable Real Numbers}, series = {Computing and combinatorics, 8th annual international conference, COCOON 2002, Singapore, August 15 - 17, 2002}, booktitle = {Computing and combinatorics, 8th annual international conference, COCOON 2002, Singapore, August 15 - 17, 2002}, editor = {Oscar, H. Ibarra}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-43996-X}, pages = {47 -- 56}, language = {en} } @inproceedings{SuChenZhengetal., author = {Su, Kaile and Chen, Qingliang and Zheng, Xizhong and Yue, Weiya}, title = {Reasoning about Knowledge by SAT Solving}, series = {International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China}, booktitle = {International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China}, publisher = {IEEE Press}, address = {Piscataway, NJ}, isbn = {1-4244-0604-8}, pages = {536 -- 539}, language = {en} } @inproceedings{Zheng, author = {Zheng, Xizhong}, title = {A Computability Theory of Real Numbers}, series = {Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, booktitle = {Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-35466-2}, pages = {584 -- 594}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {Points on Computable Curves of Computable Lengths}, language = {en} } @inproceedings{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {On the Computability of the Rectifiable Simple Curves}, language = {en} } @misc{WeihrauchZheng, author = {Weihrauch, Klaus and Zheng, Xizhong}, title = {Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions}, series = {Theoretical Computer Science}, volume = {234}, journal = {Theoretical Computer Science}, number = {1-2}, pages = {109 -- 133}, language = {en} } @inproceedings{Zheng, author = {Zheng, Xizhong}, title = {A Computability Theory of Real Numbers}, series = {CCA 2008, August 21 - 24, 2008, Hagen, Germany}, booktitle = {CCA 2008, August 21 - 24, 2008, Hagen, Germany}, editor = {Brattka, Vasco}, publisher = {Hagen}, address = {Fernuniv.}, language = {en} } @inproceedings{RettingerZhengGengleretal., author = {Rettinger, Robert and Zheng, Xizhong and Gengler, Romain and Braunm{\"u}hl, Burchard von}, title = {Weakly computable real numbers and total computable real functions}, language = {en} } @inproceedings{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {On the extensions of Solovay Reducibility}, language = {en} } @misc{RettingerZheng, author = {Rettinger, Robert and Zheng, Xizhong}, title = {On the hierarchy and extension of monotonically computable real numbers}, series = {Journal of Complexity}, volume = {19}, journal = {Journal of Complexity}, number = {5}, issn = {0885-064X}, pages = {672 -- 691}, language = {en} } @misc{AmbosSpiesWeihrauchZheng, author = {Ambos-Spies, Klaus and Weihrauch, Klaus and Zheng, Xizhong}, title = {Weakly computable real numbers}, series = {Journal of Complexity}, volume = {16}, journal = {Journal of Complexity}, number = {4}, issn = {0885-064X}, pages = {676 -- 690}, language = {en} } @misc{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {Weak computability and representation of real numbers}, series = {Mathematical Logic Quarterly}, volume = {50}, journal = {Mathematical Logic Quarterly}, number = {4/5}, issn = {0942-5616}, pages = {431 -- 442}, language = {en} } @misc{Zheng, author = {Zheng, Xizhong}, title = {On the Turing degrees of weakly computable real numbers}, series = {Journal of Logic and Computation}, volume = {13}, journal = {Journal of Logic and Computation}, number = {2}, issn = {0955-792X}, pages = {159 -- 172}, language = {en} } @misc{ZhengRettinger, author = {Zheng, Xizhong and Rettinger, Robert}, title = {Effective Jordan decomposition}, series = {Theory of Computing System}, volume = {38}, journal = {Theory of Computing System}, number = {2}, issn = {1432-4350}, pages = {189 -- 209}, language = {en} } @misc{ZhengWeihrauch, author = {Zheng, Xizhong and Weihrauch, Klaus}, title = {The arithmetical hierarchy of real numbers}, series = {Mathematical Logic Quarterly}, volume = {47}, journal = {Mathematical Logic Quarterly}, number = {1}, issn = {0942-5616}, pages = {51 -- 65}, language = {en} } @misc{ChenSuZheng, author = {Chen, Qingliang and Su, Kaile and Zheng, Xizhong}, title = {Primitive Recursiveness of Real Numbers under Different Representations}, series = {Electronic Notes in Theoretical Computer Science}, volume = {167}, journal = {Electronic Notes in Theoretical Computer Science}, issn = {1571-0661}, pages = {303 -- 324}, language = {en} } @misc{Zheng, author = {Zheng, Xizhong}, title = {Classification of the Computable Approximations}, series = {Electronic Notes in Theoretical Computer Science}, volume = {167}, journal = {Electronic Notes in Theoretical Computer Science}, issn = {1571-0661}, pages = {325 -- 344}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Classification of Computably Approximable Real Numbers}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {A Hierarchy of Computably Enumerable Reals}, language = {en} } @article{ChenSuYueetal., author = {Chen, Q. and Su, K. and Yue, W. and Zheng, Xizhong}, title = {Instantiation Space: A New Model for Security Protocol Logic}, language = {en} } @article{DowneyWuZheng, author = {Downey, Rod and Wu, D. and Zheng, Xizhong}, title = {Degrees of d.c.e. Reals}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {On the Hierarchies of Delta 0_2 real Numbers}, language = {en} } @article{ChenRettingerSuetal., author = {Chen, Q. and Rettinger, Robert and Su, K. and Sattar, A. and Yue, W. and Lu, G. and Zheng, Xizhong}, title = {Verification of Authentication Protocols for Epistemic Goals via SAT Compilation}, language = {en} } @article{ChenSuZheng, author = {Chen, Q. and Su, K. and Zheng, Xizhong}, title = {Primitive Recursive Real Numbers}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Closure properties of real numbers classes under CBV functions}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Divergence bounded computable real numbers}, language = {en} } @article{ZhengRettingerBarmpalias, author = {Zheng, Xizhong and Rettinger, Robert and Barmpalias, George}, title = {h-Monotonically computable real numbers}, series = {Mathematical Logic Quarterly}, volume = {51}, journal = {Mathematical Logic Quarterly}, number = {2}, issn = {0942-5616}, pages = {157 -- 170}, language = {en} } @article{RettingerZhengGengleretal., author = {Rettinger, Robert and Zheng, Xizhong and Gengler, Romain and Braunm{\"u}hl, Burchard von}, title = {Monotonically computable real numbers}, language = {en} } @article{Zheng, author = {Zheng, Xizhong}, title = {Closure properties on real numbers under limits and computable operators}, language = {en} } @phdthesis{Zheng, author = {Zheng, Xizhong}, title = {Effective Hierarchy of Real Numbers}, publisher = {Shaker}, address = {Aachen}, isbn = {978-3-8322-6343-0}, pages = {X, 244}, language = {en} } @techreport{ZhengRettingerBraunmuehl, author = {Zheng, Xizhong and Rettinger, Robert and Braunm{\"u}hl, Burchard von}, title = {On the Jordan decomposability for computable functions of bounded variation}, publisher = {BTU, Inst. of Computer Science}, address = {Cottbus}, pages = {12}, language = {en} }