2008 |
14 | EE | Ruth Dillhage,
Tanja Grubba,
Andrea Sorbi,
Klaus Weihrauch,
Ning Zhong:
Preface.
Electr. Notes Theor. Comput. Sci. 202: 1-2 (2008) |
13 | EE | Robert Rettinger,
Klaus Weihrauch,
Ning Zhong:
Complexity of Blowup Problems: Extended Abstract.
Electr. Notes Theor. Comput. Sci. 221: 219-230 (2008) |
2007 |
12 | EE | Klaus Weihrauch,
Ning Zhong:
Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I).
Electr. Notes Theor. Comput. Sci. 167: 33-59 (2007) |
11 | EE | 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) |
2006 |
10 | EE | Klaus Weihrauch,
Ning Zhong:
Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable?
TAMC 2006: 783-792 |
9 | EE | Klaus Weihrauch,
Ning Zhong:
Computing Schrödinger propagators on Type-2 Turing machines.
J. Complexity 22(6): 918-935 (2006) |
8 | EE | Klaus Weihrauch,
Ning Zhong:
An Algorithm for Computing Fundamental Solutions.
SIAM J. Comput. 35(6): 1283-1294 (2006) |
2005 |
7 | EE | Klaus Weihrauch,
Ning Zhong:
An Algorithm for Computing Fundamental Solutions.
Electr. Notes Theor. Comput. Sci. 120: 201-215 (2005) |
6 | EE | 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) |
2003 |
5 | EE | Ning Zhong,
Klaus Weihrauch:
Computatbility theory of generalized functions.
J. ACM 50(4): 469-505 (2003) |
2002 |
4 | EE | Klaus Weihrauch,
Ning Zhong:
The Solution Operator of the Korteweg-de Vries Equation is Computable.
Electr. Notes Theor. Comput. Sci. 66(1): (2002) |
2001 |
3 | EE | Klaus Weihrauch,
Ning Zhong:
Turing Computability of a Nonlinear Schrödinger Propagator.
COCOON 2001: 596-600 |
2000 |
2 | EE | Klaus Weihrauch,
Ning Zhong:
Is the Linear Schrödinger Propagator Turing Computable?
CCA 2000: 369-377 |
1999 |
1 | EE | Klaus Weihrauch,
Ning Zhong:
The Wave Propagator Is Turing Computable.
ICALP 1999: 697-707 |