Local stability of ergodic averages. Transactions of the, pp.261-288, 2010. ,
Ergodic-Type Characterizations of Algorithmic Randomness, CiE, pp.49-58, 2010. ,
DOI : 10.1007/978-3-642-13962-8_6
Von Neumann's Biased Coin Revisited, 2012 27th Annual IEEE Symposium on Logic in Computer Science, pp.145-154 ,
DOI : 10.1109/LICS.2012.26
URL : https://hal.archives-ouvertes.fr/hal-01397207
Randomness and non-ergodic systems, 2012. ,
Computable exchangeable sequences have computable de Finetti measures, Lecture Notes in Computer Science, vol.5635, issue.8, pp.218-231, 2009. ,
Uniform test of algorithmic randomness over a general space, Theoretical Computer Science, vol.341, issue.1-3, pp.91-137, 2005. ,
DOI : 10.1016/j.tcs.2005.03.054
Lecture notes on descriptional complexity and randomness, p.9, 2008. ,
Randomness on Computable Probability Spaces???A??Dynamical Point of View, STACS, LIPIcs Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.469-480, 2009. ,
DOI : 10.1007/s00224-010-9263-x
Random elements in effective topological spaces with measure. Information and Computation, pp.32-56, 2003. ,
Randomness and the Ergodic Decomposition, CiE, pp.122-131, 2011. ,
DOI : 10.1007/978-3-642-56999-9
URL : https://hal.archives-ouvertes.fr/inria-00586736
Computability of probability measures and Martin-L??f randomness over metric spaces, Information and Computation, vol.207, issue.7, pp.830-847, 2009. ,
DOI : 10.1016/j.ic.2008.12.009
On the notion of a random sequence, Soviet Mathematics Doklady, vol.14, issue.4, pp.1413-1416, 1973. ,
The definition of random sequences, Information and Control, vol.9, issue.6, pp.602-619, 1966. ,
DOI : 10.1016/S0019-9958(66)80018-9
On the category of ergodic measures, Ill. J. Math, vol.5, issue.6, pp.648-656, 1961. ,
Lectures on Choquet's Theorem, 2001. ,
DOI : 10.1007/b76887
Effective convergence in probability and an ergodic theorem for individual random sequences. SIAM Theory of Probability and Its Applications, pp.39-50, 1997. ,
Computable Analysis, 2000. ,