Jean Privat

19 papers and 165 indexed citations i.

Jean Privat has authored 19 papers that have received a total of 165 indexed citations. This includes 9 papers in Artificial Intelligence, 8 papers in Hardware and Architecture and 4 papers in Computer Networks and Communications. The topics of these papers are Parallel Computing and Optimization Techniques (8 papers), Logic, programming, and type systems (7 papers) and Formal Methods in Verification (3 papers). Jean Privat is often cited by papers focused on Parallel Computing and Optimization Techniques (8 papers), Logic, programming, and type systems (7 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in France, Canada and Switzerland. Jean Privat's co-authors include P Frèrebeau, Charley Gros, Rachid Guerraoui, Floréal Morandat and Jérémie Jacques and has published in prestigious journals such as Endoscopy, Acta Neurochirurgica and Journal of Systems and Software