Sophie Pinchinat

33 papers and 192 indexed citations i.

Sophie Pinchinat has authored 33 papers that have received a total of 192 indexed citations. This includes 28 papers in Computational Theory and Mathematics, 22 papers in Artificial Intelligence and 4 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (25 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (15 papers). Sophie Pinchinat is often cited by papers focused on Formal Methods in Verification (25 papers), Logic, programming, and type systems (18 papers) and Logic, Reasoning, and Knowledge (15 papers) and collaborates with scholars based in France, Spain and Australia. Sophie Pinchinat's co-authors include Laura Bozzelli, Bastien Maubert, Hervé Marchand, François Schwarzentruber and Sasha Rubin and has published in prestigious journals such as Clinical Infectious Diseases, ACM Computing Surveys and Artificial Intelligence