Arnaud Venet

9 papers and 102 indexed citations i.

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