Concepedia

Gilles Barthe

GB

Statistics

Publications

113

Citations

5.3K

H-Index

41

Active since

1997

Affiliations

IMDEA Software Institute(Current)

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

Max Planck Institute for Security and Privacy

Madrid Institute for Advanced Studies

University of Minho

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

ORCID

Publications per year

1997–2024

113

Publications

113