, Gradient flows: In metric spaces and in the space of probability measures, Lectures in Mathematics ETH Zürich, 2005.
, Local stability of ergodic averages, Transactions of the, pp.261-288, 2010.
, Effective Randomness for Computable Probability Measures, Electronic Notes in Theoretical Computer Science, vol.167, pp.117-130, 2007.
DOI : 10.1016/j.entcs.2006.08.010
, Filled Julia Sets with Empty Interior Are Computable, Foundations of Computational Mathematics, vol.7, issue.4, pp.405-416, 2007.
DOI : 10.1007/s10208-005-0210-1
, On Computational Complexity of Siegel Julia Sets, Communications in Mathematical Physics, vol.264, issue.2, pp.317-334, 2006.
DOI : 10.1007/s00220-006-1546-3
, Pathologies generated by round-off in dynamical systems, Physica D: Nonlinear Phenomena, vol.78, issue.1-2, pp.93-114, 1994.
DOI : 10.1016/0167-2789(94)00103-0
, Small perturbations of chaotic dynamical systems, Russian Mathematical Surveys, vol.44, issue.6, pp.1-33, 1989.
DOI : 10.1070/RM1989v044n06ABEH002302
, Computability on subsets of metric spaces, Theoretical Computer Science, vol.305, issue.1-3, pp.43-76, 2003.
DOI : 10.1016/S0304-3975(02)00693-X
, Non-computable Julia sets, Journal of the American Mathematical Society, vol.19, issue.03, pp.551-578, 2006.
DOI : 10.1090/S0894-0347-05-00516-3
URL : http://arxiv.org/abs/math/0604371
, Entropy and the complexity of the trajectories of a dynamical system, Trans. Mosc. Math. Soc, pp.44-127, 1983.
, Statistical consequences of the Devroye inequality for processes. Applications to a class of non-uniformly hyperbolic dynamical systems, Nonlinearity, vol.18, issue.5, pp.18-2341, 2005.
DOI : 10.1088/0951-7715/18/5/024
, Computability and Representations of the Zero Set, Electronic Notes in Theoretical Computer Science, vol.221, pp.37-43, 2008.
DOI : 10.1016/j.entcs.2008.12.005
, A subdivision algorithm for the computation of unstable manifolds and global attractors, Numerische Mathematik, vol.75, issue.3, pp.75-293, 1997.
DOI : 10.1007/s002110050240
, On the Approximation of Complicated Dynamical Behavior, SIAM Journal on Numerical Analysis, vol.36, issue.2, pp.491-515, 1999.
DOI : 10.1137/S0036142996313002
, High order approximation of the Frobenius-Perron operator, Applied Mathematics and Computation, vol.53, issue.2-3, pp.151-171, 1993.
DOI : 10.1016/0096-3003(93)90099-Z
, The projection method for computing multidimensional absolutely continuous invariant measures, Journal of Statistical Physics, vol.17, issue.3, pp.899-908, 1994.
DOI : 10.1007/BF02179467
, Lectures notes on descriptional complexity and randomness, pp.1-67, 1993.
, Orbit complexity by computable structures, Nonlinearity, vol.13, issue.5, pp.13-1531, 2000.
DOI : 10.1088/0951-7715/13/5/307
, Randomness on Computable Probability Spaces???A??Dynamical Point of View, 26 th International Symposium on Theoretical Aspects of Computer Science, pp.469-480
DOI : 10.1007/s00224-010-9263-x
, A constructive Borel???Cantelli lemma. Constructing orbits with required statistical properties, Theoretical Computer Science, vol.410, issue.21-23, pp.410-2207, 2009.
DOI : 10.1016/j.tcs.2009.02.010
, Effective symbolic dynamics, random points, statistical behavior, complexity and entropy, Information and Computation, vol.208, issue.1, pp.23-41, 2010.
DOI : 10.1016/j.ic.2009.05.001
URL : https://hal.archives-ouvertes.fr/inria-00517382
, Lorenz-like flows: exponential decay of correlations for the Poincar?? map, logarithm law, quantitative recurrence, Ergodic Theory and Dynamical Systems, vol.2, issue.06
DOI : 10.2307/2372774
, Is the Mandelbrot set computable?, MLQ, vol.197, issue.1, pp.5-18, 2005.
DOI : 10.1002/malq.200310124
, 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
, Estimating invariant measures and Lyapunov exponents, preprint, 1995.
DOI : 10.1017/s014338570000907x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.330.4466
, On systems with finite ergodic degree, Far East Journal of Dynamical Systems, vol.5, pp.1-62, 2003.
, Computing invariant measures for expanding circle maps, Nonlinearity, vol.11, issue.1, pp.11-27, 1998.
DOI : 10.1088/0951-7715/11/1/004
, General random perturbations of hyperbolic and expanding transformations, Journal d'Analyse Math??matique, vol.27, issue.1, pp.111-150, 1986.
DOI : 10.1007/BF02792535
, Rigorous numerical investigation of the statistical properties of piecewise expanding maps. A feasibility study, Nonlinearity, vol.14, issue.3, pp.14-463, 2001.
DOI : 10.1088/0951-7715/14/3/303
, Shadowing in Dynamical Systems?Theory and Applications Mathematics and its Applications, 2000.
, Computing Invariant Densities and Metric Entropy, Communications in Mathematical Physics, vol.211, issue.3, pp.687-703, 2000.
DOI : 10.1007/s002200050832
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.4375
, Theory of Recursive Functions and Effective Computability, 1987.
, Subsystems of Second Order Arithmetic, Perspectives in Mathematical Logic, 1999.
, The Lorenz attractor exists, Comptes Rendus de l'Acad??mie des Sciences - Series I - Mathematics, vol.328, issue.12, pp.1197-1202, 1999.
DOI : 10.1016/S0764-4442(99)80439-X
, On computable numbers, with an application to the Entscheidungsproblem, Proc. Lond, pp.42-230, 1936.
, Stochastic Dynamics of Deterministic Systems, Brazillian Math, 1997.
, What are SRB measures, and which dynamical systems have them?, Journal of Statistical Physics, vol.108, issue.5/6, pp.733-754, 2002.
DOI : 10.1023/A:1019762724717
, A Simple Introduction to Computable Analysis, 1717.
, Computable Analysis. An Introduction, 2000.
DOI : 10.1007/978-3-642-56999-9