% csauthors.net - beta - BibTeX bibliography of Klaus Weihrauch
@inproceedings{conf/gi/HenkeW72,
title = {Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen.},
year = {1972},
booktitle = {GI Jahrestagung},
author = {{Friedrich W. von Henke} and {Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Gesellschaft für Informatik e.V., 2. Jahrestagung, Karlsruhe, Deutschland, 2.-4. Oktober 1972}
}
@inproceedings{conf/icalp/HenkeIW72,
title = {Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata.},
year = {1972},
booktitle = {ICALP},
author = {{Friedrich W. von Henke} and {Klaus Indermark} and {Klaus Weihrauch}},
publisher = {North-Holland, Amsterdam},
booktitle = {Automata, Languages and Programming, Colloquium, Paris, France, July 3-7, 1972}
}
@book{books/daglib/0046489,
title = {Einführung in die Codierungstheorie I.},
year = {1973},
isbn = {978-3-411-00783-7},
publisher = {BI-Wissenschaftsverlag},
series = {Skripten zur Informatik},
author = {{Tiko Kameda} and {Klaus Weihrauch}}
}
@inproceedings{conf/automata/RoseW73,
title = {A characterization of the classes L1 and R1 of primitive recursive wordfunctions.},
year = {1973},
booktitle = {Automatentheorie und Formale Sprachen},
author = {{G. Rose} and {Klaus Weihrauch}},
publisher = {Springer},
booktitle = {1. Fachtagung über Automatentheorie und Formale Sprachen, Bonn, 9.-12. Juli 1973, Gesellschaft für Informatik (GI)}
}
@inproceedings{conf/icalp/Weihrauch74,
title = {The Compuational Complexity of Program Schemata.},
year = {1974},
booktitle = {ICALP},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings}
}
@article{journals/computing/HenkeRIW75,
title = {On primitive recursive wordfunctions.},
year = {1975},
journal = {Computing},
author = {{Friedrich W. von Henke} and {G. Rose} and {Klaus Indermark} and {Klaus Weihrauch}}
}
@article{journals/ipl/Weihrauch75,
title = {Program Schemata with Polynomial Bounded Counters.},
year = {1975},
journal = {Inf. Process. Lett.},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/mfcs/VerbeekW76,
title = {The Influence of the Data Presentation on the Computational POwer of Machines.},
year = {1976},
booktitle = {MFCS},
author = {{Rutger Verbeek} and {Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings}
}
@article{journals/jcss/Weihrauch76,
title = {The Computational Complexity of Program Schemata.},
year = {1976},
journal = {J. Comput. Syst. Sci.},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/fct/Weihrauch77,
title = {A Genralized Computability Thesis.},
year = {1977},
booktitle = {FCT},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland, September 19-23, 1977}
}
@inproceedings{conf/mfcs/Weihrauch77,
title = {A Generalized Computability Thesis (Abstract).},
year = {1977},
booktitle = {MFCS},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1977, 6th Symposium, Tatranska Lomnica, Czechoslovakia, September 5-9, 1977, Proceedings}
}
@article{journals/tcs/VerbeekW78,
title = {Data Representation and Computational Complexity.},
year = {1978},
journal = {Theor. Comput. Sci.},
author = {{Rutger Verbeek} and {Klaus Weihrauch}}
}
@article{journals/eik/ReiserW80,
title = {Natural Numberings and Generalized Computability.},
year = {1980},
journal = {J. Inf. Process. Cybern.},
author = {{Angelika Reiser} and {Klaus Weihrauch}}
}
@inproceedings{conf/tcs/Weihrauch81,
title = {Recursion and Complexity Theory on CPO-S.},
year = {1981},
booktitle = {Theoretical Computer Science},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Theoretical Computer Science, 5th GI-Conference, Karlsruhe, Germany, March 23-25, 1981, Proceedings}
}
@article{journals/tcs/WeihrauchS81,
title = {Embedding Metric Spaces Into CPO's.},
year = {1981},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch} and {Ulrich Schreiber}}
}
@inproceedings{conf/tcs/KreitzW83,
title = {Complexity theory on real numbers and functions.},
year = {1983},
booktitle = {Theoretical Computer Science},
author = {{Christoph Kreitz} and {Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Theoretical Computer Science, 6th GI-Conference, Dortmund, Germany, January 5-7, 1983, Proceedings}
}
@article{journals/tcs/WeihrauchS83,
title = {Admissible Representations of Effective CPO's.},
year = {1983},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch} and {Gisela Schäfer}}
}
@article{journals/tcs/KreitzW85,
title = {Theory of Representations.},
year = {1985},
journal = {Theor. Comput. Sci.},
author = {{Christoph Kreitz} and {Klaus Weihrauch}}
}
@article{journals/tcs/Weihrauch85,
title = {Type 2 Recursion Theory.},
year = {1985},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch}}
}
@article{journals/apal/KreitzW87,
title = {Compactness in constructive analysis revisited.},
year = {1987},
journal = {Ann. Pure Appl. Log.},
author = {{Christoph Kreitz} and {Klaus Weihrauch}}
}
@article{journals/apal/WeihrauchK87,
title = {Representations of the real numbers and of the open subsets of the set of real numbers.},
year = {1987},
journal = {Ann. Pure Appl. Log.},
author = {{Klaus Weihrauch} and {Christoph Kreitz}}
}
@book{series/eatcs/Weihrauch87,
title = {Computability},
year = {1987},
isbn = {0-387-13721-1},
publisher = {Springer},
series = {EATCS Monographs on Theoretical Computer Science},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/fct/Weihrauch89,
title = {Constructivity, Computability, and Computational Complexity in Analysis.},
year = {1989},
booktitle = {FCT},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Fundamentals of Computation Theory, International Conference FCT'89, Szeged, Hungary, August 21-25, 1989, Proceedings}
}
@book{books/daglib/0068043,
title = {Logik für Informatiker - eine Einführung.},
year = {1991},
isbn = {978-3-519-02248-0},
publisher = {Teubner},
series = {Leitfäden und Monographien der Informatik},
author = {{Bernhard Heinemann} and {Klaus Weihrauch}}
}
@inproceedings{conf/constructivity/Weihrauch91,
title = {A Simple and Powerful Approach for Studying Constructivity, Computability, and Complexity.},
year = {1991},
booktitle = {Constructivity in Computer Science},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings}
}
@article{journals/jc/Weihrauch91,
title = {On the complexity of online computations of real functions.},
year = {1991},
journal = {J. Complex.},
author = {{Klaus Weihrauch}}
}
@article{journals/tcs/WeihrauchK91,
title = {Type 2 Computational Complexity of Functions on Cantor's Space.},
year = {1991},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch} and {Christoph Kreitz}}
}
@article{journals/tcs/Weihrauch93,
title = {Computability on Computable Metric Spaces.},
year = {1993},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/cccg/HertlingW94,
title = {Levels of Degeneracy and Exact Lower Complexity Bounds for Geometric Algorithms.},
year = {1994},
booktitle = {CCCG},
author = {{Peter Hertling} and {Klaus Weihrauch}},
publisher = {University of Saskatchewan},
booktitle = {Proceedings of the 6th Canadian Conference on Computational Geometry, Saskatoon, SK, Canada, August 1994}
}
@article{journals/eatcs/Weihrauch95,
title = {A Foundation of Computable Analysis.},
year = {1995},
journal = {Bull. EATCS},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/cca/Weihrauch96,
title = {Computability on the probability measures on the Borel sets of the unit interval.},
year = {1996},
booktitle = {CCA},
author = {{Klaus Weihrauch}},
publisher = {Unjiversity of Trier},
booktitle = {Second Workshop on Computability and Complexity in Analysis, CCA 1996, August 22-23, 1996, Trier, Germany.}
}
@inproceedings{conf/coco/KoW96,
title = {On the Measure of Two-Dimensional Regions with Polynomial-Time computables Boundaries.},
year = {1996},
booktitle = {CCC},
author = {{Ker-I Ko} and {Klaus Weihrauch}},
publisher = {IEEE Computer Society},
booktitle = {Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, USA, May 24-27, 1996}
}
@inproceedings{conf/cocoon/WeihrauchZ97,
title = {Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions.},
year = {1997},
booktitle = {COCOON},
author = {{Klaus Weihrauch} and {Xizhong Zheng}},
publisher = {Springer},
booktitle = {Computing and Combinatorics, Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997, Proceedings}
}
@inproceedings{conf/icalp/HertlingW98,
title = {Randomness Spaces.},
year = {1998},
booktitle = {ICALP},
author = {{Peter Hertling} and {Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings}
}
@inproceedings{conf/mcu/BrattkaW98,
title = {Recursive and Recursively Enumerable Closed Subsets of Euclidean Space.},
year = {1998},
booktitle = {MCU (2)},
author = {{Vasco Brattka} and {Klaus Weihrauch}},
publisher = {IUT Metz},
booktitle = {International Colloquium Universal Machines and Computations, MCU'98, Metz, France, March 23-27, 1998, Proceedingsi, Volume II}
}
@inproceedings{conf/mfcs/WeihrauchZ98,
title = {A Finite Hierarchy of the Recursively Enumerable Real Numbers.},
year = {1998},
booktitle = {MFCS},
author = {{Klaus Weihrauch} and {Xizhong Zheng}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings}
}
@article{journals/jc/Weihrauch98,
title = {A Refined Model of Computation for Continuous Problems.},
year = {1998},
journal = {J. Complex.},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/icalp/WeihrauchZ99,
title = {The Wave Propagator Is Turing Computable.},
year = {1999},
booktitle = {ICALP},
author = {{Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings}
}
@article{journals/mlq/BrattkaZW99,
title = {Approaches to Effective Semi-Continuity of Real Functions.},
year = {1999},
journal = {Math. Log. Q.},
author = {{Vasco Brattka} and {Xizhong Zheng} and {Klaus Weihrauch}}
}
@article{journals/tcs/BrattkaW99,
title = {Computability on Subsets of Euclidean Space I: Closed and Compact Subsets.},
year = {1999},
journal = {Theor. Comput. Sci.},
author = {{Vasco Brattka} and {Klaus Weihrauch}}
}
@article{journals/tcs/Weihrauch99,
title = {Computability on the Probability Measureson the Borel Sets of the Unit Interval.},
year = {1999},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch}}
}
@article{journals/tcs/WeihrauchZ99,
title = {Effectiveness of the Global Modulus of Continuity on Metric Spaces.},
year = {1999},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch} and {Xizhong Zheng}}
}
@inproceedings{conf/cca/Weihrauch00,
title = {On Computable Metric Spaces Tietze-Urysohn Extension Is Computable.},
year = {2000},
booktitle = {CCA},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers}
}
@inproceedings{conf/cca/WeihrauchZ00,
title = {Is the Linear Schrödinger Propagator Turing Computable?},
year = {2000},
booktitle = {CCA},
author = {{Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Springer},
booktitle = {Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers}
}
@article{journals/jc/Ambos-SpiesWZ00,
title = {Weakly Computable Real Numbers.},
year = {2000},
journal = {J. Complex.},
author = {{Klaus Ambos-Spies} and {Klaus Weihrauch} and {Xizhong Zheng}}
}
@article{journals/tcs/WeihrauchZ00,
title = {Computability on continuous, lower semi-continuous and upper semi-continuous real functions.},
year = {2000},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch} and {Xizhong Zheng}}
}
@book{series/txtcs/Weihrauch00,
title = {Computable Analysis - An Introduction},
year = {2000},
isbn = {978-3-642-56999-9},
publisher = {Springer},
series = {Texts in Theoretical Computer Science. An EATCS Series},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/cocoon/WeihrauchZ01,
title = {Turing Computability of a Nonlinear Schrödinger Propagator.},
year = {2001},
booktitle = {COCOON},
author = {{Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Springer},
booktitle = {Computing and Combinatorics, 7th Annual International Conference, COCOON 2001, Guilin, China, August 20-23, 2001, Proceedings}
}
@article{journals/mlq/ZhengW01,
title = {The Arithmetical Hierarchy of Real Numbers.},
year = {2001},
journal = {Math. Log. Q.},
author = {{Xizhong Zheng} and {Klaus Weihrauch}}
}
@inproceedings{journals/entcs/BrattkaSW02,
title = {Preface.},
year = {2002},
booktitle = {CCA},
author = {{Vasco Brattka} and {Matthias Schröder 001} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Computability and Complexity in Analysis, CCA 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002}
}
@inproceedings{journals/entcs/RettingerW02,
title = {The Computational Complexity of Some Julia Sets.},
year = {2002},
booktitle = {CCA},
author = {{Robert Rettinger} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Computability and Complexity in Analysis, CCA 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002}
}
@inproceedings{journals/entcs/WeihrauchZ02,
title = {The Solution Operator of the Korteweg-de Vries Equation is Computable.},
year = {2002},
booktitle = {CCA},
author = {{Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Elsevier},
booktitle = {Computability and Complexity in Analysis, CCA 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002}
}
@article{journals/tcs/KoNW02,
title = {Foreword.},
year = {2002},
journal = {Theor. Comput. Sci.},
author = {{Ker-I Ko} and {Anil Nerode} and {Klaus Weihrauch}}
}
@article{journals/iandc/HertlingW03,
title = {Random elements in effective topological spaces with measure.},
year = {2003},
journal = {Inf. Comput.},
author = {{Peter Hertling} and {Klaus Weihrauch}}
}
@article{journals/jacm/ZhongW03,
title = {Computatbility theory of generalized functions.},
year = {2003},
journal = {J. ACM},
author = {{Ning Zhong 002} and {Klaus Weihrauch}}
}
@article{journals/mlq/Weihrauch03,
title = {Computational complexity on computable metric spaces.},
year = {2003},
journal = {Math. Log. Q.},
author = {{Klaus Weihrauch}}
}
@inproceedings{journals/entcs/BrattkaSW05,
title = {Preface.},
year = {2004},
booktitle = {CCA},
author = {{Vasco Brattka} and {Ludwig Staiger} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in Analysis, CCA 2004, Wittenberg, Germany, August 16-20, 2004}
}
@inproceedings{journals/entcs/WeihrauchZ05,
title = {An Algorithm for Computing Fundamental Solutions.},
year = {2004},
booktitle = {CCA},
author = {{Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Elsevier},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in Analysis, CCA 2004, Wittenberg, Germany, August 16-20, 2004}
}
@inproceedings{journals/entcs/WuW05,
title = {A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals.},
year = {2004},
booktitle = {CCA},
author = {{Yongcheng Wu} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Proceedings of the 6th Workshop on Computability and Complexity in Analysis, CCA 2004, Wittenberg, Germany, August 16-20, 2004}
}
@inproceedings{conf/cca/GrubbaW05,
title = {A Computable Version of Dini's Theorem for Topological Spaces.},
year = {2005},
booktitle = {CCA},
author = {{Tanja Grubba} and {Klaus Weihrauch}},
publisher = {FernUniversität Hagen, Germany},
booktitle = {CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan}
}
@inproceedings{conf/cca/Weihrauch05,
title = {Multi-Functions on Multi-Represented Sets are Closed under Flowchart Programming.},
year = {2005},
booktitle = {CCA},
author = {{Klaus Weihrauch}},
publisher = {FernUniversität Hagen, Germany},
booktitle = {CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan}
}
@inproceedings{conf/cie/Weihrauch05,
title = {Computable Analysis.},
year = {2005},
booktitle = {CiE},
author = {{Klaus Weihrauch}},
publisher = {Springer},
booktitle = {New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings}
}
@article{journals/tcs/WeihrauchZ05,
title = {Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing.},
year = {2005},
journal = {Theor. Comput. Sci.},
author = {{Klaus Weihrauch} and {Ning Zhong 002}}
}
@inproceedings{conf/tamc/WeihrauchZ06,
title = {Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable?},
year = {2006},
booktitle = {TAMC},
author = {{Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Springer},
booktitle = {Theory and Applications of Models of Computation, Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006, Proceedings}
}
@inproceedings{journals/entcs/CenzerDGW07,
title = {Preface.},
year = {2006},
booktitle = {CCA},
author = {{Douglas Cenzer} and {Ruth Dillhage} and {Tanja Grubba} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third International Conference on Computability and Complexity in Analysis, CCA 2006, November 1-5, 2006, University of Florida, Gainesville, USA}
}
@inproceedings{journals/entcs/GrubbaW07,
title = {On Computable Metrization.},
year = {2006},
booktitle = {CCA},
author = {{Tanja Grubba} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third International Conference on Computability and Complexity in Analysis, CCA 2006, November 1-5, 2006, University of Florida, Gainesville, USA}
}
@inproceedings{journals/entcs/LuW07,
title = {Computable Riesz Representation for the Dual of C.},
year = {2006},
booktitle = {CCA},
author = {{Hong Lu 011} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third International Conference on Computability and Complexity in Analysis, CCA 2006, November 1-5, 2006, University of Florida, Gainesville, USA}
}
@inproceedings{journals/entcs/WeihrauchZ07,
title = {Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I).},
year = {2006},
booktitle = {CCA},
author = {{Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Elsevier},
booktitle = {Proceedings of the Third International Conference on Computability and Complexity in Analysis, CCA 2006, November 1-5, 2006, University of Florida, Gainesville, USA}
}
@article{journals/jc/WeihrauchZ06,
title = {Computing Schrödinger propagators on Type-2 Turing machines.},
year = {2006},
journal = {J. Complex.},
author = {{Klaus Weihrauch} and {Ning Zhong 002}}
}
@inproceedings{conf/tamc/DingWW07,
title = {Absolutely Non-effective Predicates and Functions in Computable Analysis.},
year = {2007},
booktitle = {TAMC},
author = {{Decheng Ding} and {Klaus Weihrauch} and {Yongcheng Wu}},
publisher = {Springer},
booktitle = {Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings}
}
@inproceedings{journals/entcs/DillhageGSWZ08,
title = {Preface.},
year = {2007},
booktitle = {CCA},
author = {{Ruth Dillhage} and {Tanja Grubba} and {Andrea Sorbi} and {Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, CCA 2007, Siena, Italy, June 16-18, 2007}
}
@inproceedings{journals/entcs/GrubbaWX08,
title = {Effectivity on Continuous Functions in Topological Spaces.},
year = {2007},
booktitle = {CCA},
author = {{Tanja Grubba} and {Klaus Weihrauch} and {Yatao Xu}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, CCA 2007, Siena, Italy, June 16-18, 2007}
}
@inproceedings{journals/entcs/LuW08,
title = {Computable Riesz Representation for Locally Compact Hausdorff Spaces.},
year = {2007},
booktitle = {CCA},
author = {{Hong Lu 011} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, CCA 2007, Siena, Italy, June 16-18, 2007}
}
@inproceedings{journals/entcs/LutzW08,
title = {Connectivity Properties of Dimension Level Sets.},
year = {2007},
booktitle = {CCA},
author = {{Jack H. Lutz} and {Klaus Weihrauch}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, CCA 2007, Siena, Italy, June 16-18, 2007}
}
@article{journals/mlq/GrubbaSW07,
title = {Computable metrization.},
year = {2007},
journal = {Math. Log. Q.},
author = {{Tanja Grubba} and {Matthias Schröder 001} and {Klaus Weihrauch}}
}
@article{journals/mlq/KoWZ07,
title = {Editorial: Math. Log. Quart. 4-5/2007.},
year = {2007},
journal = {Math. Log. Q.},
author = {{Ker-I Ko} and {Klaus Weihrauch} and {Xizhong Zheng}}
}
@article{journals/mlq/LuW07,
title = {Computable Riesz representation for the dual of C [0; 1].},
year = {2007},
journal = {Math. Log. Q.},
author = {{Hong Lu 011} and {Klaus Weihrauch}}
}
@inproceedings{journals/entcs/RettingerWZ08,
title = {Complexity of Blowup Problems: Extended Abstract.},
year = {2008},
booktitle = {CCA},
author = {{Robert Rettinger} and {Klaus Weihrauch} and {Ning Zhong 002}},
publisher = {Elsevier},
booktitle = {Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, CCA 2008, Hagen, Germany, August 21-24, 2008}
}
@article{journals/jucs/Weihrauch08,
title = {The Computable Multi-Functions on Multi-represented Sets are Closed under Programming.},
year = {2008},
journal = {J. Univers. Comput. Sci.},
author = {{Klaus Weihrauch}}
}
@inproceedings{conf/cca/Weihrauch09,
title = {Computable Separation in Topology, from T_0 to T_3.},
year = {2009},
booktitle = {CCA},
author = {{Klaus Weihrauch}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
booktitle = {Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, August 18-22, 2009, Ljubljana, Slovenia}
}
@article{journals/jucs/RettingerWZ09,
title = {Topological Complexity of Blowup Problems.},
year = {2009},
journal = {J. Univers. Comput. Sci.},
author = {{Robert Rettinger} and {Klaus Weihrauch} and {Ning Zhong 002}}
}
@article{journals/jucs/WeihrauchG09,
title = {Elementary Computable Topology.},
year = {2009},
journal = {J. Univers. Comput. Sci.},
author = {{Klaus Weihrauch} and {Tanja Grubba}}
}
@article{journals/mscs/WeihrauchWD09,
title = {Absolutely non-computable predicates and functions in analysis.},
year = {2009},
journal = {Math. Struct. Comput. Sci.},
author = {{Klaus Weihrauch} and {Yongcheng Wu} and {Decheng Ding}}
}
@article{journals/jucs/Weihrauch10,
title = {Computable Separation in Topology, from T0 to T2.},
year = {2010},
journal = {J. Univers. Comput. Sci.},
author = {{Klaus Weihrauch}}
}
@article{journals/corr/abs-1105-3335,
title = {Turing machines on represented sets, a model of computation for Analysis},
year = {2011},
journal = {Log. Methods Comput. Sci.},
author = {{Nazanin Tavana} and {Klaus Weihrauch}}
}
@article{journals/computability/HoyrupRW12,
title = {Computability of the Radon-Nikodym Derivative.},
year = {2012},
journal = {Comput.},
author = {{Mathieu Hoyrup} and {Cristobal Rojas} and {Klaus Weihrauch}}
}
@article{journals/corr/RettingerW13,
title = {Products of effective topological spaces and a uniformly computable Tychonoff Theorem.},
year = {2013},
journal = {Log. Methods Comput. Sci.},
author = {{Robert Rettinger} and {Klaus Weihrauch}}
}
@article{journals/jucs/JafarikhahW13,
title = {The Riesz Representation Operator on the Dual of C[0; 1] is Computable.},
year = {2013},
journal = {J. Univers. Comput. Sci.},
author = {{Tahereh Jafarikhah} and {Klaus Weihrauch}}
}
@article{journals/lmcs/Weihrauch13,
title = {Computably regular topological spaces.},
year = {2013},
journal = {Log. Methods Comput. Sci.},
author = {{Klaus Weihrauch}}
}
@article{journals/corr/WeihrauchJ14,
title = {Computable Jordan Decomposition of Linear Continuous Functionals on \$C[0;1]\$.},
year = {2014},
journal = {Log. Methods Comput. Sci.},
author = {{Klaus Weihrauch} and {Tahereh Jafarikhah}}
}
@article{journals/corr/WeihrauchT14,
title = {Representations of measurable sets in computable measure theory.},
year = {2014},
journal = {Log. Methods Comput. Sci.},
author = {{Klaus Weihrauch} and {Nazanin Roshandel Tavana}}
}
@article{journals/computability/Weihrauch17,
title = {Computability on measurable functions.},
year = {2017},
journal = {Comput.},
author = {{Klaus Weihrauch}}
}
@article{journals/computability/Weihrauch19,
title = {Computable planar curves intersect in a computable point.},
year = {2019},
journal = {Comput.},
author = {{Klaus Weihrauch}}
}
@article{journals/computability/Weihrauch22,
title = {Intersection points of planar curves can be computed.},
year = {2022},
journal = {Comput.},
author = {{Klaus Weihrauch}}
}