Benoît Valiron

2.1k total citations
34 papers, 860 citations indexed

About

Benoît Valiron is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Atomic and Molecular Physics, and Optics. According to data from OpenAlex, Benoît Valiron has authored 34 papers receiving a total of 860 indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Artificial Intelligence, 19 papers in Computational Theory and Mathematics and 9 papers in Atomic and Molecular Physics, and Optics. Recurrent topics in Benoît Valiron's work include Quantum Computing Algorithms and Architecture (21 papers), Quantum Information and Cryptography (15 papers) and Computability, Logic, AI Algorithms (10 papers). Benoît Valiron is often cited by papers focused on Quantum Computing Algorithms and Architecture (21 papers), Quantum Information and Cryptography (15 papers) and Computability, Logic, AI Algorithms (10 papers). Benoît Valiron collaborates with scholars based in France, United States and Canada. Benoît Valiron's co-authors include Peter Selinger, Giulio Chiribella, Paolo Perinotti, Giacomo Mauro D’Ariano, Neil J. Ross, Peter LeFanu Lumsdaine, Marc Baboulin, Timothée Goubault de Brugière, Michele Pagani and Eric van den Berg and has published in prestigious journals such as SHILAP Revista de lepidopterología, Communications of the ACM and Physical Review A.

In The Last Decade

Benoît Valiron

27 papers receiving 824 citations

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author						Papers	Cites
Benoît Valiron	789	413	243	59	58	34	860
Alain Tapp	893 1.1×	546 1.3×	285 1.2×	29 0.5×	60 1.0×	22	960
Aleks Kissinger	490 0.6×	240 0.6×	176 0.7×	47 0.8×	39 0.7×	42	591
Mark Howard	744 0.9×	631 1.5×	148 0.6×	55 0.9×	108 1.9×	19	930
Yu Guo	1.3k 1.7×	1.0k 2.5×	111 0.5×	100 1.7×	67 1.2×	54	1.5k
Kishor Bharti	1.1k 1.4×	628 1.5×	186 0.8×	88 1.5×	53 0.9×	26	1.2k
Nicolas Delfosse	497 0.6×	276 0.7×	155 0.6×	67 1.1×	41 0.7×	19	567
Peter Selinger	1.3k 1.6×	454 1.1×	695 2.9×	101 1.7×	19 0.3×	46	1.4k
Neil J. Ross	742 0.9×	321 0.8×	217 0.9×	92 1.6×	20 0.3×	15	781
Ross Duncan	556 0.7×	211 0.5×	180 0.7×	89 1.5×	15 0.3×	46	655
Robin Kothari	935 1.2×	523 1.3×	250 1.0×	65 1.1×	52 0.9×	31	1.0k

Countries citing papers authored by Benoît Valiron

Since Specialization

Citations

This map shows the geographic impact of Benoît Valiron's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Benoît Valiron with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Benoît Valiron more than expected).

Fields of papers citing papers by Benoît Valiron

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Benoît Valiron. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Benoît Valiron. The network helps show where Benoît Valiron may publish in the future.

Co-authorship network of co-authors of Benoît Valiron

This figure shows the co-authorship network connecting the top 25 collaborators of Benoît Valiron. A scholar is included among the top collaborators of Benoît Valiron based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Benoît Valiron. Benoît Valiron is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Valiron, Benoît, et al.. (2025). The Many-Worlds Calculus. Logical Methods in Computer Science. Volume 21, Issue 2. 1 indexed citations

Valiron, Benoît, et al.. (2024). Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. SPIRE - Sciences Po Institutional REpository.

Bertasi, Eric, Pierre-Emmanuel Emeriau, Nadia Belabas, et al.. (2023). Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing. Quantum. 7. 931–931. 32 indexed citations

Toffano, Zeno, et al.. (2023). On new PageRank computation methods using quantum computing. Quantum Information Processing. 22(3). 3 indexed citations

Valiron, Benoît. (2022). Semantics of quantum programming languages: Classical control, quantum control. Journal of Logical and Algebraic Methods in Programming. 128. 100790–100790.

Brugière, Timothée Goubault de, et al.. (2021). Gaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible Circuits. arXiv (Cornell University). 2(3). 1–26. 8 indexed citations

Brugière, Timothée Goubault de, et al.. (2021). Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures. Science of Computer Programming. 214. 102726–102726. 5 indexed citations

Arrighi, Pablo, Shane Mansfield, Prakash Panangaden, & Benoît Valiron. (2021). Proceedings 17th International Conference on Quantum Physics and Logic. Electronic Proceedings in Theoretical Computer Science. 340.

Valiron, Benoît, et al.. (2021). Categorical Semantics of Reversible Pattern-Matching. Electronic Proceedings in Theoretical Computer Science. 351. 18–33.

10.

Scherer, Artur, et al.. (2017). Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target. Quantum Information Processing. 16(3). 44 indexed citations

11.

Lago, Ugo Dal, et al.. (2017). The geometry of parallelism: classical, probabilistic, and quantum effects. ACM SIGPLAN Notices. 52(1). 833–845.

12.

Assaf, Ali, et al.. (2014). Call-by-value, call-by-name and the vectorial behaviour of the algebraic \lambda-calculus. Logical Methods in Computer Science. Volume 10, Issue 4. 7 indexed citations

13.

Valiron, Benoît & Steve Zdancewic. (2014). Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces. SHILAP Revista de lepidopterología. 24(2). 325–368. 1 indexed citations

14.

Lumsdaine, Peter LeFanu, et al.. (2013). Quipper. 333–342. 164 indexed citations

15.

Valiron, Benoît. (2013). Quantum Computation: From a Programmer’s Perspective. New Generation Computing. 31(1). 1–26. 6 indexed citations

16.

Chiribella, Giulio, Giacomo Mauro D’Ariano, Paolo Perinotti, & Benoît Valiron. (2012). Beyond causally ordered quantum computers. 2 indexed citations

17.

Perdrix, Simon, et al.. (2010). Equivalence of Algebraic Lambda-Calculi - work in progress -. arXiv (Cornell University).

18.

Chiribella, Giulio, Giacomo Mauro D’Ariano, Paolo Perinotti, & Benoît Valiron. (2009). Beyond Quantum Computers. arXiv (Cornell University). 5 indexed citations

19.

Selinger, Peter & Benoît Valiron. (2006). A lambda calculus for quantum computation with classical control. Mathematical Structures in Computer Science. 16(3). 527–552. 86 indexed citations

20.

Valiron, Benoît. (2004). A functional programming language for quantum computation with classical control. uO Research (University of Ottawa). 9 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact