Jens Blanck

Publication Activity (10 Years)

Years Active: 1997-2015
Publications (10 Years): 0

Top Topics

Sequential Data

Information Retrieval And Extraction

Multiple Domains

Top Venues

J. Log. Algebraic Methods Program.

Publications

Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel
Preface. J. Log. Algebraic Methods Program. 84 (1) (2015)
Jens Blanck
Interval Domains and Computable Sequences: A Case Study of Domain Reductions. Comput. J. 56 (1) (2013)
Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer
Guest Editorial. Comput. J. 56 (1) (2013)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Stability of representations of effective partial algebras. Math. Log. Q. 57 (2) (2011)
Ulrich Berger, Jens Blanck, Petter Kristian Køber
Domain representations of spaces of compact subsets. Math. Struct. Comput. Sci. 20 (2) (2010)
Andrej Bauer, Jens Blanck
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. J. Univers. Comput. Sci. 16 (18) (2010)
Andrej Bauer, Jens Blanck
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. CCA (2009)
Jens Blanck
Reducibility of domain representations and Cantor-Weihrauch domain representations. Math. Struct. Comput. Sci. 18 (6) (2008)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Stability for Effective Algebras. Electron. Notes Theor. Comput. Sci. 221 (2008)
Jens Blanck
Exact real arithmetic using centred intervals and bounded error terms. J. Log. Algebraic Methods Program. 66 (1) (2006)
Jens Blanck
Efficient exact computation of iterated maps. J. Log. Algebraic Methods Program. 64 (1) (2005)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theor. Comput. Sci. 284 (2) (2002)
Jens Blanck
Effectivity of Regular Spaces. CCA (2000)
Jens Blanck
Exact Real Arithmetic Systems: Results of Competition. CCA (2000)
Jens Blanck
Domain representations of topological spaces. Theor. Comput. Sci. 247 (1-2) (2000)
Jens Blanck
), the Space of Compact Subsets. Theor. Comput. Sci. 219 (1-2) (1999)
Jens Blanck
Domain representations of topological spaces. Electron. Notes Theor. Comput. Sci. 13 (1998)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Streams, Stream Transformers and Domain Representations. Prospects for Hardware Foundations (1998)
Jens Blanck
Domain Representability of Metric Spaces. Ann. Pure Appl. Log. 83 (3) (1997)