21
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
22
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
24
TITLE: Computability and Dynamical Systems
AUTHORS: Buescu, J ; Graca, DS ; Zhong, N;
PUBLISHED: 2011, SOURCE: International Conference on Dynamical Systems and Game Theory in Honor of Mauricio Peixoto and David Rand in DYNAMICS, GAMES AND SCIENCE I, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
25
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
26
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
27
TITLE: Computability in planar dynamical systems  Full Text
AUTHORS: Daniel Graça ; Ning Zhong;
PUBLISHED: 2010, SOURCE: Natural Computing - Nat Comput, VOLUME: 10, ISSUE: 4
INDEXED IN: CrossRef
28
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
29
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
30
TITLE: Computational bounds on polynomial differential equations  Full Text
AUTHORS: Daniel S Graça ; Jorge Buescu ; Manuel L Campagnolo ;
PUBLISHED: 2009, SOURCE: Applied Mathematics and Computation, VOLUME: 215, ISSUE: 4
INDEXED IN: CrossRef
Page 3 of 5. Total results: 45.