Vincent Simonet

6 papers and 222 indexed citations i.

Vincent Simonet has authored 6 papers that have received a total of 222 indexed citations. This includes 6 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (6 papers), Security and Verification in Computing (4 papers) and Parallel Computing and Optimization Techniques (2 papers). Vincent Simonet is often cited by papers focused on Logic, programming, and type systems (6 papers), Security and Verification in Computing (4 papers) and Parallel Computing and Optimization Techniques (2 papers) and collaborates with scholars based in France. Vincent Simonet's co-authors include François Pottier and has published in prestigious journals such as ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems