Gilles Barthe
About
Gilles Barthe has authored 116 papers that have received a total of 1.3k indexed citations.
This includes 106 papers in Artificial Intelligence, 35 papers in Computational Theory and Mathematics and 26 papers in Signal Processing. The topics of these papers are Security and Verification in Computing (47 papers), Cryptography and Data Security (36 papers) and Logic, programming, and type systems (28 papers). Gilles Barthe is often cited by papers focused on Security and Verification in Computing (47 papers), Cryptography and Data Security (36 papers) and Logic, programming, and type systems (28 papers) and collaborates with scholars based in Spain, France and United States. Gilles Barthe's co-authors include Benjamin Grégoire, Pierre-Yves Strub, Justin Hsu, Marco Gaboardi and Santiago Zanella-Béguelin and has published in prestigious journals such as Scientific Reports, ACM Computing Surveys and Theoretical Computer Science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Hiroyuki Mochizuki Breakdown of academic impact, for papers by Satoka Aoyagi Breakdown of academic impact, for papers by Fritz Karl Beller Breakdown of academic impact, for papers by Luigi Sciarra Breakdown of academic impact, for papers by D. K. Bhattacharyya Breakdown of academic impact, for papers by Shigetaka Suzuki Breakdown of academic impact, for papers by N. Sans Breakdown of academic impact, for papers by Jon Montalbán