@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} }