dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Emmanuel Hainry Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Walid Gomaa, Emmanuel Hainry: Algebraic Characterizations of Complexity-Theoretic Classes of Real Functions. IJUC 7(5): 331-351 (2011)
2010
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux: Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity. ISAAC (1) 2010: 291-303
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Daniel S. Graça, Emmanuel Hainry: Robust Computations with Dynamical Systems. MFCS 2010: 198-208
2008
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Hainry: Reachability in Linear Dynamical Systems. CiE 2008: 241-250
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Hainry: Computing Omega-Limit Sets in Linear Dynamical Systems. UC 2008: 83-95
2007
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Emmanuel Hainry: On the Computational Capabilities of Several Models. MCU 2007: 12-23
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Emmanuel Hainry: Recursive Analysis Characterized as a Class of Real Recursive Functions. Fundam. Inform. 74(4): 409-433 (2006)
2005
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Emmanuel Hainry: An Analog Characterization of Elementarily Computable Functions over the Real Numbers. ICALP 2004: 269-280
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Bournez, Emmanuel Hainry: Real Recursive Functions and Real Extensions of Recursive Functions. MCU 2004: 116-127

Coauthor Index

1Olivier Bournez [1] [2] [3] [4] [5] [6] [7] [10] [12]
2Manuel Lameiras Campagnolo [5] [6]
3Hugo Férée [11]
4Walid Gomaa [12]
5Daniel S. Graça [5] [6] [10]
6Mathieu Hoyrup [11]
7Romain Péchoux [11]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page