Concepedia

Author

Paul Gastin

Centre National de la Recherche ScientifiqueORCID

Also Known As

Bouyer, Patricia, Gastin, Paul, Graf, Susanne, Montanari, Angelo, P. Gastin, PAUL GASTIN, Paul Gastin, Priti Shankar, Thomas Chatain

194

Publications

2.9K

Citations

25

H-Index

31

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueÉcole Normale Supérieure Paris-SaclayUniversité Paris CitéUniversity of StuttgartUniversité de Bordeaux
PG

About

Paul Gastin is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

12

18

718

2

Computer Science

11

14

582

3

Linguistics

3

3

102

4

Systems Engineering

3

3

163

5

Language Studies

2

2

85

Paul Gastin

×

25

Publications

924

Citations

16

H-Index

YearCitations

Page 1