Pierre Jouvelot

17 papers and 261 indexed citations i.

Pierre Jouvelot has authored 17 papers that have received a total of 261 indexed citations. This includes 10 papers in Artificial Intelligence, 6 papers in Hardware and Architecture and 4 papers in Social Psychology. The topics of these papers are Logic, programming, and type systems (6 papers), Parallel Computing and Optimization Techniques (5 papers) and Formal Methods in Verification (3 papers). Pierre Jouvelot is often cited by papers focused on Logic, programming, and type systems (6 papers), Parallel Computing and Optimization Techniques (5 papers) and Formal Methods in Verification (3 papers) and collaborates with scholars based in France, United States and Portugal. Pierre Jouvelot's co-authors include David K. Gifford, Samuel Benveniste, Jean-Pierre Talpin, Anne‐Sophie Rigaud and Gérard Memmi and has published in prestigious journals such as ACM Computing Surveys, ACM SIGPLAN Notices and Information and Computation