Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (31)

Communication dans un congrè 19/02/2025

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

Communication dans un congrè 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

Thèse 08/02/2025

Benoit Valiron

Communication dans un congrè 08/02/2025

Peter Selinger , Benoit Valiron

Communication dans un congrè 09/01/2025

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

Communication dans un congrè 08/01/2025

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

Communication dans un congrè 18/12/2024

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

Communication dans un congrè 16/12/2024

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

Article dans une revue 05/09/2024

Artur Scherer , Benoit Valiron , Mau Siun-Chuon , D. Scott Alexander , Eric van den Berg , Thomas Chapuran