| Domain representability of metric spaces J Blanck Annals of pure and applied logic 83 (3), 225-247, 1997 | 82 | 1997 |
| Domain representations of topological spaces J Blanck Theoretical Computer Science 247 (1-2), 229-255, 2000 | 69 | 2000 |
| Exact real arithmetic systems: Results of competition J Blanck International Workshop on Computability and Complexity in Analysis, 389-393, 2000 | 29 | 2000 |
| Computability on topological spaces by effective domain representations. JE Blanck | 28 | 1998 |
| Domain representations of partial functions, with applications to spatial objects and constructive volume geometry J Blanck, V Stoltenberg-Hansen, JV Tucker Theoretical Computer Science 284 (2), 207-240, 2002 | 19 | 2002 |
| Effective domain representations of H (X) the space of compact subsets J Blanck Theoretical Computer Science 219 (1-2), 19-48, 1999 | 19 | 1999 |
| Efficient exact computation of iterated maps J Blanck The Journal of Logic and Algebraic Programming 64 (1), 41-59, 2005 | 15 | 2005 |
| Streams, stream transformers and domain representations J Blanck, V Stoltenberg-Hansen, JV Tucker Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA—New …, 2002 | 13 | 2002 |
| Exact real arithmetic using centred intervals and bounded error terms J Blanck The Journal of Logic and Algebraic Programming 66 (1), 50-67, 2006 | 12 | 2006 |
| Reducibility of domain representations and Cantor–Weihrauch domain representations J Blanck Mathematical Structures in Computer Science 18 (6), 1031-1056, 2008 | 10 | 2008 |
| Canonical effective subalgebras of classical algebras as constructive metric completions A Bauer, J Blanck 6th International Conference on Computability and Complexity in Analysis …, 2009 | 8 | 2009 |
| Computability and complexity in analysis J Blanck, V Brattka, P Hertling Lecture Notes in Computer Science 2064, 2000 | 7 | 2000 |
| Domain representations of topological spaces J Blanck Electronic Notes in Theoretical Computer Science 13, 12-30, 1998 | 7 | 1998 |
| General purpose exact real arithmetic J Blanck CS Report CSR, 21-2002, 2002 | 6 | 2002 |
| Computability and complexity in analysis, volume 2064 of Lect. Notes in Comp. Sc J Blanck, V Brattka, P Hertling Berlin, Heidelberg, 2001 | 5 | 2001 |
| Computability and complexity in analysis: 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers J Blanck, V Brattka, P Hertling Springer Verlag, 2001 | 5 | 2001 |
| Effectivity of regular spaces J Blanck International Workshop on Computability and Complexity in Analysis, 1-15, 2000 | 5 | 2000 |
| Stability of representations of effective partial algebras J Blanck, V Stoltenberg‐Hansen, JV Tucker Mathematical logic quarterly 57 (2), 217-231, 2011 | 4 | 2011 |
| Domain representations of spaces of compact subsets U Berger, J Blanck, PK Køber Mathematical Structures in Computer Science 20 (2), 107-126, 2010 | 4 | 2010 |
| Interval domains and computable sequences: a case study of domain reductions J Blanck The Computer Journal 56 (1), 45-52, 2013 | 2 | 2013 |
Vasco BrattkaProfessor for Theoretical Computer Science and Mathematical Logic, Universität der BundeswehrVerified email at unibw.de
