Daniel da Silva Graça
AuthID: R-000-423
1
TITLE: Computation with Real Numbers and Continuous-Time Dynamical Systems
AUTHORS: Daniel Graça;
PUBLISHED: 2025, SOURCE: 21st Conference on Computability in Europe, CiE 2025 in Lecture Notes in Computer Science, VOLUME: 15764 LNCS
AUTHORS: Daniel Graça;
PUBLISHED: 2025, SOURCE: 21st Conference on Computability in Europe, CiE 2025 in Lecture Notes in Computer Science, VOLUME: 15764 LNCS
2
TITLE: ROBUST NON-COMPUTABILITY OF DYNAMICAL SYSTEMS AND COMPUTABILITY OF ROBUST DYNAMICAL SYSTEMS Full Text
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
3
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
Scopus4
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
Scopus5
TITLE: Computability of Ordinary Differential Equations
AUTHORS: Graca, DS; Zhong, N;
PUBLISHED: 2018, SOURCE: 14th Conference on Computability in Europe (CiE) in SAILING ROUTES IN THE WORLD OF COMPUTATION, VOLUME: 10936
AUTHORS: Graca, DS; Zhong, N;
PUBLISHED: 2018, SOURCE: 14th Conference on Computability in Europe (CiE) in SAILING ROUTES IN THE WORLD OF COMPUTATION, VOLUME: 10936
6
TITLE: Rigorous numerical computation of polynomial differential equations over unbounded domains
AUTHORS: Bournez, O; Graça, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9582
AUTHORS: Bournez, O; Graça, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9582
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef7
TITLE: Polynomial time corresponds to solutions of polynomial ordinary differential equations of polynomial length: The general purpose analog computer and computable analysis are two efficiently equivalent models of computations
AUTHORS: Bournez, O; Graca, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 55
AUTHORS: Bournez, O; Graca, DS; Pouly, A;
PUBLISHED: 2016, SOURCE: 43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 55
INDEXED IN: Scopus
Scopus8
TITLE: Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
AUTHORS: Olivier Bournez; Daniel S Graca; Amaury Pouly;
PUBLISHED: 2011, SOURCE: 36th International Symposium on Mathematical Foundations of Computer Science (MFCS) / Young Research Forum in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, VOLUME: 6907
AUTHORS: Olivier Bournez; Daniel S Graca; Amaury Pouly;
PUBLISHED: 2011, SOURCE: 36th International Symposium on Mathematical Foundations of Computer Science (MFCS) / Young Research Forum in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, VOLUME: 6907
INDEXED IN: 
WOS
WOS9
TITLE: Robust Computations with Dynamical Systems
AUTHORS: Olivier Bournez; Daniel S Graca; Emmanuel Hamry;
PUBLISHED: 2010, SOURCE: 35th International Symposium on Mathematical Foundations of Computer Science in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010, VOLUME: 6281
AUTHORS: Olivier Bournez; Daniel S Graca; Emmanuel Hamry;
PUBLISHED: 2010, SOURCE: 35th International Symposium on Mathematical Foundations of Computer Science in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010, VOLUME: 6281
INDEXED IN: WOS
WOS10
TITLE: Analog computers and recursive functions over the reals Full Text
AUTHORS: Graca, DS; Costa, JF ;
PUBLISHED: 2003, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 19, ISSUE: 5
AUTHORS: Graca, DS; Costa, JF ;
PUBLISHED: 2003, SOURCE: JOURNAL OF COMPLEXITY, VOLUME: 19, ISSUE: 5
