| Publication | Date of Publication | Type |
|---|
Robust non-computability of dynamical systems and computability of robust dynamical systems
Logical Methods in Computer Science | 2024-09-04 | Paper |
Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
Computability | 2023-09-13 | Paper |
Sharp Kato smoothing properties of weakly dissipated KdV equations with variable coefficients on a periodic domain
Discrete and Continuous Dynamical Systems | 2022-11-22 | Paper |
Computing the exact number of periodic orbits for planar flows
Transactions of the American Mathematical Society | 2022-08-29 | Paper |
| Computability of limit sets for two-dimensional flows | 2022-03-22 | Paper |
Computability of Differential Equations
Theory and Applications of Computability | 2022-01-26 | Paper |
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable
Theoretical Computer Science | 2021-11-18 | Paper |
| Robustness of non-computability | 2021-09-30 | Paper |
Kato smoothing properties of a class of nonlinear dispersive wave equations on a periodic domain
ESAIM: Control, Optimisation and Calculus of Variations | 2021-07-07 | Paper |
Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
Complexity and Approximation | 2020-07-20 | Paper |
The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable
(available as arXiv preprint) | 2020-02-19 | Paper |
| Computability of ordinary differential equations | 2018-09-06 | Paper |
Computing geometric Lorenz attractors with arbitrary precision
(available as arXiv preprint) | 2017-02-13 | Paper |
On sharpness of the local Kato-smoothing property for dispersive wave equations
Proceedings of the American Mathematical Society | 2016-12-14 | Paper |
An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable
Theory of Computing Systems | 2016-01-28 | Paper |
A Tribute to Marian Boykan Pour-El (1928–2009)
Journal Of Logic And Computation | 2016-01-28 | Paper |
Computability theory of generalized functions
Journal of the ACM | 2015-11-12 | Paper |
On computability of Navier-Stokes' equation
Evolving Computability | 2015-10-20 | Paper |
On Effective Convergence of Numerical Solutions for Differential Equations
ACM Transactions on Computation Theory | 2015-09-07 | Paper |
Computability aspects for 1st-order partial differential equations via characteristics
Theoretical Computer Science | 2015-04-29 | Paper |
Computability, noncomputability, and hyperbolic systems
Applied Mathematics and Computation | 2015-03-26 | Paper |
Computability and computational complexity of the evolution of nonlinear dynamical systems
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Computable analysis of the abstract Cauchy problem in a Banach space and its applications. I
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Complexity of blowup problems (extended abstract)
Electronic Notes in Theoretical Computer Science | 2013-05-03 | Paper |
The solution operator of the Korteweg-de Vries equation is computable
Electronic Notes in Theoretical Computer Science | 2013-04-19 | Paper |
Computability in planar dynamical systems
Natural Computing | 2012-11-15 | Paper |
The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited
Theoretical Computer Science | 2012-10-11 | Paper |
Computability and dynamical systems
Dynamics, Games and Science I | 2012-09-05 | Paper |
| Topological complexity of blowup problems | 2009-10-28 | Paper |
Computing Domains of Attraction for Planar Dynamics
Lecture Notes in Computer Science | 2009-10-22 | Paper |
Computational unsolvability of domains of attraction of nonlinear systems
Proceedings of the American Mathematical Society | 2009-07-23 | Paper |
Computability, noncomputability and undecidability of maximal intervals of IVPs
Transactions of the American Mathematical Society | 2009-05-27 | Paper |
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
Mathematical Logic Quarterly | 2007-09-17 | Paper |
Computable analysis of a boundary-value problem for the Korteweg-de Vries equation
Theory of Computing Systems | 2007-09-06 | Paper |
Theory and Applications of Models of Computation
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Computing Schrödinger propagators on type-2 Turing machines
Journal of Complexity | 2007-02-08 | Paper |
An Algorithm for Computing Fundamental Solutions
SIAM Journal on Computing | 2006-06-01 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
Theoretical Computer Science | 2005-04-06 | Paper |
| scientific article; zbMATH DE number 1089207 (Why is no real title available?) | 2002-11-04 | Paper |
IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
Proceedings of the London Mathematical Society | 2002-10-22 | Paper |
| scientific article; zbMATH DE number 1797000 (Why is no real title available?) | 2002-09-05 | Paper |
| scientific article; zbMATH DE number 1746050 (Why is no real title available?) | 2002-05-27 | Paper |
| Computability of Solutions of the Korteweg-de Vries Equation | 2001-10-21 | Paper |
| scientific article; zbMATH DE number 1405673 (Why is no real title available?) | 2000-05-02 | Paper |
Lp‐Computability
Mathematical Logic Quarterly | 1999-11-25 | Paper |
Computability structure of the Sobolev spaces and its applications
Theoretical Computer Science | 1999-06-21 | Paper |
Derivatives of Computable Functions
Mathematical Logic Quarterly | 1998-09-27 | Paper |
Recursively enumerable subsets of \(\mathbb{R}^{q}\) in two computing models Blum-Shub-Smale machine and Turing machine
Theoretical Computer Science | 1998-08-13 | Paper |
The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
Mathematical Logic Quarterly | 1997-11-18 | Paper |
| scientific article; zbMATH DE number 943183 (Why is no real title available?) | 1996-11-07 | Paper |
| scientific article; zbMATH DE number 549571 (Why is no real title available?) | 1994-04-12 | Paper |
Products with an \(M_ 3\)-factor
Topology and its Applications | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4017876 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3971726 (Why is no real title available?) | 1985-01-01 | Paper |
Robust non-computability and stability of dynamical systems
(available as arXiv preprint) | N/A | Paper |
