Publications

Journal Articles

  1. Blanck, J., Blanck, J. Interval Domains and Computable Sequences: A Case Study of Domain Reductions The Computer Journal 56 1 45 52
  2. Blanck, J., Stoltenberg-Hansen, V., Tucker, J. Stability of representations of effective partial algebras Mathematical Logic Quarterly
  3. Bauer, A., Blanck, J. Canonical effective subalgebras of classical algebras as constructive metric completions Journal of Universal Computer Science 16 18 2496 2522
  4. Berger, U., Blanck, J., KØBER, P. Domain representations of spaces of compact subsets Mathematical Structures in Computer Science 20 02 107
  5. Blanck, J. Reducibility of domain representations and Cantor–Weihrauch domain representations Mathematical Structures in Computer Science 18 06 1031 1056
  6. Blanck, J., Stoltenberg-Hansen, V., Tucker, J. Stability for Effective Algebras Electronic Notes in Theoretical Computer Science 221 3
  7. Blanck, J., Blanck, J. Exact real arithmetic using centred intervals and bounded error terms The Journal of Logic and Algebraic Programming 66 1 50
  8. Blanck, J., Blanck, J. Efficient exact computation of iterated maps The Journal of Logic and Algebraic Programming 64 1 41
  9. Blanck, J., Stoltenberg-Hansen, V., Tucker, J., Blanck, J. Domain representations of partial functions, with applications to spatial objects and constructive volume geometry Theoretical Computer Science 284 2 207