VLDB 2026 Research / reviewers in the wild / expert
Emmanuel Rauzy
dblp:409/6545
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2025
0009-0005-0395-3311ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Effective Second Countability in Computable Analysis
Vasco Brattka, Emmanuel Rauzy |
CiE | 2 |
| 2025 | Multi-representation associated to the numbering of a subbasis and formal inclusion relationsabstractWe revisit Dieter Spreen's notion of a representation associated to a numbered basis equipped with a strong inclusion relation. We show that by relaxing his requirements, we obtain different classically considered representations as subcases, including representations considered by Grubba, Weihrauch and Schröder. We show that the use of an appropriate strong inclusion relation guarantees that the representation associated to a computable metric space seen as a topological space always coincides with the Cauchy representation. We also show how the use of a formal inclusion relation guarantees that when defining multi-representations on a set and on one of its subsets, the obtained multi-representations will be compatible, i.e. inclusion will be a computable map. The proposed definitions are also more robust under change of equivalent bases. Emmanuel Rauzy |
Log. Methods Comput. Sci. | 1 |