Gaëtan Regaud

Orcid: 0009-0000-1409-5707

According to our database¹, Gaëtan Regaud authored at least 4 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

The Complexity of Second-order HyperLTL.

[DOI]

Log. Methods Comput. Sci., 2026

The complexity of HyperQPTL.

[DOI]

Inf. Process. Lett., 2026

2025

The Complexity of Generalized HyperLTL with Stuttering and Contexts.

[DOI]

Proceedings of the Sixteenth International Symposium on Games, September, 2025

The Complexity of Fragments of Second-Order HyperLTL.

[DOI]

CoRR, January, 2025