Mathieu Hoyrup

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 21

Top Topics

Top Venues

Theory Comput. Syst.

Publications

Djamel Eddine Amir, Mathieu Hoyrup
Strong computable type. Comput. 12 (3) (2023)
Mathieu Hoyrup
Notes on overt choice. Comput. 12 (4) (2023)
Djamel Eddine Amir, Mathieu Hoyrup
Computability of Finite Simplicial Complexes. ICALP (2022)
Mathieu Hoyrup
The fixed-point property for represented spaces. Ann. Pure Appl. Log. 173 (5) (2022)
Daniel Coronel, Alexander Frank, Mathieu Hoyrup, Cristobal Rojas
Realizing semicomputable simplices by computable dynamical systems. Theor. Comput. Sci. 933 (2022)
Mathieu Hoyrup, Arno Pauly, Victor L. Selivanov, Mariya Ivanova Soskova
Descriptive Set Theory and Computable Topology (Dagstuhl Seminar 21461). Dagstuhl Reports 11 (10) (2021)
Mathieu Hoyrup, Takayuki Kihara, Victor L. Selivanov
Degrees of Non-computability of Homeomorphism Types of Polish Spaces. CiE (2020)
Mathieu Hoyrup
Descriptive Complexity on Non-Polish Spaces II. ICALP (2020)
Antonin Callard, Mathieu Hoyrup
Descriptive Complexity on Non-Polish Spaces. STACS (2020)
Mathieu Hoyrup, Cristobal Rojas, Victor L. Selivanov, Donald M. Stull
Computability on Quasi-Polish Spaces. DCFS (2019)
Mathieu Hoyrup, Donald M. Stull
Semicomputable Points in Euclidean Spaces. MFCS (2019)
Mathieu Hoyrup
Topological Analysis of Representations. CiE (2018)
Mathieu Hoyrup, Diego Nava Saucedo, Don M. Stull
Semicomputable Geometry. ICALP (2018)
Mathieu Hoyrup
Genericity of Weakly Computable Objects. Theory Comput. Syst. 60 (3) (2017)
Mathieu Hoyrup, Walid Gomaa
On the extension of computable real functions. LICS (2017)
Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen
Layerwise Computability and Image Randomness. Theory Comput. Syst. 61 (4) (2017)
Mathieu Hoyrup, Cristobal Rojas
On the Information Carried by Programs About the Objects they Compute. Theory Comput. Syst. 61 (4) (2017)
Mathieu Hoyrup
Results in descriptive set theory on some represented spaces. CoRR (2017)
Mathieu Hoyrup
The Typical Constructible Object. CiE (2016)
Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen
Layerwise computability and image randomness. CoRR (2016)
Mathieu Hoyrup
The Decidable Properties of Subrecursive Functions. ICALP (2016)
Mathieu Hoyrup
A Rice-like theorem for primitive recursive functions. CoRR (2015)
Mathieu Hoyrup, Cristobal Rojas
On the Information Carried by Programs about the Objects They Compute. STACS (2015)
Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup
Immune Systems in Computer Virology. CiE (2015)
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
Characterizing polynomial time complexity of stream programs using interpretations. Theor. Comput. Sci. 585 (2015)
Hugo Férée, Walid Gomaa, Mathieu Hoyrup
Analytical properties of resource-bounded real functionals. J. Complex. 30 (5) (2014)
Mathieu Hoyrup
Irreversible computable functions. STACS (2014)
Mathieu Hoyrup, Cristobal Rojas
On the information carried by programs about the objects they compute. CoRR (2014)
Hugo Férée, Mathieu Hoyrup, Walid Gomaa
On the Query Complexity of Real Functionals. LICS (2013)
Mathieu Hoyrup
Computability of the ergodic decomposition. Ann. Pure Appl. Log. 164 (5) (2013)
Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch
Computability of the Radon-Nikodym Derivative. Comput. 1 (1) (2012)
Laurent Bienvenu, Adam R. Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points. Inf. Comput. 210 (2012)
Mathieu Hoyrup
The dimension of ergodic random sequences. STACS (2012)
Mathieu Hoyrup
The dimension of ergodic random sequences CoRR (2011)
Laurent Bienvenu, Péter Gács, Mathieu Hoyrup, Cristobal Rojas, Alexander Shen
Algorithmic tests and randomness with respect to a class of measures CoRR (2011)
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
Dynamical systems, simulation, abstract computation CoRR (2011)
Mathieu Hoyrup
Randomness and the Ergodic Decomposition. CiE (2011)
Péter Gács, Mathieu Hoyrup, Cristobal Rojas
Randomness on Computable Probability Spaces - A Dynamical Point of View. Theory Comput. Syst. 48 (3) (2011)
Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch
Computability of the Radon-Nikodym Derivative. CiE (2011)
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity. ISAAC (1) (2010)
Laurent Bienvenu, Adam R. Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points CoRR (2010)
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems CCA (2010)
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy. Inf. Comput. 208 (1) (2010)
Mathieu Hoyrup, Cristobal Rojas
Computability of probability measures and Martin-Löf randomness over metric spaces. Inf. Comput. 207 (7) (2009)
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties. Theor. Comput. Sci. 410 (21-23) (2009)
Mathieu Hoyrup, Cristobal Rojas
Applications of Effective Probability Theory to Martin-Löf Randomness. ICALP (1) (2009)
Mathieu Hoyrup, Cristobal Rojas
An Application of Martin-Löf Randomness to Effective Probability Theory. CiE (2009)
Péter Gács, Mathieu Hoyrup, Cristobal Rojas
Randomness on Computable Probability Spaces - A Dynamical Point of View. STACS (2009)
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
Algorithmically random points in measure preserving systems, statistical behaviour, complexity and entropy CoRR (2008)
Mathieu Hoyrup, Arda Kolçak, Giuseppe Longo
Computability and the morphological complexity of some dynamics on continuous domains. Theor. Comput. Sci. 398 (1-3) (2008)
Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
An effective Borel-Cantelli Lemma. Constructing orbits with required statistical properties CoRR (2007)
Mathieu Hoyrup
Dynamical systems: stability and simulability. Math. Struct. Comput. Sci. 17 (2) (2007)
Mathieu Hoyrup, Cristobal Rojas
Computability of probability measures and Martin-Lof randomness over metric spaces CoRR (2007)
Olivier Bournez, Mathieu Hoyrup
Rewriting Logic and Probabilities. RTA (2003)