Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (34)

Article dans une revue 26/06/2025

Nicolas Heurtel , Shane Mansfield , Jean Senellart , Benoit Valiron

Communication dans un congrès 13/05/2025

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Communication dans un congrès 13/05/2025

Kostia Chardonnet , Benoit Valiron , Renaud Vilmart

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

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

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 08/02/2025

Peter Selinger , Benoit Valiron

Thèse 08/02/2025

Benoit Valiron

Communication dans un congrès 09/01/2025

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