Xizhong Zheng - RankMe

62 papers A 3B 6C 13Misc 10Journal 27Unranked 3

Year	Rank	Type	Title / Venue / Authors
2019	C	`conf`	On the Differences and Sums of Strongly Computably Enumerable Real Numbers. CiE Klaus Ambos-Spies, Xizhong Zheng
2012	J	`jnl`	Point-Separable Classes of Simple Computable Planar Curves Log. Methods Comput. Sci. Xizhong Zheng, Robert Rettinger
2010	C	`conf`	On the Weak Computability of Continuous Real Functions CCA Matthew S. Bauer, Xizhong Zheng
2010	C	`ed.`	Proceedings Seventh International Conference on Computability and Complexity in Analysis, CCA 2010, Zhenjiang, China, 21-25th June 2010. CCA Xizhong Zheng, Ning Zhong
2009	C	`conf`	On the Computability of Rectifiable Simple Curve (Extended Abstract). CCA Robert Rettinger, Xizhong Zheng
2009	B	`conf`	Points on Computable Curves of Computable Lengths. MFCS Robert Rettinger, Xizhong Zheng
2008	J	`jnl`	A Hierarchy of Computably Enumerable Reals. Fundam. Informaticae Xizhong Zheng
2008	J	`jnl`	Classification of Computably Approximable Real Numbers. Theory Comput. Syst. Xizhong Zheng
2007	Misc	`conf`	Bounded Computable Enumerability and Hierarchy of Computably Enumerable Reals. COCOON Xizhong Zheng
2007	J	`jnl`	Editorial: Math. Log. Quart. 4-5/2007. Math. Log. Q. Ker-I Ko, Klaus Weihrauch, Xizhong Zheng
2007	C	`conf`	Finitely Bounded Effective Computability. CCA Xizhong Zheng
2007	J	`jnl`	On the hierarchies of $\Delta^0_2$-real numbers. RAIRO Theor. Informatics Appl. Xizhong Zheng
2007	J	`jnl`	Primitive recursive real numbers. Math. Log. Q. Qingliang Chen, Kaile Su, Xizhong Zheng
2006	C	`conf`	A Computability Theory of Real Numbers. CiE Xizhong Zheng
2006	J	`jnl`	A Reference Correction of "Effective Jordan Decomposition". Theory Comput. Syst. Xizhong Zheng, Robert Rettinger
2006	J	`jnl`	A hierarchy of Turing degrees of divergence bounded computable real numbers. J. Complex. Robert Rettinger, Xizhong Zheng
2006	C	`conf`	Classification of the Computable Approximations by Divergence Boundings. CCA Xizhong Zheng
2006	J	`jnl`	Divergence bounded computable real numbers. Theor. Comput. Sci. Xizhong Zheng, Dianchen Lu, Kejin Bao
2006	C	`conf`	Primitive Recursiveness of Real Numbers under Different Representations. CCA Qingliang Chen, Kaile Su, Xizhong Zheng
2006	J	`jnl`	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation. J. Comput. Sci. Technol. Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng
2005	C	`conf`	A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers. CCA Robert Rettinger, Xizhong Zheng
2005	J	`jnl`	Closure Properties of Real Number Classes under CBV Functions. Theory Comput. Syst. Xizhong Zheng, Robert Rettinger, Romain Gengler
2005	J	`jnl`	Effective Jordan Decomposition. Theory Comput. Syst. Xizhong Zheng, Robert Rettinger
2005	C	`conf`	On the Turing Degrees of Divergence Bounded Computable Reals. CiE Robert Rettinger, Xizhong Zheng
2005	Misc	`conf`	Solovay Reducibility on D-c.e Real Numbers. COCOON Robert Rettinger, Xizhong Zheng
2004	C	`conf`	A Note On the Turing Degrees of Divergence Bounded Computable Reals. CCA Xizhong Zheng, Robert Rettinger
2004	J	`jnl`	Degrees of d. c. e. reals. Math. Log. Q. Rod Downey, Guohua Wu, Xizhong Zheng
2004	Misc	`conf`	On the Extensions of Solovay-Reducibility.. COCOON Xizhong Zheng, Robert Rettinger
2004	J	`jnl`	Weak computability and representation of reals. Math. Log. Q. Xizhong Zheng, Robert Rettinger
2003	B	`conf`	Ershov's Hierarchy of Real Numbers. MFCS Xizhong Zheng, Robert Rettinger, Romain Gengler
2003	Misc	`conf`	On the Divergence Bounded Computable Real Numbers. COCOON Xizhong Zheng
2003	A	`conf`	On the Effective Jordan Decomposability. STACS Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl
2003	—	`conf`	On the Monotonic Computability of Semi-computable Real Numbers. DMTCS Xizhong Zheng, George Barmpalias
2003	J	`jnl`	On the Turing Degrees of Weakly Computable Real Numbers. J. Log. Comput. Xizhong Zheng
2003	J	`jnl`	On the hierarchy and extension of monotonically computable real numbers. J. Complex. Robert Rettinger, Xizhong Zheng
2002	Misc	`conf`	Burchard von Braunmühl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers. COCOON Robert Rettinger, Xizhong Zheng
2002	C	`conf`	Effectively Absolute Continuity and Effective Jordan Decomposability. CCA Xizhong Zheng, Robert Rettinger, Burchard von Braunmühl
2002	J	`jnl`	Monotonically Computable Real Numbers. Math. Log. Q. Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
2002	J	`jnl`	Recursive Approximability of Real Numbers. Math. Log. Q. Xizhong Zheng
2002	J	`jnl`	The closure properties on real numbers under limits and computable operators. Theor. Comput. Sci. Xizhong Zheng
2001	B	`conf`	Hierarchy of Monotonically Computable Real Numbers. MFCS Robert Rettinger, Xizhong Zheng
2001	—	`conf`	Monotonically Computable Real Numbers. DMTCS Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
2001	J	`jnl`	The Arithmetical Hierarchy of Real Numbers. Math. Log. Q. Xizhong Zheng, Klaus Weihrauch
2001	Misc	`conf`	Weakly Computable Real Numbers and Total Computable Real Functions. COCOON Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
2000	Misc	`conf`	Closure Properties of Real Number Classes under Limits and Computable Operators. COCOON Xizhong Zheng
2000	J	`jnl`	Computability on continuous, lower semi-continuous and upper semi-continuous real functions. Theor. Comput. Sci. Klaus Weihrauch, Xizhong Zheng
2000	J	`jnl`	Weakly Computable Real Numbers. J. Complex. Klaus Ambos-Spies, Klaus Weihrauch, Xizhong Zheng
1999	J	`jnl`	Approaches to Effective Semi-Continuity of Real Functions. Math. Log. Q. Vasco Brattka, Xizhong Zheng, Klaus Weihrauch
1999	Misc	`conf`	Binary Enumerability of Real Numbers. COCOON Xizhong Zheng
1999	J	`jnl`	Effectiveness of the Global Modulus of Continuity on Metric Spaces. Theor. Comput. Sci. Klaus Weihrauch, Xizhong Zheng
1999	B	`conf`	The Arithmetical Hierarchy of Real Numbers. MFCS Xizhong Zheng, Klaus Weihrauch
1998	B	`conf`	A Finite Hierarchy of the Recursively Enumerable Real Numbers. MFCS Klaus Weihrauch, Xizhong Zheng
1998	Misc	`conf`	Approaches to Effective Semi-continuity of Real Functions. COCOON Vasco Brattka, Klaus Weihrauch, Xizhong Zheng
1997	Misc	`conf`	Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions. COCOON Klaus Weihrauch, Xizhong Zheng
1997	—	`conf`	Effectiveness of the Global Modulus of Continuity on Metric Spaces. Category Theory and Computer Science Klaus Weihrauch, Xizhong Zheng
1997	J	`jnl`	Resource Bounded Randomness and Weakly Complete Problems. Theor. Comput. Sci. Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng
1996	A	`conf`	A Comparison of Weak Completeness Notions. CCC Klaus Ambos-Spies, Elvira Mayordomo, Xizhong Zheng
1996	C	`conf`	Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions. CCA Klaus Weihrauch, Xizhong Zheng
1996	A	`conf`	Resource-Bounded Balanced Genericity, Stochasticity and Weak Randomness. STACS Klaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng
1994	B	`conf`	Resource Bounded Randomness and Weakly Complete Problems. ISAAC Klaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng
1994	J	`jnl`	The rhombus classes of degrees of unsolvability (I), The jump properties. Arch. Math. Log. Xizhong Zheng
1993	J	`jnl`	On the Maximality of Some Pairs of p-t Degrees. Notre Dame J. Formal Log. Xizhong Zheng