Xizhong Zheng - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 60 from 60

2019

On the Differences and Sums of Strongly Computably Enumerable Real NumbersKlaus Ambos-Spies, Xizhong Zheng. CiE 2019: 310-322 [doi]

2009

On the Computability of Rectifiable Simple Curve (Extended Abstract)Robert Rettinger, Xizhong Zheng. cca 2009: [doi]

Points on Computable Curves of Computable LengthsRobert Rettinger, Xizhong Zheng. mfcs 2009: 736-743 [doi]

2008

A Hierarchy of Computably Enumerable RealsXizhong Zheng. FUIN, 83(1-2):219-230, 2008. [doi]

Finitely Bounded Effective ComputabilityXizhong Zheng. ENTCS, 202:255-265, 2008. [doi]

Classification of Computably Approximable Real NumbersXizhong Zheng. mst, 43(3-4):603-624, 2008. [doi]

2007

Primitive Recursiveness of Real Numbers under Different RepresentationsQingliang Chen, Kaile Su, Xizhong Zheng. ENTCS, 167:303-324, 2007. [doi]

Primitive recursive real numbersQingliang Chen, Kaile Su, Xizhong Zheng. mlq, 53(4-5):365-380, 2007. [doi]

Editorial: Math. Log. Quart. 4-5/2007Ker-I Ko, Klaus Weihrauch, Xizhong Zheng. mlq, 53(4-5):325, 2007. [doi]

Classification of the Computable Approximations by Divergence BoundingsXizhong Zheng. ENTCS, 167:325-344, 2007. [doi]

Bounded Computable Enumerability and Hierarchy of Computably Enumerable RealsXizhong Zheng. cocoon 2007: 327-337 [doi]

On the hierarchies of /Delta^0_2 -real numbersXizhong Zheng. ita, 41(1):3-25, 2007. [doi]

2006

A hierarchy of Turing degrees of divergence bounded computable real numbersRobert Rettinger, Xizhong Zheng. jc, 22(6):818-826, 2006. [doi]

Verification of Authentication Protocols for Epistemic Goals via SAT CompilationKaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng. jcst, 21(6):932-943, 2006. [doi]

A Computability Theory of Real NumbersXizhong Zheng. cie 2006: 584-594 [doi]

A Reference Correction of Effective Jordan Decomposition Xizhong Zheng, Robert Rettinger. mst, 39(2):385-385, 2006. [doi]

Divergence bounded computable real numbersXizhong Zheng, Dianchen Lu, Kejin Bao. TCS, 351(1):27-38, 2006. [doi]

2005

On the Turing Degrees of Divergence Bounded Computable RealsRobert Rettinger, Xizhong Zheng. cie 2005: 418-428 [doi]

A Hierarchy of Turing Degrees for Divergence Bounded Computable Real NumbersRobert Rettinger, Xizhong Zheng. cca 2005: 199-209

Solovay Reducibility on D-c.e Real NumbersRobert Rettinger, Xizhong Zheng. cocoon 2005: 359-368 [doi]

Closure Properties of Real Number Classes under CBV FunctionsXizhong Zheng, Robert Rettinger, Romain Gengler. mst, 38(6):701-729, 2005. [doi]

A Note On the Turing Degrees of Divergence Bounded Computable RealsXizhong Zheng, Robert Rettinger. ENTCS, 120:231-237, 2005. [doi]

Effective Jordan DecompositionXizhong Zheng, Robert Rettinger. mst, 38(2):189-209, 2005. [doi]

::::h::::-monotonically computable real numbersXizhong Zheng, Robert Rettinger, George Barmpalias. mlq, 51(2):157-170, 2005. [doi]

2004

Degrees of d. c. e. realsRod Downey, Guohua Wu, Xizhong Zheng. mlq, 50(4-5):345-350, 2004. [doi]

Weak computability and representation of realsXizhong Zheng, Robert Rettinger. mlq, 50(4-5):431-442, 2004. [doi]

On the Extensions of Solovay-Reducibility.Xizhong Zheng, Robert Rettinger. cocoon 2004: 360-369 [doi]

2003

2002

2001

2000

Weakly Computable Real NumbersKlaus Ambos-Spies, Klaus Weihrauch, Xizhong Zheng. jc, 16(4):676-690, 2000. [doi]

Computability on continuous, lower semi-continuous and upper semi-continuous real functionsKlaus Weihrauch, Xizhong Zheng. TCS, 234(1-2):109-133, 2000. [doi]

Closure Properties of Real Number Classes under Limits and Computable OperatorsXizhong Zheng. cocoon 2000: 170-179 [doi]

1999

Approaches to Effective Semi-Continuity of Real FunctionsVasco Brattka, Xizhong Zheng, Klaus Weihrauch. mlq, 45:481-496, 1999.

Effectiveness of the Global Modulus of Continuity on Metric SpacesKlaus Weihrauch, Xizhong Zheng. TCS, 219(1-2):439-450, 1999. [doi]

The Arithmetical Hierarchy of Real NumbersXizhong Zheng, Klaus Weihrauch. mfcs 1999: 23-33

Binary Enumerability of Real NumbersXizhong Zheng. cocoon 1999: 300-309 [doi]

1998

Approaches to Effective Semi-continuity of Real FunctionsVasco Brattka, Klaus Weihrauch, Xizhong Zheng. cocoon 1998: 184-193 [doi]

A Finite Hierarchy of the Recursively Enumerable Real NumbersKlaus Weihrauch, Xizhong Zheng. mfcs 1998: 798-806 [doi]

1997

Resource Bounded Randomness and Weakly Complete ProblemsKlaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng. TCS, 172(1-2):195-207, 1997. [doi]

Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real FunctionsKlaus Weihrauch, Xizhong Zheng. cocoon 1997: 166-175

Effectiveness of the Global Modulus of Continuity on Metric SpacesKlaus Weihrauch, Xizhong Zheng. ctcs 1997: 210-219

1996

Resource-Bounded Balanced Genericity, Stochasticity and Weak RandomnessKlaus Ambos-Spies, Elvira Mayordomo, Yongge Wang, Xizhong Zheng. STACS 1996: 63-74

A Comparison of Weak Completeness NotionsKlaus Ambos-Spies, Elvira Mayordomo, Xizhong Zheng. cocoon 1996: 171-178 [doi]

Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real FunctionsKlaus Weihrauch, Xizhong Zheng. cca 1996: [doi]

1994

Resource Bounded Randomness and Weakly Complete ProblemsKlaus Ambos-Spies, Sebastiaan Terwijn, Xizhong Zheng. isaac 1994: 369-377

The rhombus classes of degrees of unsolvability (I), The jump propertiesXizhong Zheng. AML, 33(1):1-12, 1994. [doi]

1993

On the Maximality of Some Pairs of p-t DegreesXizhong Zheng. ndjfl, 34(1):29-35, 1993.

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Xizhong Zheng'

Viewing Publication 1 - 60 from 60

2019

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1994

1993

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by TagOR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Xizhong Zheng'

Viewing Publication 1 - 60 from 60

2019

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1994

1993

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1