Alexandre Chapoutot

19 papers and 65 indexed citations i.

Alexandre Chapoutot has authored 19 papers that have received a total of 65 indexed citations. This includes 17 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 (11 papers), Numerical Methods and Algorithms (10 papers) and Advanced Control Systems Optimization (4 papers). Alexandre Chapoutot is often cited by papers focused on Formal Methods in Verification (11 papers), Numerical Methods and Algorithms (10 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