Samuel Boutin
Author
Alternate names Samuel Boutin, S. Boutin
Institution Microsoft (United States)
Past institutions Microsoft (United States), Regroupement Québécois sur les Matériaux de Pointe, Université de Sherbrooke, Knowledge Foundation, Public Knowledge +2 more
ORCID: Yes
H-index: 12
I10-index: 12
Works count: 59
Citations count: 1,894
The Coq proof assistant : reference manual, version 6.1
1997 · Bruno Barras, Samuel Boutin, et al.
Engineering the quantum states of light in a Kerr-nonlinear resonator by two-photon driving
2017 · Shruti Puri, Samuel Boutin, et al. · npj Quantum Information
InAs-Al hybrid devices passing the topological gap protocol
2023 · Morteza Aghaee, Arun Akkala, et al. · Physical review. B./Physical review. B