Mathieu Hoyrup
Orcid: 0000-0003-1828-0699Affiliations:
- University of Lorraine, Nancy, France
According to our database1,
Mathieu Hoyrup
authored at least 48 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
2023
Topological Aspects of Representations in Computable Analysis. (Aspects Topologiques des Représentations en Analyse Calculable).
, 2023
2022
Theor. Comput. Sci., 2022
Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022
2021
Dagstuhl Reports, 2021
2020
Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the Beyond the Horizon of Computability, 2020
2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Proceedings of the Descriptional Complexity of Formal Systems, 2019
2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the Sailing Routes in the World of Computation, 2018
2017
Theory Comput. Syst., 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
2016
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016
Proceedings of the Pursuit of the Universal - 12th Conference on Computability in Europe, 2016
2015
Theor. Comput. Sci., 2015
Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015
2014
Proceedings of the 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), 2014
2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
2012
Inf. Comput., 2012
Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012
2011
Theory Comput. Syst., 2011
Proceedings of the Models of Computation in Context, 2011
2010
Effective symbolic dynamics, random points, statistical behavior, complexity and entropy.
Inf. Comput., 2010
Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
Proceedings of the Proceedings Seventh International Conference on Computability and Complexity in Analysis, 2010
Proceedings of the Algorithms and Computation - 21st International Symposium, 2010
2009
A constructive Borel-Cantelli lemma. Constructing orbits with required statistical properties.
Theor. Comput. Sci., 2009
Inf. Comput., 2009
Proceedings of the Automata, Languages and Programming, 36th International Colloquium, 2009
Proceedings of the Mathematical Theory and Computational Practice, 2009
2008
Computability and the morphological complexity of some dynamics on continuous domains.
Theor. Comput. Sci., 2008
Algorithmically random points in measure preserving systems, statistical behaviour, complexity and entropy
CoRR, 2008
2007
An effective Borel-Cantelli Lemma. Constructing orbits with required statistical properties
CoRR, 2007
2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003