Jacques-Henri Jourdan
About
Jacques-Henri Jourdan has authored 17 papers that have received a total of 424 indexed citations.
This includes 15 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (10 papers) and Security and Verification in Computing (6 papers). Jacques-Henri Jourdan is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (10 papers) and Security and Verification in Computing (6 papers) and collaborates with scholars based in France, Germany and The Netherlands. Jacques-Henri Jourdan's co-authors include Derek Dreyer, Robbert Krebbers, Ralf Jung, François Pottier and Xavier Leroy and has published in prestigious journals such as Communications of the ACM, Computer Methods and Programs in Biomedicine and Statistical Methods in Medical Research.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Salvatore Praticò Breakdown of academic impact, for papers by Zhenwen Ding Breakdown of academic impact, for papers by Andrea Grosso Breakdown of academic impact, for papers by Yuki Tsukahara Breakdown of academic impact, for papers by Pei‐Ru Wu Breakdown of academic impact, for papers by Anders Sode West Breakdown of academic impact, for papers by RJ McElroy Breakdown of academic impact, for papers by Mohsen Karbaschi