 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00100053v1
Communication dans un congrès
Olivier Bournez, Emmanuel Hainry. Real Recursive Functions and Real Extensions of Recursive Functions Machines and Universal Computations - MCU'2004, 2004, Saint-Petersburg, Russia, 12 p, 2004 |
||
|
inria-00100054v1
Communication dans un congrès
Olivier Bournez, Emmanuel Hainry. An analog Characterization of Elementarily Computable Functions Over the Real Numbers Diaz, Josep and Karhumäki, Juhani and Lepisto, Arto and Sannella, Donald Theodore. 31st International Colloqiuim on Automata, Languages and Programming - ICALP'2004, 2004, Turku, Finland, Springer, 3142, pp.269-280, 2004, Lecture Notes in Computer Science |
||
|
inria-00099897v1
Communication dans un congrès
Olivier Bournez, Emmanuel Hainry. An analog Characterization of Elementarily Computable Functions Over the Real Numbers 2nd APPSEM II Workshop - APPSEM'2004, 2004, Tallinn, Estonia, 12 p, 2004 |
||
|
inria-00107812v1
Rapport
Olivier Bournez, Emmanuel Hainry. Elementarily Computable Functions Over the Real Numbers and $\mathbb{R}$-Sub-Recursive Functions [Intern report] A04-R-301 || bournez04f, 2004, 22 p |
||
|
hal-00643634v2
Article dans une revue
Olivier Bournez, Daniel Graça, Emmanuel Hainry. Computation with perturbed dynamical systems Journal of Computer and System Sciences, Elsevier, 2013, 79 (5), pp.714-724. <10.1016/j.jcss.2013.01.025> |
||
|
inria-00522029v1
Communication dans un congrès
Olivier Bournez, Daniel Graça, Emmanuel Hainry. Robust computations with dynamical systems Petr Hlineny and Antonin Kucera. 35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. Springer-Verlag, 6281, pp.198-208, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15155-2_19> |
||
|
inria-00429965v1
Rapport
Emmanuel Hainry. Decidability and Undecidability in Dynamical Systems [Research Report] 2009, pp.27 |
||
|
inria-00202674v2
Communication dans un congrès
Emmanuel Hainry. Reachability in linear dynamical systems Beckmann, Arnold and Dimitracopoulos, Costas and Lwe, Benedikt. Computability in Europe, Jun 2008, Athènes, Greece. Springer, 5028, pp.241-250, 2008, Lecture Notes in Computer Sciences; Logic and Theory of Algorithms. <10.1007/978-3-540-69407-6_28> |
||
|
tel-00142675v1
Thèse
Emmanuel Hainry. Modèles de calcul sur les réels, résultats de comparaison Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006. Français |
||
|
inria-00250111v3
Communication dans un congrès
Emmanuel Hainry. Computing omega-limit Sets in Linear Dynamical Systems Calude, Cristian S. and Costa, José Félix and Freund, Rudolf and Oswald, Marion and Rozenberg, Grzegorz. Unconventional Computation, Aug 2008, Vienne, Austria. Springer, 5204, pp.83--95, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-85194-3_9> |
||
|
inria-00099502v1
Rapport
Emmanuel Hainry. Fonctions réelles calculables et fonctions R-récursives [Stage] A03-R-347 || hainry03a, 2003, 30 p |
||
|
|
||