Grégoire Sutre
Scholar

Grégoire Sutre

Google Scholar ID: QjYKEGwAAAAJ
Research Fellow, CNRS, University of Bordeaux
Computer Science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,558
 
H-index
19
 
i10-index
30
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
4 items
Solving the Reachability Problem for Branching Vector Addition Systems via Semilinear Inductive Invariants
2026
Cited
0
On Parameterized Verification Over Tree Topologies
2026
Cited
0
A Forward-Only Construction of Semilinear Inductive Invariants for VAS
2026
Cited
0
On the Reachability Problem for Two-Dimensional Branching VASS
2025
Cited
0
Resume (English only)
Co-authors
17 total
Jerome Leroux
Jerome Leroux
CNRS researcher, LaBRI, France
Thomas Henzinger
Thomas Henzinger
IST Austria
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Frédéric Herbreteau
Frédéric Herbreteau
Univ. Bordeaux, CNRS, LaBRI, UMR 5800
Patrick Totzke
Patrick Totzke
University of Liverpool
Co-author 6
Co-author 6
Westley Weimer
Westley Weimer
Professor Computer Science, University of Michigan
Co-author 8
Co-author 8