Loc Germerie Guizouarn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ATVA | Prompt Runtime Enforcement. | Ayush Anand, Loc Germerie Guizouarn, Thierry Jron, Sayan Mukherjee, Srinivas Pinisetty, Ocan Sankur |
| 2025 | CONCUR | Reversible Pebble Transducers. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, Shankaranarayanan Krishna |
| 2024 | CONCUR | Reversible Transducers over Infinite Words. | Luc Dartois, Paul Gastin, Loc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna |
| 2023 | Coordination | RSC to the ReSCu: Automated Verification of Systems of Communicating Automata. | Loc Desgeorges, Loc Germerie Guizouarn |