Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

méthodes formelles, logique et langages de programmation, calcul quantique

Site WEB

Publications (55)

Article dans une revue 01/03/2020

Quantum circuits synthesis using Householder transformations

Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Cyril Allouche , Benoit Valiron

Communication dans un congrès 24/06/2019

Realizability in the Unitary Sphere

Alejandro Díaz-Caro , Mauricio Guillermo , Alexandre Miquel , Benoît Valiron , Benoit Valiron

Communication dans un congrès 12/06/2019

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perelle , Benoît Valiron , Benoit Valiron

Communication dans un congrès 08/06/2019

Synthesizing Quantum Circuits via Numerical Optimization

Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Cyril Allouche , Benoit Valiron

Communication dans un congrès 08/11/2018

Toward certified quantum programming

Sébastien Bardin , François Bobot , Valentin Perelle , Christophe Chareton , Benoît Valiron , Benoit Valiron

Communication dans un congrès 27/09/2018

A time synchronization protocol for A664-P7

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha , Frederic Boulanger , Dominique Marcadet , Benoit Valiron , Safouan Taha

Communication dans un congrès 16/04/2018

From Symmetric Pattern-Matching to Quantum Control

Amr Sabry , Benoît Valiron , Juliana Kaizer Vizzotto , Benoit Valiron

Communication dans un congrès 01/01/2018

Reuse method for quantum circuit synthesis

Cyril Allouche , Marc Baboulin , Timothée Goubault de Brugière , Benoît Valiron , Benoit Valiron

Article dans une revue 01/01/2018

A Formal Analysis of Quantum Algorithms

Benoît Valiron , Benoit Valiron

Article dans une revue 01/06/2017

The vectorial λ-calculus

Pablo Arrighi , Alejandro Díaz-Caro , Benoît Valiron , Benoit Valiron