| * | 2008 |
|---|
| 13 | EE | Jens Blanck,
Viggo Stoltenberg-Hansen,
John V. Tucker:
Stability for Effective Algebras.
Electr. Notes Theor. Comput. Sci. 221: 3-15 (2008) |
| 12 | EE | Jens Blanck:
Reducibility of domain representations and Cantor-Weihrauch domain representations.
Mathematical Structures in Computer Science 18(6): 1031-1056 (2008) |
| 2006 |
|---|
| 11 | EE | Jens Blanck:
Exact real arithmetic using centred intervals and bounded error terms.
J. Log. Algebr. Program. 66(1): 50-67 (2006) |
| 2005 |
|---|
| 10 | EE | Jens Blanck:
Efficient exact computation of iterated maps.
J. Log. Algebr. Program. 64(1): 41-59 (2005) |
| 2002 |
|---|
| 9 | EE | Jens Blanck,
Viggo Stoltenberg-Hansen,
J. V. Tucker:
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
Theor. Comput. Sci. 284(2): 207-240 (2002) |
| 2001 |
|---|
| 8 | | Jens Blanck,
Vasco Brattka,
Peter Hertling:
Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers
Springer 2001 |
| 2000 |
|---|
| 7 | EE | Jens Blanck:
Effectivity of Regular Spaces.
CCA 2000: 1-15 |
| 6 | EE | Jens Blanck:
Exact Real Arithmetic Systems: Results of Competition.
CCA 2000: 389-394 |
| 5 | EE | Jens Blanck:
Domain representations of topological spaces.
Theor. Comput. Sci. 247(1-2): 229-255 (2000) |
| 1999 |
|---|
| 4 | EE | Jens Blanck:
Effective Domain Representations of H(X), the Space of Compact Subsets.
Theor. Comput. Sci. 219(1-2): 19-48 (1999) |
| 1998 |
|---|
| 3 | EE | Jens Blanck,
Viggo Stoltenberg-Hansen,
J. V. Tucker:
Streams, Stream Transformers and Domain Representations.
Prospects for Hardware Foundations 1998: 27-68 |
| 2 | EE | Jens Blanck:
Domain representations of topological spaces.
Electr. Notes Theor. Comput. Sci. 13: (1998) |
| 1997 |
|---|
| 1 | | Jens Blanck:
Domain Representability of Metric Spaces.
Ann. Pure Appl. Logic 83(3): 225-247 (1997) |
