Articles
- Brattka, Vasco and Rauzy, Emmanuel, Computable bases, Annals of Pure and Applied Logic 178:2 (2027) 103839
- Brattka, Vasco and Rauzy, Emmanuel, Effective bases and notions of effective second countability in computable analysis, Journal of Logic and Analysis 18:1 (2026) 1-51
- Rauzy, Emmanuel, New definitions in the theory of Type 1 computable topological spaces, Computability 15:1-2 (2026) 85-126
- Rauzy, Emmanuel, Multi-representation associated to the numbering of a subbasis and formal inclusion relations, Logical Methods in Computer Science 21:3 (2025)
- Rauzy, Emmanuel, Remarks and problems about algorithmic descriptions of groups, International Journal of Algebra and Computation 35:7 (2025) 1019-1053
- Rauzy, Emmanuel, Computability of finite quotients of finitely generated groups, Journal of Group Theory 25:2 (2022) 217-246
- Rauzy, Emmanuel, Obstruction to a Higman embedding theorem for residually finite
groups with solvable word problem, Journal of Group Theory 24:3 (2021) 445-452
Electronic Repositories
- Rauzy, Emmanuel, Residual properties of finitely generated groups in the Weihrauch lattice, arXiv arXiv:2605.30138 (2026)
- Brattka, Vasco and Rauzy, Emmanuel, Effective bases and notions of effective second countability in computable analysis, arXiv arXiv:2509.20266 (2025)
- Brattka, Vasco and Rauzy, Emmanuel, Computable bases, arXiv arXiv:2510.09850 (2025)
In Proceedings
- Brattka, Vasco and Rauzy, Emmanuel, Effective second countability in computable analysis, in: Beckmann, Arnold and Oitavem, Isabel and Manea, Florin (eds.), Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, vol. 15764 of Lecture Notes in Computer Science, Springer, Cham, 2025, pages 19-33
PhD Theses
- Rauzy, Emmanuel, Perspectives on an effective theory of groups, PhD thesis, Université de Paris, 2022
This publication list has currently 12 entries
