Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (32)

Article dans une revue 09/05/2025

Timothée Goubault de Brugière , Marc Baboulin , Benoit Valiron , Simon Martiel , Cyril Allouche

Communication dans un congrès 19/02/2025

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

Article dans une revue 19/02/2025

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

Communication dans un congrès 19/02/2025

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

Thèse 08/02/2025

Benoit Valiron

Communication dans un congrès 08/02/2025

Peter Selinger , Benoit Valiron

Communication dans un congrès 09/01/2025

Hai Nguyen Van , Thibaut Balabonski , Frederic Boulanger , Chantal Keller , Benoit Valiron , Burkhart Wolff

Communication dans un congrès 08/01/2025

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

Communication dans un congrès 18/12/2024

Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoit Valiron

Communication dans un congrès 16/12/2024

Hai Nguyen Van , Thibaut Balabonski , Frederic Boulanger , Chantal Keller , Benoit Valiron , Burkhart Wolff