Denis Barthou
About
Denis Barthou has authored 22 papers that have received a total of 96 indexed citations.
This includes 17 papers in Hardware and Architecture, 11 papers in Computer Networks and Communications and 6 papers in Computational Theory and Mathematics. The topics of these papers are Parallel Computing and Optimization Techniques (15 papers), Embedded Systems Design Techniques (8 papers) and Formal Methods in Verification (6 papers). Denis Barthou is often cited by papers focused on Parallel Computing and Optimization Techniques (15 papers), Embedded Systems Design Techniques (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in France, China and Germany. Denis Barthou's co-authors include Jean-François Collard⋆, Patrick Carribault, Bertrand Le Gal, Camille Leroux and Olivier Aumage and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Parallel and Distributed Computing and Parallel Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by C. L. Lim are co-authored with Top journals papers by Ali Tahir are published in Top authors papers by José A. Ruiz San Román are co-authored with Top authors papers by Daniel Günther are co-authored with Top journals papers by Sergii Khlamov are published in Top journals papers by Lóránt Farkas are published in Top fields papers by H. A. Shapiro are about Top journals papers by Véronique de Rudder are published in