| Computability of probability measures and Martin-Löf randomness over metric spaces M Hoyrup, C Rojas Information and Computation 207 (7), 830-847, 2009 | 188 | 2009 |
| Randomness on computable probability spaces—a dynamical point of view P Gács, M Hoyrup, C Rojas Theory of Computing Systems 48 (3), 465-485, 2011 | 92 | 2011 |
| Effective symbolic dynamics, random points, statistical behavior, complexity and entropy S Galatolo, M Hoyrup, C Rojas Information and Computation 208 (1), 23-41, 2010 | 73 | 2010 |
| Dynamics and abstract computability: computing invariant measures S Galatolo, M Hoyrup, C Rojas arXiv preprint arXiv:0903.2385, 2009 | 57 | 2009 |
| An application of Martin-Löf randomness to effective probability theory M Hoyrup, C Rojas Mathematical Theory and Computational Practice: 5th Conference on …, 2009 | 55 | 2009 |
| A constructive version of Birkhoffʼs ergodic theorem for Martin-Löf random points L Bienvenu, AR Day, M Hoyrup, I Mezhirov, A Shen Information and Computation 210, 21-30, 2012 | 50 | 2012 |
| Applications of effective probability theory to Martin-Löf randomness M Hoyrup, C Rojas International colloquium on automata, languages, and programming, 549-561, 2009 | 49 | 2009 |
| Algorithmic tests and randomness with respect to a class of measures L Bienvenu, P Gács, M Hoyrup, C Rojas, A Shen Proceedings of the Steklov Institute of Mathematics 274, 34-89, 2011 | 48 | 2011 |
| A constructive Borel–Cantelli lemma. Constructing orbits with required statistical properties S Galatolo, M Hoyrup, C Rojas Theoretical Computer Science 410 (21-23), 2207-2222, 2009 | 44 | 2009 |
| Rewriting logic and probabilities O Bournez, M Hoyrup Rewriting Techniques and Applications: 14th International Conference, RTA …, 2003 | 40 | 2003 |
| Computability on quasi-Polish spaces M Hoyrup, C Rojas, V Selivanov, DM Stull Descriptional Complexity of Formal Systems: 21st IFIP WG 1.02 International …, 2019 | 27 | 2019 |
| Computability of the ergodic decomposition M Hoyrup Annals of Pure and Applied Logic 164 (5), 542-549, 2013 | 27 | 2013 |
| Computability of the Radon-Nikodym derivative M Hoyrup, C Rojas, K Weihrauch Computability 1 (1), 3-13, 2012 | 25 | 2012 |
| Degree spectra of homeomorphism types of Polish spaces M Hoyrup, T Kihara, V Selivanov Preprint, 2020 | 24 | 2020 |
| The dimension of ergodic random sequences M Hoyrup arXiv preprint arXiv:1107.1149, 2011 | 24 | 2011 |
| Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems S Galatolo, M Hoyrup, C Rojas arXiv preprint arXiv:1006.0392, 2010 | 23 | 2010 |
| Statistical properties of dynamical systems–simulation and abstract computation S Galatolo, M Hoyrup, C Rojas Chaos, Solitons & Fractals 45 (1), 1-14, 2012 | 21 | 2012 |
| Descriptive complexity on non-Polish spaces A Callard, M Hoyrup STACS 2020-37th Symposium on Theoretical Aspects of Computer Science 154, 16, 2020 | 19 | 2020 |
| Computability of the Radon-Nikodym derivative M Hoyrup, C Rojas, K Weihrauch Conference on Computability in Europe, 132-141, 2011 | 19 | 2011 |
| Dynamical systems: stability and simulability M Hoyrup Mathematical Structures in Computer Science 17 (2), 247-259, 2007 | 17 | 2007 |
