| The computational complexity of some Julia sets R Rettinger, K Weihrauch Proceedings of the thirty-fifth annual ACM symposium on Theory of computing …, 2003 | 55 | 2003 |
| A fast algorithm for Julia sets of hyperbolic rational functions R Rettinger Electronic Notes in Theoretical Computer Science 120, 145-157, 2005 | 38 | 2005 |
| The alternation hierarchy for sublogarithmic space is infinite B von Braunmühl, R Gengler, R Rettinger computational complexity 3, 207-230, 1993 | 33 | 1993 |
| Weakly computable real numbers and total computable real functions R Rettinger1, X Zheng, R Gengler, B von Braunmühl Computing and Combinatorics: 7th Annual International Conference, COCOON …, 2001 | 23 | 2001 |
| Weak computability and representation of reals X Zheng, R Rettinger Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (4‐5), 431-442, 2004 | 19 | 2004 |
| Monotonically computable real numbers R Rettinger, X Zheng, R Gengler, B von Braunmühl Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (3), 459-479, 2002 | 16 | 2002 |
| Monotonically computable real numbers R Rettinger, X Zheng, R Gengler, B von Braunmühl Mathematical Logic Quarterly: Mathematical Logic Quarterly 48 (3), 459-479, 2002 | 16 | 2002 |
| Solovay reducibility on dc. e real numbers R Rettinger, X Zheng COCOON, 359-368, 2005 | 14 | 2005 |
| Effective jordan decomposition X Zheng, R Rettinger Theory of Computing Systems 38 (2), 189-209, 2005 | 14 | 2005 |
| Products of effective topological spaces and a uniformly computable Tychonoff Theorem R Rettinger, K Weihrauch arXiv preprint arXiv:1310.5572, 2013 | 11 | 2013 |
| Compactness and the Effectivity of Uniformization. R Rettinger CiE, 616-625, 2012 | 11 | 2012 |
| On the hierarchy and extension of monotonically computable real numbers R Rettinger, X Zheng Journal of Complexity 19 (5), 672-691, 2003 | 9 | 2003 |
| The alternation hierarchy for machines with sublogarithmic space is infinite B von Braunmühl, R Gengler, R Rettinger STACS 94: 11th Annual Symposium on Theoretical Aspects of Computer Science …, 1994 | 9 | 1994 |
| Computability and complexity aspects of univariate complex analysis R Rettinger FernUniversität Hagen, 2007 | 8 | 2007 |
| On the extensions of Solovay-reducibility X Zheng, R Rettinger Computing and Combinatorics: 10th Annual International Conference, COCOON …, 2004 | 8 | 2004 |
| Points on computable curves of computable lengths R Rettinger, X Zheng Mathematical Foundations of Computer Science 2009: 34th International …, 2009 | 7 | 2009 |
| Topological Complexity of Blowup Problems. R Rettinger, K Weihrauch, N Zhong J. Univers. Comput. Sci. 15 (6), 1301-1316, 2009 | 7 | 2009 |
| Verification of authentication protocols for epistemic goals via SAT compilation KL Su, QL Chen, A Sattar, WY Yue, GF Lv, XZ Zheng Journal of Computer Science and Technology 21 (6), 932-943, 2006 | 7 | 2006 |
| Lower bounds on the continuation of holomorphic functions R Rettinger Electronic Notes in Theoretical Computer Science 221, 207-217, 2008 | 6 | 2008 |
| A hierarchy of Turing degrees of divergence bounded computable real numbers R Rettinger, X Zheng Journal of Complexity 22 (6), 818-826, 2006 | 6 | 2006 |
