B. Valiron

发表

P. Selinger, B. Valiron, 2010 .

B. Valiron, G. D’Ariano, P. Perinotti, 2009, 0912.0195.

B. Valiron, G. D’Ariano, P. Perinotti, 2009 .

Benoît Valiron, Pablo Arrighi, Alejandro Díaz-Caro, 2013, ArXiv.

P. Selinger, B. Valiron, 2009 .

S. Perdrix, B. Valiron, Shane Mansfield, 2022, ArXiv.

B. Valiron, Jean Senellart, Shane Mansfield, 2022, 2206.10549.

B. Valiron, 2022, J. Log. Algebraic Methods Program..

B. Valiron, Jean Senellart, Shane Mansfield, 2022, 2206.10549.

Marc de Visme, B. Valiron, R. Vilmart, 2022, 2206.10234.

Marc de Visme, B. Valiron, R. Vilmart, 2022, ArXiv.

B. Valiron, Jean Senellart, Shane Mansfield, 2022, 2022 IEEE International Conference on Quantum Computing and Engineering (QCE).

Benoît Valiron, B. Valiron, 2012, New Generation Computing.

Benoît Valiron, Marc Baboulin, Timothée Goubault de Brugière, 2020, Comput. Phys. Commun..

Benoît Valiron, Renaud Vilmart, Kostia Chardonnet, 2022, MFCS.

B. Valiron, Sébastien Bardin, R. Vilmart, 2021, 2109.06493.

Mingsheng Ying, Zhaowei Xu, Benoit Valiron, 2021, ArXiv.

B. Valiron, François Bobot, Sébastien Bardin, 2020, ESOP.

Christophe Chareton, Franccois Bobot, Valentin Perrelle, 2018, ArXiv.

Michele Pagani, Benoît Valiron, Peter Selinger, 2013, POPL.

Benoît Valiron, Alexander S. Green, Peter LeFanu Lumsdaine, 2013, PLDI.

S. Perdrix, B. Valiron, Shane Mansfield, 2022, MFCS.

Ugo Dal Lago, Benoît Valiron, Claudia Faggian, 2016, POPL.

Jonathan M. Smith, Benoît Valiron, Neil J. Ross, 2015, Commun. ACM.

Jonathan M. Smith, Benoît Valiron, Neil J. Ross, 2014, ArXiv.

Benoît Valiron, Alexander S. Green, Peter LeFanu Lumsdaine, 2013, RC.

P. Selinger, B. Valiron, 2009 .

Benoît Valiron, Marc Baboulin, Simon Martiel, 2022, IEEE Transactions on Quantum Engineering.

S. Perdrix, B. Valiron, Shane Mansfield, 2022, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

B. Valiron, A. Saurin, Kostia Chardonnet, 2023, CSL.

Benoît Valiron, Kostia Chardonnet, Alexis Saurin, 2020, RC.

Benoît Valiron, Marc Baboulin, Simon Martiel, 2021, ACM Transactions on Quantum Computing.

Juliana Kaizer Vizzotto, Amr Sabry, Benoît Valiron, 2018, FoSSaCS.

Juliana Kaizer Vizzotto, Amr Sabry, Benoît Valiron, 2018, ArXiv.

Marc Baboulin, C. Allouche, T. Goubault de Brugière, 2017 .

Hernán C. Melgratti, B. Valiron, Alejandro Díaz-Caro, 2021 .

Christophe Chareton, S'ebastien Bardin, Franccois Bobot, 2020 .

Benoît Valiron, Marc Baboulin, Timothée Goubault de Brugière, 2019, ICCS.

B. Valiron, P. Arrighi, C. Cedzich, 2021, ACM Transactions on Quantum Computing.

B. Valiron, Jean Senellart, Shane Mansfield, 2022, Comput. Phys. Commun..

B. Valiron, Z. Toffano, Théodore Chapuis-Chkaiban, 2023, Quantum Information Processing.

Benoît Valiron, Steve Zdancewic, S. Zdancewic, 2014, ICTAC.

Benoît Valiron, Steve Zdancewic, S. Zdancewic, 2014, Sci. Ann. Comput. Sci..

Benoît Valiron, B. Valiron, 2011, QPL/DCM@ICALP.

Benoît Valiron, B. Valiron, 2004, ArXiv.

Zhaowei Xu, Christophe Chareton, Renaud Vilmart, 2021, ArXiv.

Benoît Valiron, B. Valiron, 2013, Mathematical Structures in Computer Science.

Benoît Valiron, B. Valiron, 2010, DCM.

B. Valiron, Benoı̂t Valiron, 2009 .