Concepedia

Author

Grégoire Sutre

Université de Bordeaux

Also Known As

G. Sutre, George C. Necula, Gregoire Sutre, Grgoire Sutre, Grégoire Sutre, SUTRE, Grégoire, Sutre, G, Sutre, Grégoire

59

Publications

2.4K

Citations

15

H-Index

22

Concepts

All Affiliations

Université de BordeauxCentre National de la Recherche ScientifiqueLaboratoire Bordelais de Recherche en InformatiqueInstitut Polytechnique de BordeauxUniversity of California, Berkeley
GS

About

Grégoire Sutre is an author at Université de Bordeaux specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

1.4K

2

Computer Science

6

6

1.4K

3

Systems Engineering

3

3

1.3K

4

Computer Engineering

2

2

1.3K

5

Communication

1

1

35

Grégoire Sutre

×

7

Publications

1.4K

Citations

7

H-Index

YearCitations

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,

2002

1.1K

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,

ACM SIGPLAN Notices

2002

168

Well-abstracted transition systems: application to FIFO automata

Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre

Information and Computation

2003

40

Reachability Analysis of Communicating Pushdown Systems

Jérôme Leroux, Anca Muscholl, Grégoire Sutre

Logical Methods in Computer Science

2012

35

Hyper-Ackermannian bounds for pushdown vector addition systems

Jérôme Leroux, M. Praveen, Grégoire Sutre

2014

21

Occam's Razor applied to the Petri net coverability problem

Thomas Geffroy, Jérôme Leroux, Grégoire Sutre

Theoretical Computer Science

2018

11

Flat Counter Automata Almost Everywhere!

Jérôme Leroux, Grégoire Sutre

Lecture notes in computer science

2005

10

Page 1