Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting. - Aziz Amezian El Khalfioui; Jonathan Joertz; Dorian Labeeuw; Gaëtan Staquet; Jef Wijsen (CIKM, 2020)

Learning Realtime One-Counter Automata. - Véronique Bruyère; Guillermo A. Pérez 001; Gaëtan Staquet (TACAS (1), 2022)

Automata with Timers. - Véronique Bruyère; Guillermo A. Pérez 001; Gaëtan Staquet; Frits W. Vaandrager (FORMATS, 2023)

Validating Streaming JSON Documents with Learned VPAs. - Véronique Bruyère; Guillermo A. Pérez 001; Gaëtan Staquet (TACAS (1), 2023)

Active Learning of Mealy Machines with Timers. - Véronique Bruyère; Bharat Garhewal; Guillermo A. Pérez 001; Gaëtan Staquet; Frits W. Vaandrager (CoRR, 2024)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)

Antichains for Concurrent Parameterized Games. - Nathalie Bertrand 001; Patricia Bouyer; Gaëtan Staquet (CoRR, 2025)