Daniel da Silva Graça


AuthID: R-000-423

Confirmed Publications: 20



1
TITLE: Computability and computational complexity of the evolution of nonlinear dynamical systems
AUTHORS: Bournez, O; Graca, DS ; Pouly, A; Zhong, N;
PUBLISHED: 2013, SOURCE: 9th Conference on Computability in Europe - The Nature of Computation: Logic, Algorithms, Applications, CiE 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7921 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
2
TITLE: Computation with perturbed dynamical systems  Full Text
AUTHORS: Olivier Bournez; Daniel S Graca ; Emmanuel Hainry;
PUBLISHED: 2013, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 79, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Computability, noncomputability, and hyperbolic systems  Full Text
AUTHORS: Daniel S Graca ; Ning Zhong; Jorge Buescu ;
PUBLISHED: 2012, SOURCE: APPLIED MATHEMATICS AND COMPUTATION, VOLUME: 219, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
4
TITLE: Noncomputability, unpredictability, and financial markets  Full Text
AUTHORS: Daniel S Graca ;
PUBLISHED: 2012, SOURCE: COMPLEXITY, VOLUME: 17, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
5
TITLE: On the complexity of solving initial value problems
AUTHORS: Bournez, O; Graca, DS ; Pouly, A;
PUBLISHED: 2012, SOURCE: 37th International Symposium on Symbolic and Algebraic Computation, ISSAC 2012 in Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC
INDEXED IN: Scopus CrossRef
IN MY: ORCID
6
TITLE: The connection between computability of a nonlinear problem and its linearization: The Hartman-Grobman theorem revisited  Full Text
AUTHORS: Daniel S Graca ; Ning Zhong; Dumas, HS;
PUBLISHED: 2012, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 457
INDEXED IN: Scopus WOS
IN MY: ORCID
7
TITLE: Computability in planar dynamical systems  Full Text
AUTHORS: Daniel Graca ; Ning Zhong;
PUBLISHED: 2011, SOURCE: NATURAL COMPUTING, VOLUME: 10, ISSUE: 4
INDEXED IN: Scopus WOS
IN MY: ORCID
8
TITLE: Solving analytic differential equations in polynomial time over unbounded domains
AUTHORS: Bournez, O; Graca, DS ; Pouly, A;
PUBLISHED: 2011, SOURCE: 36th International Symposium on Mathematical Foundations of Computer Science, MFCS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6907 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
9
TITLE: Robust computations with dynamical systems
AUTHORS: Bournez, O; Graca, DS ; Hainry, E;
PUBLISHED: 2010, SOURCE: 35th International Symposium on Mathematical Foundations of Computer Science, MFCS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6281 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
10
TITLE: COMPUTABILITY, NONCOMPUTABILITY AND UNDECIDABILITY OF MAXIMAL INTERVALS OF IVPS
AUTHORS: Graca, DS ; Zhong, N; Buescu, J ;
PUBLISHED: 2009, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 361, ISSUE: 6
INDEXED IN: Scopus WOS
IN MY: ORCID
Página 1 de 2. Total de resultados: 20.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service