Concepedia

Author

Gilles Barthe

IMDEA Software InstituteORCID

Also Known As

BARTHE, Gilles, Barthe G, Barthe, Gilles, Barthe, Gilles Jacques Denis, Barthes, Gilles, Daniel Huang, G. BARTHE, G. Barthe, GILLES BARTHE, Gilles Barthe

416

Publications

8.9K

Citations

49

H-Index

125

Concepts

All Affiliations

IMDEA Software InstituteInstitut national de recherche en sciences et technologies du numériqueMax Planck Institute for Security and PrivacyMadrid Institute for Advanced StudiesUniversity of Minho
GB

About

Gilles Barthe is an author at IMDEA Software Institute specializing in engineering, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

37

87

4.2K

2

Business

3

3

111

3

Language Studies

2

2

75

4

Management

1

1

85

5

Medicine

1

1

45

Gilles Barthe

×

113

Publications

5.3K

Citations

40

H-Index

YearCitations

Page 1