| Quantum computations without definite causal structure G Chiribella, GM D’Ariano, P Perinotti, B Valiron Physical Review A—Atomic, Molecular, and Optical Physics 88 (2), 022318, 2013 | 693 | 2013 |
| Quipper: a scalable quantum programming language AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 568 | 2013 |
| A lambda calculus for quantum computation with classical control P Selinger, B Valiron Mathematical Structures in Computer Science 16 (3), 527-552, 2006 | 216 | 2006 |
| Applying quantitative semantics to higher-order quantum computing M Pagani, P Selinger, B Valiron Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 122 | 2014 |
| Quantum lambda calculus P Selinger, B Valiron Semantic techniques in quantum computation, 135-172, 2009 | 108 | 2009 |
| An introduction to quantum programming in quipper AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013 | 104 | 2013 |
| Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target A Scherer, B Valiron, SC Mau, S Alexander, E Van den Berg, ... Quantum Information Processing 16, 1-65, 2017 | 96 | 2017 |
| A lambda calculus for quantum computation with classical control P Selinger, B Valiron International Conference on Typed Lambda Calculi and Applications, 354-368, 2005 | 88 | 2005 |
| An automated deductive verification framework for circuit-building quantum programs C Chareton, S Bardin, F Bobot, V Perrelle, B Valiron Programming Languages and Systems: 30th European Symposium on Programming …, 2021 | 72 | 2021 |
| Perceval: A software platform for discrete variable photonic quantum computing N Heurtel, A Fyrillas, G De Gliniasty, R Le Bihan, S Malherbe, M Pailhas, ... Quantum 7, 931, 2023 | 63 | 2023 |
| On a fully abstract model for a quantum linear functional language P Selinger, B Valiron Electronic Notes in Theoretical Computer Science 210, 123-137, 2008 | 61 | 2008 |
| The vectorial λ-calculus P Arrighi, A Díaz-Caro, B Valiron Information and Computation 254, 105-139, 2017 | 60* | 2017 |
| Programming the quantum future B Valiron, NJ Ross, P Selinger, DS Alexander, JM Smith Communications of the ACM 58 (8), 52-61, 2015 | 56 | 2015 |
| The geometry of parallelism: classical, probabilistic, and quantum effects U Dal Lago, C Faggian, B Valiron, A Yoshimizu ACM SIGPLAN Notices 52 (1), 833-845, 2017 | 55 | 2017 |
| From symmetric pattern-matching to quantum control A Sabry, B Valiron, JK Vizzotto Foundations of Software Science and Computation Structures: 21st …, 2018 | 52 | 2018 |
| Reducing the depth of linear reversible quantum circuits TG De Brugiere, M Baboulin, B Valiron, S Martiel, C Allouche IEEE Transactions on Quantum Engineering 2, 1-22, 2021 | 39 | 2021 |
| Parallelism and synchronization in an infinitary context U Dal Lago, C Faggian, B Valiron, A Yoshimizu 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 559-572, 2015 | 34 | 2015 |
| Realizability in the unitary sphere A Díaz-Caro, M Guillermo, A Miquel, B Valiron 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 33 | 2019 |
| Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem TG de Brugière, M Baboulin, B Valiron, S Martiel, C Allouche Reversible Computation: 12th International Conference, RC 2020, Oslo, Norway …, 2020 | 32 | 2020 |
| Call-by-value, call-by-name and the vectorial behaviour of the algebraic\lambda-calculus A Assaf, A Díaz-Caro, S Perdrix, C Tasson, B t Valiron Logical Methods in Computer Science 10, 2014 | 30 | 2014 |
Peter SelingerProfessor of Mathematics, Dalhousie UniversityE-mail confirmado em mathstat.dal.ca