- 21
- 11
- 6
- 6
- 3
- 3
- 2
- 1
- 1
- 1
Mathieu Hoyrup
55
Documents
Publications
- 9
- 6
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 7
- 3
- 1
- 3
- 2
- 3
- 4
- 2
- 5
- 2
- 3
- 5
- 5
- 4
- 3
- 1
- 1
- 1
|
Computability of finite simplicial complexesICALP, Jul 2022, Paris, France
Conference papers
hal-03564904v1
|
|
Descriptive complexity on non-Polish spaces IIICALP, Jul 2020, Saarbrücken, Germany. ⟨10.4230/LIPIcs.ICALP.2020.132⟩
Conference papers
hal-02483114v1
|
|
Descriptive complexity on non-Polish spacesSTACS 2020 - 37th Symposium on Theoretical Aspects of Computer Science, Mar 2020, Montpellier, France. pp.16, ⟨10.4230/LIPIcs.STACS.2020.8⟩
Conference papers
hal-02298815v3
|
|
Computability on quasi-Polish spacesDCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
Conference papers
hal-02118947v2
|
|
Semicomputable points in Euclidean spacesMFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.63⟩
Conference papers
hal-02154825v1
|
|
Semicomputable geometryICALP 2018 - 45th International Colloquium on Automata, Languages, and Programming, Jul 2018, Prague, Czech Republic
Conference papers
hal-01770562v1
|
|
Topological analysis of representationsCiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany
Conference papers
hal-01919395v1
|
|
On the extension of computable real functionsLogic In Computer Science (LICS), Jun 2017, Reykjavik, Iceland
Conference papers
hal-01494332v1
|
|
The decidable properties of subrecursive functionsInternational Colloquium on Automata, Languages, and Programming (ICALP) 2016, Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.108⟩
Conference papers
hal-01308224v1
|
|
The Typical Constructible ObjectComputability In Europe, Jun 2016, Paris, France. pp.115 - 123, ⟨10.1007/978-3-319-40189-8_12⟩
Conference papers
hal-01396167v1
|
|
On the information carried by programs about the objects they computeSTACS15, Mar 2015, Munich, Germany
Conference papers
hal-01067618v1
|
Immune Systems in Computer VirologyComputability in Europe 2015, Jun 2015, Bucharest, Romania. pp.10, ⟨10.1007/978-3-319-20028-6_13⟩
Conference papers
hal-01208454v1
|
|
|
Irreversible computable functionsSTACS - 31st Symposium on Theoretical Aspects of Computer Science - 2014, Mar 2014, Lyon, France
Conference papers
hal-00915952v4
|
|
Higher-order complexity in analysisCCA - 10th International Conference on Computability and Complexity in Analysis - 2013, Jul 2013, Nancy, France
Conference papers
hal-00915973v1
|
|
On the query complexity of real functionalsLICS - 28th ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.103-112, ⟨10.1109/LICS.2013.15⟩
Conference papers
hal-00773653v1
|
|
The dimension of ergodic random sequencesSTACS'12 (29th Symposium on Theoretical Aspects of Computer Science), Feb 2012, Paris, France. pp.567-576
Conference papers
inria-00606457v4
|
|
Computability of the Radon-Nikodym derivativeComputability in Europe, Jun 2011, Sofia, Bulgaria. pp.132-141
Conference papers
inria-00586740v1
|
|
Randomness and the ergodic decompositionComputability in Europe, Jun 2011, Sofia, Bulgaria. pp.122-131
Conference papers
inria-00586736v1
|
|
Interpretation of stream programs: characterizing type 2 polynomial time complexity21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
Conference papers
inria-00518381v1
|
|
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systemsComputability and Complexity in Analysis (CCA), Jun 2010, Zhenjiang, China. pp.7-18, ⟨10.4204/EPTCS.24.6⟩
Conference papers
inria-00517372v1
|
|
Applications of Effective Probability Theory to Martin-Löf Randomness36th International Colloquium on Automata, Languages and Programming - ICALP 2009, Jul 2009, Rhodes, Greece. pp.549-561, ⟨10.1007/978-3-642-02927-1⟩
Conference papers
hal-00425560v2
|
|
Randomness on Computable Probability Spaces - A Dynamical Point of View26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009, Feb 2009, Freiburg, Germany. pp.469-480
Conference papers
inria-00360519v1
|
|
An Application of Martin-Löf Randomness to Effective Probability Theory5th Conference on Computability in Europe - CiE 2009, Jul 2009, Heidelberg, Germany. pp.260-269, ⟨10.1007/978-3-642-03073-4⟩
Conference papers
hal-00425556v1
|
Rewriting Logic and Probabilities14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.61-75
Conference papers
inria-00099620v1
|
|
Computable Measure Theory and Algorithmic RandomnessHandbook of Computable Analysis, pp.227-270, 2021, 978-3-030-59234-9. ⟨10.1007/978-3-030-59234-9_7⟩
Book sections
hal-02938919v1
|
|
Algorithmic randomness and layerwise computabilityJohanna N. Y. Franklin; Christopher P. Porter. Algorithmic Randomness -- Progress and Prospects, Cambridge University Press, pp.17, 2020, ⟨10.1017/9781108781718⟩
Book sections
hal-02975222v1
|
Que calcule cet algorithme ?2015
Other publications
hal-01202984v1
|
|
Degree Spectra of Homeomorphism Types of Compact Polish Spaces2023
Preprints, Working Papers, ...
hal-02555111v2
|
|
The surjection property and computable type2023
Preprints, Working Papers, ...
hal-04140772v1
|
|
Descriptive complexity of topological invariants2023
Preprints, Working Papers, ...
hal-04222391v1
|
|
Results in descriptive set theory on some represented spaces2018
Preprints, Working Papers, ...
hal-01657883v1
|
|
A Rice-like theorem for primitive recursive functions[Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); Loria. 2015
Reports
hal-01130868v1
|
|
On the inversion of computable functions[Research Report] 2012
Reports
hal-00735681v2
|
Réécriture en présence de choix probabilistes[Stage] A02-R-424 || hoyrup02a, 2002
Reports
inria-00100886v1
|
|
Calculabilité, aléatoire et théorie ergodique sur les espaces métriquesMathématiques [math]. Université Paris-Diderot - Paris VII, 2008. Français. ⟨NNT : ⟩
Theses
tel-00322776v1
|
|
Topological Aspects of Representations in Computable AnalysisComputer Science [cs]. Université de Lorraine, 2023
Habilitation à diriger des recherches
tel-03932408v1
|