Daniel da Silva Graça
AuthID: R-000-423
1
TITLE: A continuous characterization of PSPACE using polynomial ordinary differential equations
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
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines
AUTHORS: Graca, Daniel; Zhong, Ning;
PUBLISHED: 2023, SOURCE: COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, VOLUME: 12, ISSUE: 2
AUTHORS: Graca, Daniel; Zhong, Ning;
PUBLISHED: 2023, SOURCE: COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, VOLUME: 12, ISSUE: 2
INDEXED IN: WOS
WOS3
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
INDEXED IN: Scopus
Scopus4
TITLE: COMPUTING THE EXACT NUMBER OF PERIODIC ORBITS FOR PLANAR FLOWS
AUTHORS: Graca, Daniel S.; Zhong, Ning;
PUBLISHED: 2022, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
AUTHORS: Graca, Daniel S.; Zhong, Ning;
PUBLISHED: 2022, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
INDEXED IN: WOS
WOS5
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
INDEXED IN: Scopus
Scopus6
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
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2021, SOURCE: Theoretical Computer Science
AUTHORS: Graça, DS; Zhong, N;
PUBLISHED: 2021, SOURCE: Theoretical Computer Science
INDEXED IN: Scopus
Scopus8
TITLE: The set of hyperbolic equilibria and of invertible zeros on the unit ball is computable Full Text
AUTHORS: Graca, DS; Zhong, N;
PUBLISHED: 2021, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 895
AUTHORS: Graca, DS; Zhong, N;
PUBLISHED: 2021, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 895
INDEXED IN: WOS
WOS9
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
INDEXED IN: WOS
WOS10
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
Scopus