Jens Blanck - RankMe

20 papers C 5Journal 13Unranked 2

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Preface. J. Log. Algebraic Methods Program. Ulrich Berger, Jens Blanck, Martín Escardó, Klaus Keimel
2013	J	`jnl`	Guest Editorial. Comput. J. Jan A. Bergstra, Jens Blanck, Faron Moller, Stanley S. Wainer
2013	J	`jnl`	Interval Domains and Computable Sequences: A Case Study of Domain Reductions. Comput. J. Jens Blanck
2011	J	`jnl`	Stability of representations of effective partial algebras. Math. Log. Q. Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
2010	J	`jnl`	Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. J. Univers. Comput. Sci. Andrej Bauer, Jens Blanck
2010	J	`jnl`	Domain representations of spaces of compact subsets. Math. Struct. Comput. Sci. Ulrich Berger, Jens Blanck, Petter Kristian Køber
2009	C	`conf`	Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions. CCA Andrej Bauer, Jens Blanck
2008	J	`jnl`	Reducibility of domain representations and Cantor-Weihrauch domain representations. Math. Struct. Comput. Sci. Jens Blanck
2008	C	`conf`	Stability for Effective Algebras. CCA Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
2006	J	`jnl`	Exact real arithmetic using centred intervals and bounded error terms. J. Log. Algebraic Methods Program. Jens Blanck
2005	J	`jnl`	Efficient exact computation of iterated maps. J. Log. Algebraic Methods Program. Jens Blanck
2002	J	`jnl`	Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theor. Comput. Sci. Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
2001	C	`ed.`	Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers CCA Jens Blanck, Vasco Brattka, Peter Hertling
2000	J	`jnl`	Domain representations of topological spaces. Theor. Comput. Sci. Jens Blanck
2000	C	`conf`	Effectivity of Regular Spaces. CCA Jens Blanck
2000	C	`conf`	Exact Real Arithmetic Systems: Results of Competition. CCA Jens Blanck
1999	J	`jnl`	Effective Domain Representations of H( Theor. Comput. Sci. Jens Blanck
1998	—	`conf`	Streams, Stream Transformers and Domain Representations. Prospects for Hardware Foundations Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
1997	J	`jnl`	Domain Representability of Metric Spaces. Ann. Pure Appl. Log. Jens Blanck
1997	—	`conf`	Domain representations of topological spaces. COMPROX Jens Blanck