Laurent Vigneron

12 papers and 50 indexed citations i.

Laurent Vigneron has authored 12 papers that have received a total of 50 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 User Authentication and Security 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 User Authentication and Security Systems (4 papers) and collaborates with scholars based in France, United States and Mexico. Laurent Vigneron's co-authors include Yannick Chevalier, Leo Bachmair, Olivier Festor, Isabelle Chrisment and M. Rusinowitch and has published in prestigious journals such as Journal of Automated Reasoning, Fundamenta Informaticae and Automated Software Engineering.