| 2008 |
|---|
| 14 | EE | Manuel Lameiras Campagnolo,
Kerry Ojakian:
The elementary computable functions over the real numbers: applying two new techniques.
Arch. Math. Log. 46(7-8): 593-627 (2008) |
| 13 | 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) |
| 12 | EE | Manuel Lameiras Campagnolo,
Kerry Ojakian:
Characterizing Computable Analysis with Differential Equations.
Electr. Notes Theor. Comput. Sci. 221: 23-35 (2008) |
| 2007 |
|---|
| 11 | EE | Manuel Lameiras Campagnolo,
Kerry Ojakian:
Using Approximation to Relate Computational Classes over the Reals.
MCU 2007: 39-61 |
| 10 | EE | Manuel Lameiras Campagnolo,
Kerry Ojakian:
The Methods of Approximation and Lifting in Real Computation.
Electr. Notes Theor. Comput. Sci. 167: 387-423 (2007) |
| 9 | 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 |
|---|
| 8 | 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 |
|---|
| 7 | EE | Daniel S. Graça,
Manuel Lameiras Campagnolo,
Jorge Buescu:
Robust Simulations of Turing Machines with Analytic Maps and Flows.
CiE 2005: 169-179 |
| 2004 |
|---|
| 6 | EE | Manuel Lameiras Campagnolo:
Continuous-time computation with restricted integration capabilities.
Theor. Comput. Sci. 317(1-3): 147-165 (2004) |
| 2002 |
|---|
| 5 | EE | Manuel Lameiras Campagnolo:
The Complexity of Real Recursive Functions.
UMC 2002: 1-14 |
| 4 | EE | Manuel Lameiras Campagnolo,
Cristopher Moore,
José Félix Costa:
An Analog Characterization of the Grzegorczyk Hierarchy.
J. Complexity 18(4): 977-1000 (2002) |
| 2000 |
|---|
| 3 | | Manuel Lameiras Campagnolo,
Cristopher Moore:
Upper and Lower Bounds on Continuous-Time Computation.
UMC 2000: 135-153 |
| 2 | EE | Manuel Lameiras Campagnolo,
Cristopher Moore,
José Félix Costa:
Iteration, Inequalities, and Differentiability in Analog Computers.
J. Complexity 16(4): 642-660 (2000) |
| 1995 |
|---|
| 1 | | Manuel Lameiras Campagnolo,
Helder Coelho,
Jorge H. Capelo:
Knowledge Based Clustering of Partially Characterized Objects.
SBIA 1995: 161-170 |
