Towards Generalised Half-Duplex Systems. - Cinzia Di Giusto; Loïc Germerie Guizouarn; Étienne Lozes (ICE, 2021)

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. - Loïc Desgeorges; Loïc Germerie Guizouarn (COORDINATION, 2023)

Communicating automata and quasi-synchronous communications. (Automates communicants et communications quasi-synchrones). - Loïc Germerie Guizouarn (2023)

Multiparty half-duplex systems and synchronous communications. - Cinzia Di Giusto; Loïc Germerie Guizouarn; Étienne Lozes (J. Log. Algebraic Methods Program., 2023)

Reversible Transducers over Infinite Words. - Luc Dartois; Paul Gastin; Loïc Germerie Guizouarn; R. Govind 001; Shankaranarayanan Krishna (CONCUR, 2024)

Reversible Pebble Transducers. - Luc Dartois; Paul Gastin; Loïc Germerie Guizouarn; Shankaranarayanan Krishna (CONCUR, 2025)