Loïc Germerie Guizouarn

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Top Venues

J. Log. Algebraic Methods Program.

Publications

Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CoRR (2024)
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
Reversible Transducers over Infinite Words. CONCUR (2024)
Loïc Desgeorges, Loïc Germerie Guizouarn
RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. COORDINATION (2023)
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
Multiparty half-duplex systems and synchronous communications. J. Log. Algebraic Methods Program. 131 (2023)
Cinzia Di Giusto, Loïc Germerie Guizouarn, Étienne Lozes
Towards Generalised Half-Duplex Systems. ICE (2021)