 | 2009 |
|---|
| 11 |       | Mathieu Hoyrup,
Cristobal Rojas:
An Application of Martin-Löf Randomness to Effective Probability Theory.
CiE 2009: 260-269 |
| 10 | | Mathieu Hoyrup,
Cristobal Rojas:
Applications of Effective Probability Theory to Martin-Löf Randomness.
ICALP (1) 2009: 549-561 |
| 9 | | Péter Gács,
Mathieu Hoyrup,
Cristobal Rojas:
Randomness on Computable Probability Spaces - A Dynamical Point of View.
STACS 2009: 469-480 |
| 8 | | Mathieu Hoyrup,
Cristobal Rojas:
Computability of probability measures and Martin-Löf randomness over metric spaces.
Inf. Comput. 207(7): 830-847 (2009) |
| 7 | | Stefano Galatolo,
Mathieu Hoyrup,
Cristobal Rojas:
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties.
Theor. Comput. Sci. 410(21-23): 2207-2222 (2009) |
| 2008 |
|---|
| 6 | | Stefano Galatolo,
Mathieu Hoyrup,
Cristobal Rojas:
Algorithmically random points in measure preserving systems, statistical behaviour, complexity and entropy
CoRR abs/0801.0209: (2008) |
| 5 | | Mathieu Hoyrup,
Arda Kolçak,
Giuseppe Longo:
Computability and the morphological complexity of some dynamics on continuous domains.
Theor. Comput. Sci. 398(1-3): 170-182 (2008) |
| 2007 |
|---|
| 4 | | Mathieu Hoyrup,
Cristobal Rojas:
Computability of probability measures and Martin-Lof randomness over metric spaces
CoRR abs/0709.0907: (2007) |
| 3 | | Stefano Galatolo,
Mathieu Hoyrup,
Cristobal Rojas:
An effective Borel-Cantelli Lemma. Constructing orbits with required statistical properties
CoRR abs/0711.1478: (2007) |
| 2 | | Mathieu Hoyrup:
Dynamical systems: stability and simulability.
Mathematical Structures in Computer Science 17(2): 247-259 (2007) |
| 2003 |
|---|
| 1 | | Olivier Bournez,
Mathieu Hoyrup:
Rewriting Logic and Probabilities.
RTA 2003: 61-75 |
