Hugo Gimbert

14 papers and 51 indexed citations i.

About

Hugo Gimbert has authored 14 papers that have received a total of 51 indexed citations. This includes 7 papers in Management Science and Operations Research, 6 papers in Computational Theory and Mathematics and 5 papers in Artificial Intelligence. The topics of these papers are Game Theory and Applications (7 papers), Formal Methods in Verification (5 papers) and Logic, Reasoning, and Knowledge (4 papers). Hugo Gimbert is often cited by papers focused on Game Theory and Applications (7 papers), Formal Methods in Verification (5 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in France, The Netherlands and United Kingdom. Hugo Gimbert's co-authors include Véronique Bruyère, Nathanaël Fijalkow, Thomas A. Henzinger, Blaise Genest and Florian Horn and has published in prestigious journals such as Journal of the ACM, Lecture notes in computer science and The Annals of Applied Probability

In The Last Decade

Rankless by CCL
2025