Concepedia

Author

Régis Gascon

Institut national de recherche en sciences et technologies du numérique

Also Known As

GASCON, Régis, Gascon, Régis, R. Gascon, Regis Gascon, Régis Gascon

19

Publications

176

Citations

9

H-Index

27

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueCentre National de la Recherche ScientifiqueLaboratoire Spécification et VérificationÉcole Normale Supérieure Paris-SaclayCentre Inria d'Université Côte d'Azur
RG

About

Régis Gascon is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, verification, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

4

4

88

2

Computer Science

4

4

88

3

Language Studies

2

2

39

4

Linguistics

2

2

39

5

Computer Engineering

1

1

34

Régis Gascon

×

6

Publications

114

Citations

6

H-Index

YearCitations

Page 1