| 2012 | CiE | Compactness and the Effectivity of Uniformization. | Robert Rettinger |
| 2009 | CCA | Towards the Complexity of Riemann Mappings (Extended Abstract). | Robert Rettinger |
| 2009 | CCA | On the Computability of Rectifiable Simple Curve (Extended Abstract). | Robert Rettinger, Xizhong Zheng |
| 2009 | MFCS | Points on Computable Curves of Computable Lengths. | Robert Rettinger, Xizhong Zheng |
| 2007 | CiE | Computable Riemann Surfaces. | Robert Rettinger |
| 2005 | CCA | A Hierarchy of Turing Degrees for Divergence Bounded Computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2005 | CiE | On the Turing Degrees of Divergence Bounded Computable Reals. | Robert Rettinger, Xizhong Zheng |
| 2005 | COCOON | Solovay Reducibility on D-c.e Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2004 | COCOON | On the Extensions of Solovay-Reducibility.. | Xizhong Zheng, Robert Rettinger |
| 2003 | MFCS | Ershov's Hierarchy of Real Numbers. | Xizhong Zheng, Robert Rettinger, Romain Gengler |
| 2003 | STOC | The computational complexity of some julia sets. | Robert Rettinger, Klaus Weihrauch |
| 2003 | STACS | On the Effective Jordan Decomposability. | Xizhong Zheng, Robert Rettinger, Burchard von Braunmhl |
| 2002 | COCOON | Burchard von Braunmhl, Computable Real Functions of Bounded Variation and Semi-computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 2001 | COCOON | Weakly Computable Real Numbers and Total Computable Real Functions. | Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmhl |
| 2001 | FCT | Monte-Carlo Polynomial Versus Linear Time - The Truth-Table Case. | Robert Rettinger, Rutger Verbeek |
| 2001 | MFCS | Hierarchy of Monotonically Computable Real Numbers. | Robert Rettinger, Xizhong Zheng |
| 1994 | STACS | The Alternation Hierarchy for Machines with Sublogarithmic Space is Infinite. | Burchard von Braunmhl, Romain Gengler, Robert Rettinger |