Marc Pouzet
About
Marc Pouzet has authored 27 papers that have received a total of 214 indexed citations.
This includes 24 papers in Hardware and Architecture, 18 papers in Computational Theory and Mathematics and 6 papers in Artificial Intelligence. The topics of these papers are Embedded Systems Design Techniques (21 papers), Formal Methods in Verification (16 papers) and Parallel Computing and Optimization Techniques (13 papers). Marc Pouzet is often cited by papers focused on Embedded Systems Design Techniques (21 papers), Formal Methods in Verification (16 papers) and Parallel Computing and Optimization Techniques (13 papers) and collaborates with scholars based in France, United States and Germany. Marc Pouzet's co-authors include Jean-Louis Colaço, Timothy Bourke, Benoı̂t Caillaud, Albert Benveniste and Bruno Pagano and has published in prestigious journals such as Proceedings of the IEEE, Journal of Computer and System Sciences and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Allyn Auslander are about Top journals papers by L. Liu are published in Top journals papers by W. G. Kürten Ihlenfeld are published in Top fields papers by Yifei Zhang are about Top fields papers by Janet Ransley are about Top authors papers by Yu are co-authored with Top countries impacted by papers by Michal Pořízka Top countries impacted by papers by Charles A. Fisher