VLDB 2026 Research / reviewers in the wild / expert
Johan Girardot
dblp:392/2406
· DBLP profile ↗
2ranked-venue papers
0as first author
2since 2021 · last 2026
0009-0005-2056-8730ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Toward higher-order infinite time Turing machines: simulational Γ-machines
Olivier Bournez, Olivier Finkel, Johan Girardot |
Ann. Pure Appl. Log. | 3 |
| 2026 | Some regular ω-powers in the Hausdorff-Kuratowski hierarchyabstractFix a finite alphabet Σ having at least two letters, and an arbitrary natural number n . We denote by D n ( Π 2 0 ) the class of differences of n Π 2 0 subsets of the Cantor space Σ ω , and by D n − ( Π 2 0 ) the class of complements of sets in D n ( Π 2 0 ) . We prove the existence of finitary regular languages U n and V n such that ( U n ) ω is D 2 n + 1 ( Π 2 0 ) -complete and ( V n ) ω is D 2 n + 2 − ( Π 2 0 ) -complete. Olivier Finkel, Johan Girardot, Dominiquelecomte |
Theor. Comput. Sci. | 2 |