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