 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00099620v1
Communication dans un congrès
Olivier Bournez, Mathieu Hoyrup. Rewriting Logic and Probabilities Robert Nieuwenhuis. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, Springer, 2706, pp.61-75, 2003, Lecture Notes in Computer Science |
||
|
inria-00517367v1
Article dans une revue
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas. Dynamics and abstract computability: computing invariant measures Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2011, 29 (1), pp.193-212. <10.3934/dcds.2011.29.193> |
||
|
inria-00100886v1
Rapport
Mathieu Hoyrup. Réécriture en présence de choix probabilistes [Stage] A02-R-424 || hoyrup02a, 2002 |
||
|
hal-00425560v2
Communication dans un congrès
Mathieu Hoyrup, Cristobal Rojas. Applications of Effective Probability Theory to Martin-Löf Randomness Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas and Wolfgang Thomas. 36th International Colloquium on Automata, Languages and Programming - ICALP 2009, Jul 2009, Rhodes, Greece. Springer Berlin / Heidelberg, 5555, pp.549-561, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-02927-1> |
||
|
hal-00425556v1
Communication dans un congrès
Mathieu Hoyrup, Cristobal Rojas. An Application of Martin-Löf Randomness to Effective Probability Theory Klaus Ambos-Spies and Benedikt Löwe and Wolfgang Merkle. 5th Conference on Computability in Europe - CiE 2009, Jul 2009, Heidelberg, Germany. Springer Berlin / Heidelberg, 5635, pp.260-269, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-03073-4> |
||
|
inria-00586736v1
Communication dans un congrès
Mathieu Hoyrup. Randomness and the ergodic decomposition Computability in Europe, Jun 2011, Sofia, Bulgaria. 6735, pp.122-131, 2011, Lecture Notes in Computer Science |
||
|
inria-00517372v1
Communication dans un congrès
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas. Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems Xizhong Zheng and Ning Zhong. Computability and Complexity in Analysis (CCA), Jun 2010, Zhenjiang, China. 24, pp.7-18, 2010, Electronic Proceedings in Theoretical Computer Science; Proceedings Seventh International Conference on Computability and Complexity in Analysis. <http://arxiv.org/abs/1006.0392v1>. <10.4204/EPTCS.24.6> |
||
|
hal-00726044v1
Article dans une revue
Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch. Computability of the Radon-Nikodym derivative. Computability, IOS Press, 2012, 1 (1), pp.3-13. <http://iospress.metapress.com/content/966432503uw60884/>. <10.3233/COM-2012-005> |
||
|
hal-00735681v2
Rapport
Mathieu Hoyrup. On the inversion of computable functions [Research Report] 2012 |
||
|
hal-00746473v1
Article dans une revue
Mathieu Hoyrup. Computability of the ergodic decomposition Annals of Pure and Applied Logic, Elsevier Masson, 2013, 164 (5), pp.542-549. <http://www.sciencedirect.com/science/article/pii/S0168007212001868>. <10.1016/j.apal.2012.11.005> |
||
|
inria-00531640v1
Article dans une revue
Peter Gacs, Mathieu Hoyrup, Cristobal Rojas. Randomness on Computable Probability Spaces—A Dynamical Point of View Theory of Computing Systems, Springer Verlag, 2011, 48 (3), pp.465--485. <http://www.springerlink.com/content/3q774874623m0nm6/>. <10.1007/s00224-010-9263-x> |
||
|
|
||