Toward higher-order and many-symbol infinite time Turing machines. (Vers des machines de Turing en temps infini d'ordre supérieur et à plusieurs symboles). - Johan Girardot (2024)

Toward higher-order infinite time Turing machines: simulational Γ-machines. - Olivier Bournez; Olivier Finkel; Johan Girardot (Ann. Pure Appl. Log., 2026)

Some regular ω-powers in the Hausdorff-Kuratowski hierarchy. - Olivier Finkel; Johan Girardot; Dominiquelecomte (Theor. Comput. Sci., 2026)