Gr\'egoire Sutre

Identifiers

• name variant Gr\'egoire Sutre 0.60 · backfill

Papers (5)

1. An automata-based approach for synchronizable mailbox communication cs.LO · 2024 · author #3
2. Occam's Razor Applied to the Petri Net Coverability Problem cs.LO · 2016 · author #3
3. On Boundedness Problems for Pushdown Vector Addition Systems cs.FL · 2015 · author #2
4. On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension cs.FL · 2015 · author #2
5. Reachability of Communicating Timed Processes cs.LO · 2012 · author #4

Mentions

• 1507.07362 #2 · backfill · confidence 0.70 Gr\'egoire Sutre
• 1503.04018 #2 · backfill · confidence 0.70 Gr\'egoire Sutre
• 1209.0571 #4 · backfill · confidence 0.70 Gr\'egoire Sutre
• 2407.06968 #3 · arxiv_oai · confidence 0.70 Gr\'egoire Sutre

Frequent Coauthors

• J\'er\^ome Leroux 3 shared papers
• Patrick Totzke 2 shared papers
• Am\'elie Stainer 1 shared papers
• Anca Muscholl 1 shared papers
• Fr\'ed\'eric Herbreteau 1 shared papers
• Lorenzo Clemente 1 shared papers
• Romain Delpy 1 shared papers
• Thomas Geffroy 1 shared papers