2023
- titre
- Descriptive complexity of topological invariants
- auteur
- Djamel Eddine Amir, Mathieu Hoyrup
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Strong computable type
- auteur
- Djamel Eddine Amir, Mathieu Hoyrup
- article
- Computability, 2023, 12 (3), pp.227-269. ⟨10.3233/COM-220430⟩
- Accès au texte intégral et bibtex
-
- titre
- Notes on overt choice
- auteur
- Mathieu Hoyrup
- article
- Computability, 2023, pp.1-19. ⟨10.3233/COM-230458⟩
- Accès au texte intégral et bibtex
-
- titre
- Topological Aspects of Representations in Computable Analysis
- auteur
- Mathieu Hoyrup
- article
- Computer Science [cs]. Université de Lorraine, 2023
- Accès au texte intégral et bibtex
-
- titre
- The surjection property and computable type
- auteur
- Djamel Eddine Amir, Mathieu Hoyrup
- article
- 2023
- Accès au texte intégral et bibtex
-
- titre
- Comparing computability in two topologies
- auteur
- Djamel Eddine Amir, Mathieu Hoyrup
- article
- The Journal of Symbolic Logic, 2023, pp.1-19. ⟨10.1017/jsl.2023.17⟩
- Accès au texte intégral et bibtex
-
- titre
- Degree Spectra of Homeomorphism Types of Compact Polish Spaces
- auteur
- Mathieu Hoyrup, Takayuki Kihara, Victor Selivanov
- article
- The Journal of Symbolic Logic, In press, pp.1-32. ⟨10.1017/jsl.2023.93⟩
- Accès au texte intégral et bibtex
-
2022
- titre
- Realizing semicomputable simplices by computable dynamical systems
- auteur
- Daniel Coronel, Alexander Frank, Mathieu Hoyrup, Cristóbal Rojas
- article
- Theoretical Computer Science, 2022, 933, pp.43-54. ⟨10.1016/j.tcs.2022.09.001⟩
- Accès au texte intégral et bibtex
-
- titre
- Computability of finite simplicial complexes
- auteur
- Djamel Eddine Amir, Mathieu Hoyrup
- article
- ICALP, Jul 2022, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- The fixed-point property for represented spaces
- auteur
- Mathieu Hoyrup
- article
- Annals of Pure and Applied Logic, 2022, 173 (5), ⟨10.1016/j.apal.2022.103090⟩
- Accès au texte intégral et bibtex
-
2021
- titre
- Computable Measure Theory and Algorithmic Randomness
- auteur
- Mathieu Hoyrup, Jason Rute
- article
- Handbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩
- Accès au texte intégral et bibtex
-
2020
- titre
- Descriptive complexity on non-Polish spaces II
- auteur
- Mathieu Hoyrup
- article
- ICALP, Jul 2020, Saarbrücken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.132⟩
- Accès au texte intégral et bibtex
-
- titre
- Algorithmic randomness and layerwise computability
- auteur
- Mathieu Hoyrup
- article
- Johanna N. Y. Franklin; Christopher P. Porter. Algorithmic Randomness -- Progress and Prospects, Cambridge University Press, pp.17, 2020, ⟨10.1017/9781108781718⟩
- Accès au texte intégral et bibtex
-
- titre
- Descriptive complexity on non-Polish spaces
- auteur
- Antonin Callard, Mathieu Hoyrup
- article
- STACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
- Accès au texte intégral et bibtex
-
2019
- titre
- Semicomputable points in Euclidean spaces
- auteur
- Mathieu Hoyrup, Donald M Stull
- article
- MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.63⟩
- Accès au texte intégral et bibtex
-
- titre
- Computability on quasi-Polish spaces
- auteur
- Mathieu Hoyrup, Cristóbal Rojas, Victor Selivanov, Donald M Stull
- article
- DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
- Accès au texte intégral et bibtex
-
2018
- titre
- Topological analysis of representations
- auteur
- Mathieu Hoyrup
- article
- CiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany
- Accès au texte intégral et bibtex
-
- titre
- Semicomputable geometry
- auteur
- Mathieu Hoyrup, Diego Nava Saucedo, Donald M Stull
- article
- ICALP 2018 - 45th International Colloquium on Automata, Languages, and Programming, Jul 2018, Prague, Czech Republic
- Accès au texte intégral et bibtex
-
- titre
- Results in descriptive set theory on some represented spaces
- auteur
- Mathieu Hoyrup
- article
- 2018
- Accès au texte intégral et bibtex
-
2017
- titre
- On the Information Carried by Programs About the Objects they Compute
- auteur
- Mathieu Hoyrup, Cristóbal Rojas
- article
- Theory of Computing Systems, 2017, ⟨10.1007/s00224-016-9726-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Layerwise Computability and Image Randomness
- auteur
- Laurent Bienvenu, Mathieu Hoyrup, Alexander Shen
- article
- Theory of Computing Systems, 2017, 61 (4), pp.1353-1375. ⟨10.1007/s00224-017-9791-8⟩
- Accès au texte intégral et bibtex
-
- titre
- On the extension of computable real functions
- auteur
- Mathieu Hoyrup, Walid Gomaa
- article
- Logic In Computer Science (LICS), Jun 2017, Reykjavik, Iceland
- Accès au texte intégral et bibtex
-
- titre
- Genericity of weakly computable objects
- auteur
- Mathieu Hoyrup
- article
- Theory of Computing Systems, 2017, Special Issue: Theoretical Aspects of Computer Science, 60 (3), ⟨10.1007/s00224-016-9737-6⟩
- Accès au texte intégral et bibtex
-
2016
- titre
- The decidable properties of subrecursive functions
- auteur
- Mathieu Hoyrup
- article
- International Colloquium on Automata, Languages, and Programming (ICALP) 2016, Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.108⟩
- Accès au texte intégral et bibtex
-
- titre
- The Typical Constructible Object
- auteur
- Mathieu Hoyrup
- article
- Computability In Europe, Jun 2016, Paris, France. pp.115 - 123, ⟨10.1007/978-3-319-40189-8_12⟩
- Accès au texte intégral et bibtex
-
2015
- titre
- Que calcule cet algorithme ?
- auteur
- Mathieu Hoyrup
- article
- 2015
- Accès au bibtex
-
- titre
- Immune Systems in Computer Virology
- auteur
- Guillaume Bonfante, Mohamed El-Aqqad, Benjamin Greenbaum, Mathieu Hoyrup
- article
- Computability in Europe 2015, Jun 2015, Bucharest, Romania. pp.10, ⟨10.1007/978-3-319-20028-6_13⟩
- Accès au bibtex
-
- titre
- A Rice-like theorem for primitive recursive functions
- auteur
- Mathieu Hoyrup
- article
- [Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); Loria. 2015
- Accès au texte intégral et bibtex
-
- titre
- On the information carried by programs about the objects they compute
- auteur
- Mathieu Hoyrup, Cristobal Rojas
- article
- STACS15, Mar 2015, Munich, Germany
- Accès au texte intégral et bibtex
-
- titre
- Characterizing polynomial time complexity of stream programs using interpretations
- auteur
- Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
- article
- Theoretical Computer Science, 2015, 585, pp.41-54. ⟨10.1016/j.tcs.2015.03.008⟩
- Accès au texte intégral et bibtex
-
2014
- titre
- Analytical properties of resource-bounded real functionals
- auteur
- Hugo Férée, Walid Gomaa, Mathieu Hoyrup
- article
- Journal of Complexity, 2014, 30 (5), pp.33. ⟨10.1016/j.jco.2014.02.008⟩
- Accès au texte intégral et bibtex
-
- titre
- Irreversible computable functions
- auteur
- Mathieu Hoyrup
- article
- STACS - 31st Symposium on Theoretical Aspects of Computer Science - 2014, Mar 2014, Lyon, France
- Accès au texte intégral et bibtex
-
2013
- titre
- Higher-order complexity in analysis
- auteur
- Hugo Férée, Mathieu Hoyrup
- article
- CCA - 10th International Conference on Computability and Complexity in Analysis - 2013, Jul 2013, Nancy, France
- Accès au texte intégral et bibtex
-
- titre
- On the query complexity of real functionals
- auteur
- Hugo Férée, Mathieu Hoyrup, Walid Gomaa
- article
- LICS - 28th ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.103-112, ⟨10.1109/LICS.2013.15⟩
- Accès au texte intégral et bibtex
-
- titre
- Computability of the ergodic decomposition
- auteur
- Mathieu Hoyrup
- article
- Annals of Pure and Applied Logic, 2013, 164 (5), pp.542-549. ⟨10.1016/j.apal.2012.11.005⟩
- Accès au texte intégral et bibtex
-
2012
- titre
- On the inversion of computable functions
- auteur
- Mathieu Hoyrup
- article
- [Research Report] 2012
- Accès au texte intégral et bibtex
-
- titre
- The dimension of ergodic random sequences
- auteur
- Mathieu Hoyrup
- article
- STACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.567-576
- Accès au texte intégral et bibtex
-
- titre
- Statistical properties of dynamical systems - simulation and abstract computation.
- auteur
- Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
- article
- Chaos, Solitons & Fractals, 2012, 45 (1), pp.1-14. ⟨10.1016/j.chaos.2011.09.011⟩
- Accès au texte intégral et bibtex
-
- titre
- Computability of the Radon-Nikodym derivative.
- auteur
- Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch
- article
- Computability, 2012, 1 (1), pp.3-13. ⟨10.3233/COM-2012-005⟩
- Accès au bibtex
-
- titre
- A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points
- auteur
- Laurent Bienvenu, Adam Day, Mathieu Hoyrup, Ilya Mezhirov, Alexander Shen
- article
- Information and Computation, 2012, 210, pp.021-030. ⟨10.1016/j.ic.2011.10.006⟩
- Accès au texte intégral et bibtex
-
2011
- titre
- Algorithmic tests and randomness with respect to a class of measures
- auteur
- Laurent Bienvenu, Peter Gacs, Mathieu Hoyrup, Cristobal Rojas, Alexander Shen
- article
- Proceedings of the Steklov Institute of Mathematics, 2011, 274 (1), pp.34-89. ⟨10.1134/S0081543811060058⟩
- Accès au texte intégral et bibtex
-
- titre
- Computability of the Radon-Nikodym derivative
- auteur
- Mathieu Hoyrup, Cristobal Rojas, Klaus Weihrauch
- article
- Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.132-141
- Accès au texte intégral et bibtex
-
- titre
- Randomness and the ergodic decomposition
- auteur
- Mathieu Hoyrup
- article
- Computability in Europe, Jun 2011, Sofia, Bulgaria. pp.122-131
- Accès au texte intégral et bibtex
-
- titre
- Dynamics and abstract computability: computing invariant measures
- auteur
- Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
- article
- Discrete and Continuous Dynamical Systems - Series A, 2011, 29 (1), pp.193-212. ⟨10.3934/dcds.2011.29.193⟩
- Accès au texte intégral et bibtex
-
- titre
- Randomness on Computable Probability Spaces—A Dynamical Point of View
- auteur
- Peter Gacs, Mathieu Hoyrup, Cristobal Rojas
- article
- Theory of Computing Systems, 2011, 48 (3), pp.465--485. ⟨10.1007/s00224-010-9263-x⟩
- Accès au texte intégral et bibtex
-
2010
- titre
- Interpretation of stream programs: characterizing type 2 polynomial time complexity
- auteur
- Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
- article
- 21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
- Accès au texte intégral et bibtex
-
- titre
- Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
- auteur
- Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
- article
- Computability and Complexity in Analysis (CCA), Jun 2010, Zhenjiang, China. pp.7-18, ⟨10.4204/EPTCS.24.6⟩
- Accès au texte intégral et bibtex
-
- titre
- Une brève introduction à la théorie effective de l'aléatoire
- auteur
- Laurent Bienvenu, Mathieu Hoyrup
- article
- Gazette des Mathématiciens, 2010, 123, pp.35-47
- Accès au texte intégral et bibtex
-
- titre
- Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
- auteur
- Stefano Galatolo, Mathieu Hoyrup, Cristobal Rojas
- article
- Information and Computation, 2010, 208 (1), pp.23-41. ⟨10.1016/j.ic.2009.05.001⟩
- Accès au texte intégral et bibtex
-
2009
- titre
- An Application of Martin-Löf Randomness to Effective Probability Theory
- auteur
- Mathieu Hoyrup, Cristobal Rojas
- article
- 5th Conference on Computability in Europe - CiE 2009, Jul 2009, Heidelberg, Germany. pp.260-269, ⟨10.1007/978-3-642-03073-4⟩
- Accès au texte intégral et bibtex
-
- titre
- Applications of Effective Probability Theory to Martin-Löf Randomness
- auteur
- Mathieu Hoyrup, Cristobal Rojas
- article
- 36th International Colloquium on Automata, Languages and Programming - ICALP 2009, Jul 2009, Rhodes, Greece. pp.549-561, ⟨10.1007/978-3-642-02927-1⟩
- Accès au texte intégral et bibtex
-
- titre
- Randomness on Computable Probability Spaces - A Dynamical Point of View
- auteur
- Peter Gacs, Mathieu Hoyrup, Cristobal Rojas
- article
- 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.469-480
- Accès au texte intégral et bibtex
-
2008
- titre
- Calculabilité, aléatoire et théorie ergodique sur les espaces métriques
- auteur
- Mathieu Hoyrup
- article
- Mathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
- titre
- Computability and the morphological complexity of some dynamics on continuous domains
- auteur
- Mathieu Hoyrup, Arda Kolçak, Giuseppe Longo
- article
- Theoretical Computer Science, 2008, 398 (1-3), pp.170-182. ⟨10.1016/j.tcs.2008.01.048⟩
- Accès au texte intégral et bibtex
-
2003
- titre
- Rewriting Logic and Probabilities
- auteur
- Olivier Bournez, Mathieu Hoyrup
- article
- 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.61-75
- Accès au bibtex
-
2002
- titre
- Réécriture en présence de choix probabilistes
- auteur
- Mathieu Hoyrup
- article
- [Stage] A02-R-424 || hoyrup02a, 2002
- Accès au bibtex
-