The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable. - Marian Boykan Pour-El; Ning Zhong 002 (Math. Log. Q., 1997)

Derivatives of Computable Functions. - Ning Zhong 002 (Math. Log. Q., 1998)

Recursively Enumerable Subsets of Rq in Two Computing Models: Blum-Shub-Smale Machine and Turing Machine. - Ning Zhong 002 (Theor. Comput. Sci., 1998)

The Wave Propagator Is Turing Computable. - Klaus Weihrauch; Ning Zhong 002 (ICALP, 1999)

Lp-Computability. - Bing-Yu Zhang; Ning Zhong 002 (Math. Log. Q., 1999)

Computability Structure of the Sobolev Spaces and Its Applications. - Ning Zhong 002 (Theor. Comput. Sci., 1999)

Is the Linear Schrödinger Propagator Turing Computable? - Klaus Weihrauch; Ning Zhong 002 (CCA, 2000)

Turing Computability of a Nonlinear Schrödinger Propagator. - Klaus Weihrauch; Ning Zhong 002 (COCOON, 2001)

Computability of Solutions of the Korteweg-de Vries Equation. - William Gay; Bing-Yu Zhang; Ning Zhong 002 (Math. Log. Q., 2001)

The Solution Operator of the Korteweg-de Vries Equation is Computable. - Klaus Weihrauch; Ning Zhong 002 (CCA, 2002)

Preface: MLQ - Math. Log. Quart. Supplement 1/2002. - Vasco Brattka; Peter Hertling; Mariko Yasugi; Ning Zhong 002 (Math. Log. Q., 2002)

Computatbility theory of generalized functions. - Ning Zhong 002; Klaus Weihrauch (J. ACM, 2003)

Preface: MLQ - Math. Log. Quart. 4-5/2004. - Vasco Brattka; Peter Hertling; Ker-I Ko; Ning Zhong 002 (Math. Log. Q., 2004)

Computable Analysis of a Non-homogeneous Boundary-Value Problem for the Korteweg-de Vries Equation. - Ning Zhong 002 (CiE, 2005)

Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing. - Klaus Weihrauch; Ning Zhong 002 (Theor. Comput. Sci., 2005)

Beyond the First Main Theorem - When Is the Solution of a Linear Cauchy Problem Computable? - Klaus Weihrauch; Ning Zhong 002 (TAMC, 2006)

Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I). - Klaus Weihrauch; Ning Zhong 002 (CCA, 2006)

Computing Schrödinger propagators on Type-2 Turing machines. - Klaus Weihrauch; Ning Zhong 002 (J. Complex., 2006)

An Algorithm for Computing Fundamental Solutions. - Klaus Weihrauch; Ning Zhong 002 (SIAM J. Comput., 2006)

Preface. - Ruth Dillhage; Tanja Grubba; Andrea Sorbi; Klaus Weihrauch; Ning Zhong 002 (CCA, 2007)

Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation. - Ning Zhong 002 (Theory Comput. Syst., 2007)

Complexity of Blowup Problems: Extended Abstract. - Robert Rettinger; Klaus Weihrauch; Ning Zhong 002 (CCA, 2008)

Computability and Complexity in Analysis. - Vasco Brattka; Hajime Ishihara; Matthias Schröder 001; Ning Zhong 002 (J. Univers. Comput. Sci., 2008)

Editorial: Math. Log. Quart. 5/2008. - Vasco Brattka; Hajime Ishihara; Matthias Schröder 001; Ning Zhong 002 (Math. Log. Q., 2008)

Computable Analysis of Differential Equations (Invited Talk). - Ning Zhong 002 (CCA, 2009)

Computing Domains of Attraction for Planar Dynamics. - Daniel Silva Graça; Ning Zhong 002 (UC, 2009)

Topological Complexity of Blowup Problems. - Robert Rettinger; Klaus Weihrauch; Ning Zhong 002 (J. Univers. Comput. Sci., 2009)

Computability in planar dynamical systems. - Daniel Silva Graça; Ning Zhong 002 (Nat. Comput., 2011)

Computability, noncomputability, and hyperbolic systems. - Daniel Silva Graça; Ning Zhong 002; Jorge Buescu (Appl. Math. Comput., 2012)

The connection between computability of a nonlinear problem and its linearization: The Hartman-Grobman theorem revisited. - Daniel Silva Graça; Ning Zhong 002; H. S. Dumas (Theor. Comput. Sci., 2012)

Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems. - Olivier Bournez; Daniel Silva Graça; Amaury Pouly; Ning Zhong 002 (CiE, 2013)

On Effective Convergence of Numerical Solutions for Differential Equations. - Shu-Ming Sun; Ning Zhong 002 (ACM Trans. Comput. Theory, 2014)

On Computability of Navier-Stokes' Equation. - Shu-Ming Sun; Ning Zhong 002; Martin Ziegler 001 (CiE, 2015)

A Tribute to Marian Boykan Pour-El (1928-2009). - I. Pour-El; Ning Zhong 002 (J. Log. Comput., 2015)

An analytic System with a Computable Hyperbolic Sink Whose Basin of Attraction is Non-Computable. - Daniel Silva Graça; Ning Zhong 002 (Theory Comput. Syst., 2015)

Computability aspects for 1st-order partial differential equations via characteristics. - Shu-Ming Sun; Ning Zhong 002 (Theor. Comput. Sci., 2015)

Computing geometric Lorenz attractors with arbitrary precision. - Daniel Silva Graça; Cristobal Rojas; Ning Zhong 002 (CoRR, 2017)

Computability of Ordinary Differential Equations. - Daniel Silva Graça; Ning Zhong 002 (CiE, 2018)

Computability of the Solutions to Navier-Stokes Equations via Effective Approximation. - Shu-Ming Sun; Ning Zhong 002; Martin Ziegler 001 (Complexity and Approximation, 2020)

Computability of Limit Sets for Two-Dimensional Flows. - Daniel Silva Graça; Ning Zhong 002 (CiE, 2021)

Computing the exact number of periodic orbits for planar flows. - Daniel Silva Graça; Ning Zhong 002 (CoRR, 2021)

Robustness of non-computability. - Daniel Silva Graça; Ning Zhong 002 (CoRR, 2021)

The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable. - Daniel Silva Graça; Ning Zhong 002 (Theor. Comput. Sci., 2021)

Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines. - Daniel Silva Graça; Ning Zhong 002 (Comput., 2023)

Preface to the special issue for the 75th birthday of Dieter Spreen. - Maria Emilia Maietti; Ning Zhong 002 (J. Log. Anal., 2025)