Domain representability of metric spaces J Blanck Annals of pure and applied logic 83 (3), 225-247, 1997 | 83 | 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 | 16 | 2005 |
Exact real arithmetic using centred intervals and bounded error terms J Blanck The Journal of Logic and Algebraic Programming 66 (1), 50-67, 2006 | 13 | 2006 |
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 |
Reducibility of domain representations and Cantor–Weihrauch domain representations J Blanck Mathematical Structures in Computer Science 18 (6), 1031-1056, 2008 | 11 | 2008 |
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 |
Canonical effective subalgebras of classical algebras as constructive metric completions A Bauer, J Blanck 6th International Conference on Computability and Complexity in Analysis …, 2009 | 6 | 2009 |
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 |
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 |
Stability of representations of effective partial algebras J Blanck, V Stoltenberg‐Hansen, JV Tucker Mathematical logic quarterly 57 (2), 217-231, 2011 | 3 | 2011 |
Interval domains and computable sequences: a case study of domain reductions J Blanck The Computer Journal 56 (1), 45-52, 2013 | 2 | 2013 |