| 2008 |
|---|
| 5 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Daniel S. Graça,
Manuel Lameiras Campagnolo,
Jorge Buescu:
Robust Simulations of Turing Machines with Analytic Maps and Flows.
CiE 2005: 169-179 |
