TY - JOUR A1 - Chen, Q. A1 - Rettinger, Robert A1 - Su, K. A1 - Sattar, A. A1 - Yue, W. A1 - Lu, G. A1 - Zheng, Xizhong T1 - Verification of Authentication Protocols for Epistemic Goals via SAT Compilation Y1 - 2006 ER - TY - JOUR A1 - Chen, Q. A1 - Su, K. A1 - Yue, W. A1 - Zheng, Xizhong T1 - Instantiation Space: A New Model for Security Protocol Logic Y1 - 2006 ER - TY - GEN A1 - Zheng, Xizhong T1 - Classification of the Computable Approximations T2 - Electronic Notes in Theoretical Computer Science Y1 - 2007 SN - 1571-0661 VL - 167 SP - 325 EP - 344 ER - TY - GEN A1 - Chen, Qingliang A1 - Su, Kaile A1 - Zheng, Xizhong T1 - Primitive Recursiveness of Real Numbers under Different Representations T2 - Electronic Notes in Theoretical Computer Science Y1 - 2007 SN - 1571-0661 VL - 167 SP - 303 EP - 324 ER - TY - CHAP A1 - Su, Kaile A1 - Chen, Qingliang A1 - Zheng, Xizhong A1 - Yue, Weiya T1 - Reasoning about Knowledge by SAT Solving T2 - International Conference on Computational Intelligence and Security, CIS 2006, 3 - 6 Nov. 2006, Guangzhou, China Y1 - 2006 SN - 1-4244-0604-8 SN - 1-4244-0605-6 SP - 536 EP - 539 PB - IEEE Press CY - Piscataway, NJ ER - TY - CHAP A1 - Zheng, Xizhong T1 - A Computability Theory of Real Numbers T2 - Logical approaches to computational barriers, second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 - July 5, 2006, proceedings Y1 - 2006 SN - 3-540-35466-2 SP - 584 EP - 594 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Zheng, Xizhong T1 - On the Hierarchies of Delta 0_2 real Numbers Y1 - 2007 ER - TY - JOUR A1 - Downey, Rod A1 - Wu, D. A1 - Zheng, Xizhong T1 - Degrees of d.c.e. Reals Y1 - 2004 ER - TY - THES A1 - Zheng, Xizhong T1 - Effective Hierarchy of Real Numbers Y1 - 2007 SN - 978-3-8322-6343-0 PB - Shaker CY - Aachen ER - TY - CHAP A1 - Zheng, Xizhong T1 - Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals Y1 - 2007 ER - TY - CHAP A1 - Zheng, Xizhong ED - Brattka, Vasco T1 - A Computability Theory of Real Numbers T2 - CCA 2008, August 21 - 24, 2008, Hagen, Germany Y1 - 2008 PB - Hagen CY - Fernuniv. ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong T1 - Points on Computable Curves of Computable Lengths Y1 - 2009 ER - TY - CHAP A1 - Rettinger, Robert A1 - Zheng, Xizhong T1 - On the Computability of the Rectifiable Simple Curves Y1 - 2009 ER - TY - JOUR A1 - Zheng, Xizhong T1 - Classification of Computably Approximable Real Numbers Y1 - 2008 ER - TY - JOUR A1 - Zheng, Xizhong T1 - A Hierarchy of Computably Enumerable Reals Y1 - 2008 ER -