Science Explorer Back to mapMap
Discussion
Researcher · IMDEA Software Institute · Spain

Gilles Barthe

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.

ORCID 0000-0002-3853-1777 OpenAlex
World rank
#153,680
of 7,710,434 ranked researchers
Rank in Spain
#2,190
of 204,306
Works
406
Citations
9k
Citations per work
22.2
h-index
49
i10-index 182Top 1.1% in Artificial Intelligence
Gilles Barthe

What does Gilles Barthe research?

Gilles Barthe's work is mostly in Computer Science (86%).

Physical Sciences: 347 works · 85.5% of their workComputer Science: 347 works · 85.5% of their workArtificial Intelligence: 220 works · 54.2% of their workComputational Theory and Mathematics: 43 works · 10.6% of their workComputer Networks and Communications: 26 works · 6.5% of their workSignal Processing: 24 works · 6.0% of their workInformation Systems: 19 works · 4.7% of their workHardware and Architecture: 14 works · 3.5% of their workEverything else: 59 works · 14.5% of their workTHEIR WORKGilles Barthe406works
Physical Sciences86%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science34785.5%
  2. Everything else5914.5%
  1. 1Artificial Intelligence54% of their works
  2. 2Computational Theory and Mathematics11% of their works
  3. 3Computer Networks and Communications6% of their works
  4. 4Signal Processing6% of their works
  5. 5Information Systems5% of their works
  6. 6Hardware and Architecture4% of their works

Research topics

Which keywords describe Gilles Barthe's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 20 words, with their numbers
  1. Side-Channel Attacks2352 topics
  2. Model Checking2233 topics
  3. Security Analysis1622 topics
  4. Control-Flow Integrity1411 topic
  5. Security Policies1411 topic
  6. Temporal Logic1172 topics
  7. Formal Verification1061 topic
  8. Static Analysis1061 topic
  9. Homomorphic Encryption1021 topic
  10. Identity-Based Encryption1021 topic
  11. Block Ciphers941 topic
  12. Cryptanalysis941 topic
  13. Android Malware681 topic
  14. Detection681 topic
  15. Satisfiability Modulo Theories681 topic
  16. Symbolic Model Checker681 topic
  17. Answer Set Programming491 topic
  18. Modal Logic491 topic
  19. Distributed Systems371 topic
  20. Fault Tolerance371 topic

Where does Gilles Barthe work?

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

How many publications and citations does Gilles Barthe have?

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.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Gilles Barthe. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.