Question 1

What does Gilles Barthe research?

Accepted Answer

Gilles Barthe publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Security and Verification in Computing, Logic, programming, and type systems and Cryptography and Data Security.

Question 2

Which keywords describe Gilles Barthe's research?

Accepted Answer

The keywords of their largest research topics: Side-Channel Attacks, Model Checking, Security Analysis, Control-Flow Integrity, Security Policies, Temporal Logic, Formal Verification and Static Analysis.

Question 3

Where does Gilles Barthe work?

Accepted Answer

Gilles Barthe's main affiliation in the publication record is IMDEA Software Institute, Spain.

Question 4

How many publications and citations does Gilles Barthe have?

Accepted Answer

OpenAlex counts 406 works and 8,994 citations for Gilles Barthe, an h-index of 49, ranking #153,680 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Gilles Barthe's h-index high?

Accepted Answer

An h-index of 49 is at or above that of 99% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 1.1%.