The Complexity of HyperQPTL. - Gaëtan Regaud; Martin Zimmermann 002 (CoRR, 2024)

The Complexity of Fragments of Second-Order HyperLTL. - Gaëtan Regaud; Martin Zimmermann 002 (CoRR, 2025)

The Complexity of Generalized HyperLTL with Stuttering and Contexts. - Gaëtan Regaud; Martin Zimmermann 002 (CoRR, 2025)