Olivier Tardieu
About
Olivier Tardieu has authored 25 papers that have received a total of 297 indexed citations.
This includes 21 papers in Hardware and Architecture, 10 papers in Computer Networks and Communications and 8 papers in Computational Theory and Mathematics. The topics of these papers are Parallel Computing and Optimization Techniques (16 papers), Embedded Systems Design Techniques (13 papers) and Formal Methods in Verification (8 papers). Olivier Tardieu is often cited by papers focused on Parallel Computing and Optimization Techniques (16 papers), Embedded Systems Design Techniques (13 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in United States, France and Germany. Olivier Tardieu's co-authors include Stephen A. Edwards, Nevin Heintze, David Grove, Vijay Saraswat and Arun Iyengar and has published in prestigious journals such as IBM Journal of Research and Development, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Alberto Russu are co-authored with Top countries impacted by papers by Aline Kirie Gohara Top authors papers by Fabian Fischer are co-authored with Top authors papers by Sheila Pereira are co-authored with Top authors papers by K.N. ArulJothi are co-authored with Top fields papers by João Terra Filho are about Top countries impacted by papers by N. L. Achouri