Simon Forest

3 papers and 55 indexed citations i.

Simon Forest has authored 3 papers that have received a total of 55 indexed citations. This includes 2 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in General Health Professions. The topics of these papers are Quantum Computing Algorithms and Architecture (1 paper), Evaluation and Performance Assessment (1 paper) and Formal Methods in Verification (1 paper). Simon Forest is often cited by papers focused on Quantum Computing Algorithms and Architecture (1 paper), Evaluation and Performance Assessment (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in France, United Kingdom and United States. Simon Forest's co-authors include Santiago Zanella-Béguelin, Ann Oakley, Karthikeyan Bhargavan, David Gosset and Vadym Kliuchnikov and has published in prestigious journals such as Journal of Mathematical Physics, ACM SIGPLAN Notices and International Journal of Social Research Methodology.