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, 34 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
Top countries impacted by papers by Hyo‐Chang Lee Top journals papers by Ban Leong Sng are published in Top countries impacted by papers by M. G. H. Wallbridge Top countries impacted by papers by Chin Fhong Soon Top fields papers by Frank Knoefel are about Top authors papers by Yongming Chen are co-authored with Top journals papers by Р. В. Скиданов are published in Top fields papers by Junichiro Watanabe are about