Остановите войну!
for scientists:
default search action
Klaus Weihrauch
- > Home > Persons > Klaus Weihrauch
Publications
- 2013
- [j47]Robert Rettinger, Klaus Weihrauch:
Products of effective topological spaces and a uniformly computable Tychonoff Theorem. Log. Methods Comput. Sci. 9(4) (2013) - 2012
- [j44]Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch:
Computability of the Radon-Nikodym Derivative. Comput. 1(1): 3-13 (2012) - 2011
- [c55]Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch:
Computability of the Radon-Nikodym Derivative. CiE 2011: 132-141 - 2009
- [j41]Robert Rettinger, Klaus Weihrauch, Ning Zhong:
Topological Complexity of Blowup Problems. J. Univers. Comput. Sci. 15(6): 1301-1316 (2009) - [j40]Klaus Weihrauch, Tanja Grubba:
Elementary Computable Topology. J. Univers. Comput. Sci. 15(6): 1381-1422 (2009) - [j39]Klaus Weihrauch, Yongcheng Wu, Decheng Ding:
Absolutely non-computable predicates and functions in analysis. Math. Struct. Comput. Sci. 19(1): 59-71 (2009) - 2008
- [c53]Robert Rettinger, Klaus Weihrauch, Ning Zhong:
Complexity of Blowup Problems: Extended Abstract. CCA 2008: 219-230 - [e7]Ruth Dillhage, Tanja Grubba, Andrea Sorbi, Klaus Weihrauch, Ning Zhong:
Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, CCA 2007, Siena, Italy, June 16-18, 2007. Electronic Notes in Theoretical Computer Science 202, Elsevier 2008 [contents] - 2007
- [j35]Ker-I Ko, Klaus Weihrauch, Xizhong Zheng:
Editorial: Math. Log. Quart. 4-5/2007. Math. Log. Q. 53(4-5): 325 (2007) - [j34]Tanja Grubba, Matthias Schröder, Klaus Weihrauch:
Computable metrization. Math. Log. Q. 53(4-5): 381-395 (2007) - [j32]Klaus Weihrauch, Ning Zhong:
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I. Math. Log. Q. 53(4-5): 511-531 (2007) - [c52]Decheng Ding, Klaus Weihrauch, Yongcheng Wu:
Absolutely Non-effective Predicates and Functions in Computable Analysis. TAMC 2007: 595-604 - [c51]Ruth Dillhage, Tanja Grubba, Andrea Sorbi, Klaus Weihrauch, Ning Zhong:
Preface. CCA 2007: 1-2 - [c49]Tanja Grubba, Klaus Weihrauch, Yatao Xu:
Effectivity on Continuous Functions in Topological Spaces. CCA 2007: 237-254 - [e6]Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch:
Proceedings of the Third International Conference on Computability and Complexity in Analysis, CCA 2006, November 1-5, 2006, University of Florida, Gainesville, USA. Electronic Notes in Theoretical Computer Science 167, Elsevier 2007 [contents] - 2006
- [j31]Klaus Weihrauch, Ning Zhong:
Computing Schrödinger propagators on Type-2 Turing machines. J. Complex. 22(6): 918-935 (2006) - [j30]Klaus Weihrauch, Ning Zhong:
An Algorithm for Computing Fundamental Solutions. SIAM J. Comput. 35(6): 1283-1294 (2006) - [j29]Yongcheng Wu, Klaus Weihrauch:
A computable version of the Daniell-Stone theorem on integration and linear functionals. Theor. Comput. Sci. 359(1-3): 28-42 (2006) - [c47]Klaus Weihrauch, Ning Zhong:
Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable? TAMC 2006: 783-792 - [c46]Douglas Cenzer, Ruth Dillhage, Tanja Grubba, Klaus Weihrauch:
Preface. CCA 2006: 1-2 - [c45]Klaus Weihrauch, Ning Zhong:
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I). CCA 2006: 33-59 - [c43]Tanja Grubba, Klaus Weihrauch:
On Computable Metrization. CCA 2006: 345-364 - 2005
- [j28]Klaus Weihrauch, Ning Zhong:
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing. Theor. Comput. Sci. 332(1-3): 337-366 (2005) - [c42]Tanja Grubba, Klaus Weihrauch:
A Computable Version of Dini's Theorem for Topological Spaces. CCA 2005: 117-129 - [c39]Tanja Grubba, Klaus Weihrauch:
A Computable Version of Dini's Theorem for Topological Spaces. ISCIS 2005: 927-936 - [e5]Vasco Brattka, Ludwig Staiger, Klaus Weihrauch:
Proceedings of the 6th Workshop on Computability and Complexity in Analysis, CCA 2004, Wittenberg, Germany, August 16-20, 2004. Electronic Notes in Theoretical Computer Science 120, Elsevier 2005 [contents] - [e4]Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch:
CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan. Informatik Berichte 326-7/2005, FernUniversität Hagen, Germany 2005 [contents] - 2004
- [c38]Vasco Brattka, Ludwig Staiger, Klaus Weihrauch:
Preface. CCA 2004: 1- - [c37]Klaus Weihrauch, Ning Zhong:
An Algorithm for Computing Fundamental Solutions. CCA 2004: 201-215 - [c36]Yongcheng Wu, Klaus Weihrauch:
A Computable Version of the Daniell-Stone Theorem on Integration and Linear Functionals. CCA 2004: 217-230 - 2003
- [j27]Peter Hertling, Klaus Weihrauch:
Random elements in effective topological spaces with measure. Inf. Comput. 181(1): 32-56 (2003) - [j26]Ning Zhong, Klaus Weihrauch:
Computatbility theory of generalized functions. J. ACM 50(4): 469-505 (2003) - [c35]Robert Rettinger, Klaus Weihrauch:
The computational complexity of some julia sets. STOC 2003: 177-185 - 2002
- [j24]Ker-I Ko, Anil Nerode, Klaus Weihrauch:
Foreword. Theor. Comput. Sci. 284(2): 197 (2002) - [c34]Robert Rettinger, Klaus Weihrauch:
The Computational Complexity of Some Julia Sets. CCA 2002: 154-164 - [c33]Klaus Weihrauch, Ning Zhong:
The Solution Operator of the Korteweg-de Vries Equation is Computable. CCA 2002: 189-201 - [c32]Vasco Brattka, Matthias Schröder, Klaus Weihrauch:
Preface. CCA 2002: 225-226 - [e3]Vasco Brattka, Matthias Schröder, Klaus Weihrauch:
Computability and Complexity in Analysis, CCA 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002. Electronic Notes in Theoretical Computer Science 66(1), Elsevier 2002 [contents] - 2001
- [j23]Xizhong Zheng, Klaus Weihrauch:
The Arithmetical Hierarchy of Real Numbers. Math. Log. Q. 47(1): 51-65 (2001) - [c31]Klaus Weihrauch, Ning Zhong:
Turing Computability of a Nonlinear Schrödinger Propagator. COCOON 2001: 596-600 - 2000
- [j22]Klaus Ambos-Spies, Klaus Weihrauch, Xizhong Zheng:
Weakly Computable Real Numbers. J. Complex. 16(4): 676-690 (2000) - [j21]Klaus Weihrauch, Xizhong Zheng:
Computability on continuous, lower semi-continuous and upper semi-continuous real functions. Theor. Comput. Sci. 234(1-2): 109-133 (2000) - [c29]Klaus Weihrauch, Ning Zhong:
Is the Linear Schrödinger Propagator Turing Computable? CCA 2000: 369-377 - 1999
- [j20]Vasco Brattka, Xizhong Zheng, Klaus Weihrauch:
Approaches to Effective Semi-Continuity of Real Functions. Math. Log. Q. 45: 481-496 (1999) - [j19]Vasco Brattka, Klaus Weihrauch:
Computability on Subsets of Euclidean Space I: Closed and Compact Subsets. Theor. Comput. Sci. 219(1-2): 65-93 (1999) - [j17]Klaus Weihrauch, Xizhong Zheng:
Effectiveness of the Global Modulus of Continuity on Metric Spaces. Theor. Comput. Sci. 219(1-2): 439-450 (1999) - [c28]Klaus Weihrauch, Ning Zhong:
The Wave Propagator Is Turing Computable. ICALP 1999: 697-707 - [c27]Xizhong Zheng, Klaus Weihrauch:
The Arithmetical Hierarchy of Real Numbers. MFCS 1999: 23-33 - 1998
- [c26]Vasco Brattka, Klaus Weihrauch, Xizhong Zheng:
Approaches to Effective Semi-continuity of Real Functions. COCOON 1998: 184-193 - [c25]Peter Hertling, Klaus Weihrauch:
Randomness Spaces. ICALP 1998: 796-807 - [c24]Vasco Brattka, Klaus Weihrauch:
Recursive and Recursively Enumerable Closed Subsets of Euclidean Space. MCU (2) 1998: 215-234 - [c23]Klaus Weihrauch, Xizhong Zheng:
A Finite Hierarchy of the Recursively Enumerable Real Numbers. MFCS 1998: 798-806 - 1997
- [c21]Klaus Weihrauch, Xizhong Zheng:
Computability on Continuou, Lower Semi-continuous and Upper Semi-continuous Real Functions. COCOON 1997: 166-175 - [c20]Klaus Weihrauch, Xizhong Zheng:
Effectiveness of the Global Modulus of Continuity on Metric Spaces. Category Theory and Computer Science 1997: 210-219 - 1996
- [c16]Klaus Weihrauch, Xizhong Zheng:
Computability on Continuous, Lower Semi-Continuous and Upper Semi-Continuous Real Functions. CCA 1996 - [c15]Ker-I Ko, Klaus Weihrauch:
On the Measure of Two-Dimensional Regions with Polynomial-Time computables Boundaries. CCC 1996: 150-159 - [e2]Ker-I Ko, Norbert Th. Müller, Klaus Weihrauch:
Second Workshop on Computability and Complexity in Analysis, CCA 1996, August 22-23, 1996, Trier, Germany. Technical Report TR 96-44, Unjiversity of Trier 1996 [contents] - 1994
- [c13]Peter Hertling, Klaus Weihrauch:
Levels of Degeneracy and Exact Lower Complexity Bounds for Geometric Algorithms. CCCG 1994: 237-242 - 1978
- [j4]Rutger Verbeek, Klaus Weihrauch:
Data Representation and Computational Complexity. Theor. Comput. Sci. 7: 99-116 (1978) - 1976
- [c5]Rutger Verbeek, Klaus Weihrauch:
The Influence of the Data Presentation on the Computational POwer of Machines. MFCS 1976: 551-558
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint