Arnaud Venet
About
Arnaud Venet has authored 9 papers that have received a total of 102 indexed citations.
This includes 7 papers in Computational Theory and Mathematics, 5 papers in Artificial Intelligence and 4 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (7 papers), Logic, programming, and type systems (5 papers) and Parallel Computing and Optimization Techniques (3 papers). Arnaud Venet is often cited by papers focused on Formal Methods in Verification (7 papers), Logic, programming, and type systems (5 papers) and Parallel Computing and Optimization Techniques (3 papers) and collaborates with scholars based in United States and France. Arnaud Venet's co-authors include Guillaume Brat, Fabien Xuereb, Willem Visser, Rich Washington and Neha Rungta and has published in prestigious journals such as Pharmaceutics, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by D. Davidge are co-authored with Top fields papers by D.I. Choi are about Top countries impacted by papers by Fathiyah Isbaniah Top authors papers by Cinnamon Mittan are co-authored with Top countries impacted by papers by G. Tarte Top authors papers by Alberto del Castillo are co-authored with Top fields papers by Seán Connolly are about Top countries impacted by papers by Theo Schiller