Mathieu Grenier < Mathieu Hoyrup < Mathieu Jaume

Facettes : AffPays.f AffRegion.f AffOrg.f Author.f

List of bibliographic references

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]

Ident.	Authors (with country if any)	Title
000437 (2015-03-12)	Mathieu Hoyrup [France]	A Rice-like theorem for primitive recursive functions
000632 (2012)	Laurent Bienvenu [France] ; Adam Day [États-Unis] ; Mathieu Hoyrup [France] ; Ilya Mezhirov [Allemagne] ; Alexander Shen [France]	A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points
000C05 (2011-11-25)	Laurent Bienvenu [France] ; Peter Gacs [États-Unis] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] ; Alexander Shen [France]	Algorithmic tests and randomness with respect to a class of measures
000C51 (2009-07-19)	Mathieu Hoyrup [France] ; Cristobal Rojas [France]	An Application of Martin-Löf Randomness to Effective Probability Theory
000E78 (2014-10-01)	Hugo Férée [France] ; Walid Gomaa [Égypte] ; Mathieu Hoyrup [France]	Analytical properties of resource-bounded real functionals
000F33 (2009-07-05)	Mathieu Hoyrup [France] ; Cristobal Rojas [France]	Applications of Effective Probability Theory to Martin-Löf Randomness
001456 (2015-01-01)	Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]	Characterizing polynomial time complexity of stream programs using interpretations
001730 (2012-01-01)	Mathieu Hoyrup [France] ; Cristobal Rojas [Chili] ; Klaus Weihrauch [Allemagne]	Computability of the Radon-Nikodym derivative.
001731 (2011-06-27)	Mathieu Hoyrup [France] ; Cristobal Rojas [Canada] ; Klaus Weihrauch [Allemagne]	Computability of the Radon-Nikodym derivative
001733 (2013-05-01)	Mathieu Hoyrup [France]	Computability of the ergodic decomposition
001797 (2010-06-21)	Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]	Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
001D95 (2011-01)	Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]	Dynamics and abstract computability: computing invariant measures
001E49 (2010)	Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]	Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
002601 (2014-12-16)	Mathieu Hoyrup [France]	Genericity of weakly computable objects
002802 (2013-07-08)	Hugo Férée [France] ; Mathieu Hoyrup [France]	Higher-order complexity in analysis
002945 (2015-06-29)	Guillaume Bonfante [France] ; Mohamed El-Aqqad [France] ; Benjamin Greenbaum [États-Unis] ; Mathieu Hoyrup [France]	Immune Systems in Computer Virology
002C39 (2010-12-15)	Hugo Férée [France] ; Emmanuel Hainry [France] ; Mathieu Hoyrup [France] ; Romain Péchoux [France]	Interpretation of stream programs: characterizing type 2 polynomial time complexity
003839 (2015-03-04)	Mathieu Hoyrup [France] ; Cristobal Rojas [Chili]	On the information carried by programs about the objects they compute
003841 (2012-09-26)	Mathieu Hoyrup [France]	On the inversion of computable functions
003856 (2013-06-25)	Hugo Férée [France] ; Mathieu Hoyrup [France] ; Walid Gomaa [Égypte]	On the query complexity of real functionals
003F41 (2011-06-27)	Mathieu Hoyrup [France]	Randomness and the ergodic decomposition

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Mathieu Hoyrup" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Mathieu Hoyrup" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Mathieu Hoyrup
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022