Alexandre Chapoutot
About
Alexandre Chapoutot has authored 18 papers that have received a total of 63 indexed citations.
This includes 16 papers in Computational Theory and Mathematics, 7 papers in Control and Systems Engineering and 5 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (10 papers), Numerical Methods and Algorithms (9 papers) and Advanced Control Systems Optimization (4 papers). Alexandre Chapoutot is often cited by papers focused on Formal Methods in Verification (10 papers), Numerical Methods and Algorithms (9 papers) and Advanced Control Systems Optimization (4 papers) and collaborates with scholars based in France, United States and Germany. Alexandre Chapoutot's co-authors include Matthieu Martel, Olivier Bouissou, Luis Benet, Luca Geretti and David P. Sanders and has published in prestigious journals such as Automatica, IEEE Transactions on Computers and ACM SIGPLAN Notices.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Yuto Nakashima Breakdown of academic impact, for papers by Gabriel Rockhill Breakdown of academic impact, for papers by Clayton Crockett Breakdown of academic impact, for papers by Philip Robinson Breakdown of academic impact, for papers by Yohei Seki Breakdown of academic impact, for papers by Arnold Myers Breakdown of academic impact, for papers by Marten Zwanenburg Breakdown of academic impact, for papers by Brooke Horvath