2008 |
9 | EE | Emmanuel Hainry:
Reachability in Linear Dynamical Systems.
CiE 2008: 241-250 |
8 | EE | Emmanuel Hainry:
Computing Omega-Limit Sets in Linear Dynamical Systems.
UC 2008: 83-95 |
2007 |
7 | EE | Olivier Bournez,
Emmanuel Hainry:
On the Computational Capabilities of Several Models.
MCU 2007: 12-23 |
6 | 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 |
5 | 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 |
4 | EE | Olivier Bournez,
Emmanuel Hainry:
Recursive Analysis Characterized as a Class of Real Recursive Functions.
Fundam. Inform. 74(4): 409-433 (2006) |
2005 |
3 | EE | Olivier Bournez,
Emmanuel Hainry:
Elementarily computable functions over the real numbers and R-sub-recursive functions.
Theor. Comput. Sci. 348(2-3): 130-147 (2005) |
2004 |
2 | EE | Olivier Bournez,
Emmanuel Hainry:
An Analog Characterization of Elementarily Computable Functions over the Real Numbers.
ICALP 2004: 269-280 |
1 | EE | Olivier Bournez,
Emmanuel Hainry:
Real Recursive Functions and Real Extensions of Recursive Functions.
MCU 2004: 116-127 |