Daniel da Silva Graça
AuthID: R-000-423
1
TITLE: ROBUST NON-COMPUTABILITY OF DYNAMICAL SYSTEMS AND COMPUTABILITY OF ROBUST DYNAMICAL SYSTEMS
AUTHORS: Daniel Graça; Ning Zhong;
PUBLISHED: 2024, SOURCE: Logical Methods in Computer Science, VOLUME: 20, ISSUE: 2
AUTHORS: Daniel Graça; Ning Zhong;
PUBLISHED: 2024, SOURCE: Logical Methods in Computer Science, VOLUME: 20, ISSUE: 2
INDEXED IN: 
Scopus
Scopus2
TITLE: Characterizing time computational complexity classes with polynomial differential equations
AUTHORS: Gozzi, Riccardo; Graca, Daniel;
PUBLISHED: 2023, SOURCE: COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, VOLUME: 12, ISSUE: 1
AUTHORS: Gozzi, Riccardo; Graca, Daniel;
PUBLISHED: 2023, SOURCE: COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, VOLUME: 12, ISSUE: 1
3
TITLE: A continuous characterization of PSPACE using polynomial ordinary differential equations Full Text
AUTHORS: Bournez, Olivier; Gozzi, Riccardo; Graca, Daniel S.; Pouly, Amaury;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 77
AUTHORS: Bournez, Olivier; Gozzi, Riccardo; Graca, Daniel S.; Pouly, Amaury;
PUBLISHED: 2023, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 77
4
TITLE: Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
AUTHORS: Daniel Graça; Ning Zhong;
PUBLISHED: 2023, SOURCE: Computability, VOLUME: 12, ISSUE: 2
AUTHORS: Daniel Graça; Ning Zhong;
PUBLISHED: 2023, SOURCE: Computability, VOLUME: 12, ISSUE: 2
5
TITLE: COMPUTING THE EXACT NUMBER OF PERIODIC ORBITS FOR PLANAR FLOWS
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2022, SOURCE: Transactions of the American Mathematical Society, VOLUME: 375, ISSUE: 8
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2022, SOURCE: Transactions of the American Mathematical Society, VOLUME: 375, ISSUE: 8
6
TITLE: HYPERBOLIC SYSTEMS WITH NON-COMPUTABLE BASINS OF ATTRACTION
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2022, SOURCE: 9th International Conference on Computability and Complexity in Analysis, CCA 2012 in CCA 2012 - 9th International Conference on Computability and Complexity in Analysis
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2022, SOURCE: 9th International Conference on Computability and Complexity in Analysis, CCA 2012 in CCA 2012 - 9th International Conference on Computability and Complexity in Analysis
INDEXED IN: Scopus
Scopus7
TITLE: The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable Full Text
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2021, SOURCE: Theoretical Computer Science, VOLUME: 895
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2021, SOURCE: Theoretical Computer Science, VOLUME: 895
8
TITLE: Computability of Limit Sets for Two-Dimensional Flows
AUTHORS: Graca, Daniel S.; Zhong, Ning;
PUBLISHED: 2021, SOURCE: 17th Conference on Computability in Europe (CiE) in CONNECTING WITH COMPUTABILITY, VOLUME: 12813
AUTHORS: Graca, Daniel S.; Zhong, Ning;
PUBLISHED: 2021, SOURCE: 17th Conference on Computability in Europe (CiE) in CONNECTING WITH COMPUTABILITY, VOLUME: 12813
9
TITLE: Computation of the asymptotic behavior of dynamical systems
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2019, SOURCE: 12th International Conference on Computability and Complexity in Analysis, CCA 2015 in 12th International Conference on Computability and Complexity in Analysis, CCA 2015 - Proceedings
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2019, SOURCE: 12th International Conference on Computability and Complexity in Analysis, CCA 2015 in 12th International Conference on Computability and Complexity in Analysis, CCA 2015 - Proceedings
INDEXED IN: Scopus
Scopus10
TITLE: Computing geometric lorenz attractors with arbitrary precision
AUTHORS: Graça, DS; Rojas, C; Zhong, N;
PUBLISHED: 2018, SOURCE: Transactions of the American Mathematical Society, VOLUME: 370, ISSUE: 4
AUTHORS: Graça, DS; Rojas, C; Zhong, N;
PUBLISHED: 2018, SOURCE: Transactions of the American Mathematical Society, VOLUME: 370, ISSUE: 4
