| Jens Blanck, Domain representability of metric spaces, Licentiate thesis, Uppsala University, U.U.D.M. Report 1995:20, 1995. |
BibTeX:
@phdthesis{blanck95,
author = {Jens Blanck},
title = {Domain representability of metric spaces},
school = {Uppsala University},
type = {Licentiate thesis},
note = {U.U.D.M. Report 1995:20},
year = {1995},
note = {U.U.D.M. Report 1995:20}
}
|
| Jens Blanck, Domain representability of metric spaces, Annals of Pure and Applied Logic 83, 225-247, 1997. |
BibTeX:
@article{blanck97a,
author = {Jens Blanck},
title = {Domain representability of metric spaces},
journal = {Annals of Pure and Applied Logic},
year = {1997},
volume = {83},
pages = {225--247},
doi = {http://dx.doi.org/10.1016/S0168-0072(96)00017-6}
}
|
| Jens Blanck, Computability on topological spaces by effective domain representations, PhD thesis, Uppsala University, Uppsala Dissertations in Mathematics 7, 1997. |
BibTeX:
@phdthesis{blanck97b,
author = {Jens Blanck},
title = {Computability on topological spaces by effective domain representations},
school = {Uppsala University},
type = {PhD thesis},
note = {Uppsala Dissertations in Mathematics 7},
year = {1997},
note = {Uppsala Dissertations in Mathematics 7}
}
|
| Jens Blanck, Domain representations of topological spaces, Department of Mathematics, Uppsala University, U.U.D.M. Report, 1997:26, 1997. |
BibTeX:
@techreport{blanck97c,
author = {Jens Blanck},
title = {Domain representations of topological spaces},
institution = {Department of Mathematics, Uppsala University},
type = {U.U.D.M. Report},
year = {1997},
number = {1997:26}
}
|
| Jens Blanck, Effective domain representations of $mathcal H(X)$, the space of compact subsets, Department of Mathematics, Uppsala University, U.U.D.M. Report, 1997:31, 1997. |
BibTeX:
@techreport{blanck97d,
author = {Jens Blanck},
title = {Effective domain representations of $mathcal H(X)$, the space of compact subsets},
institution = {Department of Mathematics, Uppsala University},
type = {U.U.D.M. Report},
year = {1997},
number = {1997:31}
}
|
| Jens Blanck, Domain representations of topological spaces (Extended abstract), Electronic Notes in Theoretical Computer Science 13, 12-30, 1998. |
BibTeX:
@article{blanck98a,
author = {Jens Blanck},
title = {Domain representations of topological spaces (Extended abstract)},
journal = {Electronic Notes in Theoretical Computer Science},
year = {1998},
volume = {13},
pages = {12-30},
doi = {http://dx.doi.org/10.1016/S1571-0661(05)80211-7}
}
|
| Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker, Streams, stream transformers and domain representations, in Bernhard Moeller & John V. Tucker (ed), Prospects for Hardware Foundation, Lecture Notes in Computer Science 1546, 27-68, Springer, 1998. |
BibTeX:
@incollection{BST98,
author = {Jens Blanck and Viggo Stoltenberg-Hansen and John V. Tucker},
editor = {Bernhard Moeller and John V. Tucker},
title = {Streams, stream transformers and domain representations},
booktitle = {Prospects for Hardware Foundation},
publisher = {Springer},
year = {1998},
volume = {1546},
pages = {27--68},
doi = {http://dx.doi.org/10.1007/3-540-49254-2}
}
|
| Jens Blanck, Effective domain representations of $mathcal H(X)$, the space of compact subsets, Theoretical Computer Science 219, 19-48, 1999. |
BibTeX:
@article{blanck99a,
author = {Jens Blanck},
title = {Effective domain representations of $mathcal H(X)$, the space of compact subsets},
journal = {Theoretical Computer Science},
year = {1999},
volume = {219},
pages = {19--48},
doi = {http://dx.doi.org/10.1016/S0304-3975(98)00282-5}
}
|
| Jens Blanck, Domain representations of topological spaces, Theoretical Computer Science 247, 229-255, 2000. |
BibTeX:
@article{blanck00a,
author = {Jens Blanck},
title = {Domain representations of topological spaces},
journal = {Theoretical Computer Science},
year = {2000},
volume = {247},
pages = {229--255},
doi = {http://dx.doi.org/10.1016/S0304-3975(99)00045-6}
}
|
| Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker, Domain representations of partial functions, with an application to spatial objects and Constructive Volume Geometry, Department of Computer Science, Swansea University, CSR8-2000, 2000. |
BibTeX:
@techreport{BST00,
author = {Jens Blanck and Viggo Stoltenberg-Hansen and John V. Tucker},
title = {Domain representations of partial functions, with an application to spatial objects and Constructive Volume Geometry},
institution = {Department of Computer Science, Swansea University},
year = {2000},
number = {CSR8-2000}
}
|
| Jens Blanck, Vasco Brattka & Peter Hertling (ed), Computability and Complexity in Analysis, Lecture Notes in Computer Science 2064, Springer, 2001. |
BibTeX:
@proceedings{BBH01,,
editor = {Jens Blanck and Vasco Brattka and Peter Hertling},
title = {Computability and Complexity in Analysis},
publisher = {Springer},
year = {2001},
volume = {2064},
doi = {http://dx.doi.org/10.1007/3-540-45335-0}
}
|
| Jens Blanck, Effectivity of Regular Spaces, in Jens Blanck, Vasco Brattka & Peter Hertling (ed), Computability and Complexity in Analysis, Lecture Notes in Computer Science 2064, 1-15, Springer, 2001. |
BibTeX:
@inproceedings{blanck01a,
author = {Jens Blanck},
editor = {Jens Blanck and Vasco Brattka and Peter Hertling},
title = {Effectivity of Regular Spaces},
booktitle = {Computability and Complexity in Analysis},
publisher = {Springer},
year = {2001},
volume = {2064},
pages = {1--15},
doi = {http://dx.doi.org/10.1007/3-540-45335-0_1}
}
|
| Jens Blanck, Exact Real Arithmetic Systems: Results of Competition, in Jens Blanck, Vasco Brattka & Peter Hertling (ed), Computability and Complexity in Analysis, Lecture Notes in Computer Science 2064, 390-394, Springer, 2001. |
BibTeX:
@inproceedings{blanck01b,
author = {Jens Blanck},
editor = {Jens Blanck and Vasco Brattka and Peter Hertling},
title = {Exact Real Arithmetic Systems: Results of Competition},
booktitle = {Computability and Complexity in Analysis},
publisher = {Springer},
year = {2001},
volume = {2064},
pages = {390--394},
doi = {http://dx.doi.org/10.1007/3-540-45335-0_24}
}
|
| Jens Blanck, General purpose exact real arithmetic, Department of Computer Science, Swansea University, CS Report, CSR 21-2002, 2002. |
BibTeX:
@techreport{blanck02a,
author = {Jens Blanck},
title = {General purpose exact real arithmetic},
institution = {Department of Computer Science, Swansea University},
type = {CS Report},
year = {2002},
number = {CSR 21-2002}
}
|
| Jens Blanck, Efficient Exact Computation of Iterated Maps, Department of Computer Science, Swansea University, CS Report, CSR 34-2002, 2002. |
BibTeX:
@techreport{blanck02b,
author = {Jens Blanck},
title = {Efficient Exact Computation of Iterated Maps},
institution = {Department of Computer Science, Swansea University},
type = {CS Report},
year = {2002},
number = {CSR 34-2002},
note = {To appear in Journal of Logic and Algebraic Programming}
}
|
| Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker, Domain representations of partial functions, with applications to spatial objects and Constructive Volume Geometry, Theoretical Computer Science 284, 207-240, 2002. |
BibTeX:
@article{BST02,
author = {Jens Blanck and Viggo Stoltenberg-Hansen and John V. Tucker},
title = {Domain representations of partial functions, with applications to spatial objects and Constructive Volume Geometry},
journal = {Theoretical Computer Science},
year = {2002},
volume = {284},
pages = {207--240},
doi = {http://dx.doi.org/10.1016/S0304-3975(01)00065-2}
}
|
| Jens Blanck, Efficient Exact Computation of Iterated Maps, Journal of Logic and Algebraic Programming 64, 41-59, 2005. |
BibTeX:
@article{blanck05a,
author = {Jens Blanck},
title = {Efficient Exact Computation of Iterated Maps},
journal = {Journal of Logic and Algebraic Programming},
year = {2005},
volume = {64},
pages = {41--59},
doi = {http://dx.doi.org/10.1016/j.jlap.2004.07.004}
}
|
| Jens Blanck, Exact Real Arithmetic Using Centred Intervals and Bounded Error Terms, Journal of Logic and Algebraic Programming 66, 50-67, 2006. |
BibTeX:
@article{blanck06a,
author = {Jens Blanck},
title = {Exact Real Arithmetic Using Centred Intervals and Bounded Error Terms},
journal = {Journal of Logic and Algebraic Programming},
year = {2006},
volume = {66},
pages = {50--67},
doi = {http://dx.doi.org/10.1016/j.jlap.2005.07.002}
}
|
| Jens Blanck, Note on Reducibility Between Domain Representations, in Arnold Beckmann, Ulrich Berger, Benedikt Löwe & John V. Tucker (ed), Logical Approaches to Computational Barriers, Computer Science Report Series(CSR 7-2006), 24-36, 2006. |
BibTeX:
@inproceedings{blanck06b,
author = {Jens Blanck},
editor = {Arnold Beckmann and Ulrich Berger and Benedikt Löwe and John V. Tucker},
title = {Note on Reducibility Between Domain Representations},
booktitle = {Logical Approaches to Computational Barriers},
year = {2006},
number = {CSR 7-2006},
pages = {24--36}
}
|
| Jens Blanck, Reducibility of Domain Representations and Cantor--Weihrauch Domain Representations, Department of Computer Science, Swansea University, CS Report, CSR 15-2006, 2006. |
BibTeX:
@techreport{blanck06c,
author = {Jens Blanck},
title = {Reducibility of Domain Representations and Cantor--Weihrauch Domain Representations},
institution = {Department of Computer Science, Swansea University},
type = {CS Report},
year = {2006},
number = {CSR 15-2006},
note = {Submitted}
}
|
| Jens Blanck, Reducibility of domain representations and Cantor--Weihrauch domain representations, Mathematical Structures in Computer Science 18(06), 1031-1056, 2008. |
BibTeX:
@article{blanck08a,
author = {Jens Blanck},
title = {Reducibility of domain representations and Cantor--Weihrauch domain representations},
journal = {Mathematical Structures in Computer Science},
year = {2008},
volume = {18},
number = {06},
pages = {1031-1056},
doi = {http://dx.doi.org/10.1017/S0960129508007093}
}
|
| Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker, Stability for Effective Algebras, Electronic Notes in Theoretical Computer Science 221, 3 - 15, 2008. |
BibTeX:
@article{BST08,
author = {Jens Blanck and Viggo Stoltenberg-Hansen and John V. Tucker},
title = {Stability for Effective Algebras},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2008},
volume = {221},
pages = {3 - 15},
note = {Proceedings of the Fifth International Conference on Computability and Complexity in Analysis (CCA 2008)},
doi = {http://dx.doi.org/10.1016/j.entcs.2008.12.002}
}
|
| Andrej Bauer & Jens Blanck, Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions, in Andrej Bauer, Peter Hertling & Ker-I Ko (ed), 6th Int'l Conf. on Computability and Complexity in Analysis, Schloss Dagstuhl, Germany, 2009. |
BibTeX:
@inproceedings{BB09b,
author = {Andrej Bauer and Jens Blanck},
editor = {Andrej Bauer and Peter Hertling and Ker-I Ko},
title = {Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions},
booktitle = {6th Int'l Conf. on Computability and Complexity in Analysis},
publisher = {Schloss Dagstuhl, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2009/2257},
doi = {http://dx.doi.org/10.4230/OASIcs.CCA.2009.2257}
}
|
| Andrej Bauer & Jens Blanck, Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions, Journal of Universal Computer Science 16(18), 2496-2522, 2010. |
BibTeX:
@article{BB10,
author = {Andrej Bauer and Jens Blanck},
title = {Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions},
journal = {Journal of Universal Computer Science},
year = {2010},
volume = {16},
number = {18},
pages = {2496-2522},
doi = {http://dx.doi.org/10.3217/jucs-016-18-2496}
}
|
| Ulrich Berger, Jens Blanck & Petter Kristian Køber, Domain representations of spaces of compact subsets, Mathematical Structures in Computer Science 20, 107-126, 2010. |
BibTeX:
@article{BBK10,
author = {Ulrich Berger and Jens Blanck and Petter Kristian Køber},
title = {Domain representations of spaces of compact subsets},
journal = {Mathematical Structures in Computer Science},
year = {2010},
volume = {20},
pages = {107--126},
doi = {http://dx.doi.org/10.1017/S096012950999034X}
}
|
| Jens Blanck, Viggo Stoltenberg-Hansen & John V. Tucker, Stability of representations for effective partial algebras, Mathematical Logic Quarterly 57, 217-231, 2011. |
BibTeX:
@article{BST11,
author = {Jens Blanck and Viggo Stoltenberg-Hansen and John V. Tucker},
title = {Stability of representations for effective partial algebras},
journal = {Mathematical Logic Quarterly},
year = {2011},
volume = {57},
pages = {217-231},
doi = {http://dx.doi.org/10.1002/malq.200910133}
}
|
Created by JabRef on 03/02/2012.