Accéder directement au contenu

Emmanuel Hainry

14
Documents
Affiliations actuelles
  • 529408
  • 413289
  • 206040
Identifiants chercheurs

Publications

olivierbournez
Image document

Robust computations with dynamical systems

Olivier Bournez , Daniel Graça , Emmanuel Hainry
35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. pp.198-208, ⟨10.1007/978-3-642-15155-2_19⟩
Communication dans un congrès inria-00522029v1
Image document

Implicit complexity in recursive analysis

Olivier Bournez , Walid Gomaa , Emmanuel Hainry
Tenth International Workshop on Logic and Computational Complexity - LCC'09, Aug 2009, Los Angeles, United States
Communication dans un congrès inria-00429964v1

On the Computational Capabilities of Several Models

Olivier Bournez , Emmanuel Hainry
5th International Conference on Machines, Computations and Universality - MCU 2007, Sep 2007, Orléans, France. pp.12-23
Communication dans un congrès inria-00182738v1

The General Purpose Analog Computer and Computable Analysis are Two Equivalent Paradigms of Analog Computation

Olivier Bournez , Manuel Lameiras Campagnolo , Daniel S. Graça , Emmanuel Hainry
3rd International Conference on Theory and Applications of Models of Computation - TAMC'2006, 2006, Pekin/Chine
Communication dans un congrès inria-00102946v1

Real Recursive Functions and Real Extensions of Recursive Functions

Olivier Bournez , Emmanuel Hainry
Machines and Universal Computations - MCU'2004, 2004, Saint-Petersburg, Russia, 12 p
Communication dans un congrès inria-00100053v1

An analog Characterization of Elementarily Computable Functions Over the Real Numbers

Olivier Bournez , Emmanuel Hainry
2nd APPSEM II Workshop - APPSEM'2004, 2004, Tallinn, Estonia, 12 p
Communication dans un congrès inria-00099897v1

An analog Characterization of Elementarily Computable Functions Over the Real Numbers

Olivier Bournez , Emmanuel Hainry
31st International Colloqiuim on Automata, Languages and Programming - ICALP'2004, 2004, Turku, Finland, pp.269-280
Communication dans un congrès inria-00100054v1