 | 2012 |
| 13 |  | Olivier Bournez,
Daniel S. Graça,
Amaury Pouly:
On the complexity of solving initial value problems
CoRR abs/1202.4407: (2012) |
| 12 |  | Amaury Pouly,
Olivier Bournez,
Daniel S. Graça:
Analog models of computations
CoRR abs/1203.4667: (2012) |
| 2011 |
| 11 |  | Olivier Bournez,
Daniel S. Graça,
Amaury Pouly:
Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains.
MFCS 2011: 170-181 |
| 10 |  | Daniel S. Graça,
Ning Zhong:
Computability in planar dynamical systems.
Natural Computing 10(4): 1295-1312 (2011) |
| 2010 |
| 9 |  | Olivier Bournez,
Daniel S. Graça,
Emmanuel Hainry:
Robust Computations with Dynamical Systems.
MFCS 2010: 198-208 |
| 2009 |
| 8 |  | Daniel S. Graça,
Ning Zhong:
Computing Domains of Attraction for Planar Dynamics.
UC 2009: 179-190 |
| 7 |  | Daniel S. Graça,
Jorge Buescu,
Manuel Lameiras Campagnolo:
Computational bounds on polynomial differential equations.
Applied Mathematics and Computation 215(4): 1375-1385 (2009) |
| 6 |  | Pieter Collins,
Daniel S. Graça:
Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach.
J. UCS 15(6): 1162-1185 (2009) |
| 2008 |
| 5 |  | Daniel S. Graça,
Jorge Buescu,
Manuel Lameiras Campagnolo:
Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs.
Electr. Notes Theor. Comput. Sci. 202: 49-57 (2008) |
| 4 |  | Pieter Collins,
Daniel S. Graça:
Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach.
Electr. Notes Theor. Comput. Sci. 221: 103-114 (2008) |
| 2007 |
| 3 |  | Olivier Bournez,
Manuel Lameiras Campagnolo,
Daniel S. Graça,
Emmanuel Hainry:
Polynomial differential equations compute all real computable functions on computable compact intervals.
J. Complexity 23(3): 317-335 (2007) |
| 2006 |
| 2 |  | Olivier Bournez,
Manuel Lameiras Campagnolo,
Daniel S. Graça,
Emmanuel Hainry:
The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation.
TAMC 2006: 631-643 |
| 2005 |
| 1 |  | Daniel S. Graça,
Manuel Lameiras Campagnolo,
Jorge Buescu:
Robust Simulations of Turing Machines with Analytic Maps and Flows.
CiE 2005: 169-179 |