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 journals papers by Aphisek Kongkaew are published in Top countries impacted by papers by Cătălin Hriţcu Top countries impacted by papers by Euon Jung Tak Top journals papers by Gerard W. Gawalt are published in Top fields papers by John Havard are about Top journals papers by Sang Hun Song are published in Top fields papers by J. M. Hauptman are about Top authors papers by Belinda Davis are co-authored with