Laurent Vigneron

12 papers and 49 indexed citations i.

Laurent Vigneron has authored 12 papers that have received a total of 49 indexed citations. This includes 7 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 5 papers in Computer Networks and Communications. The topics of these papers are Advanced Authentication Protocols Security (5 papers), Formal Methods in Verification (4 papers) and Logic, programming, and type systems (4 papers). Laurent Vigneron is often cited by papers focused on Advanced Authentication Protocols Security (5 papers), Formal Methods in Verification (4 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in France, United States and Mexico. Laurent Vigneron's co-authors include Yannick Chevalier, Leo Bachmair, M. Rusinowitch, Michaël Rusinowitch and Jiajia Liu and has published in prestigious journals such as Journal of Automated Reasoning, Fundamenta Informaticae and Automated Software Engineering