Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (30)

Article dans une revue 18/12/2024

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

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

Communication dans un congrè 13/12/2024

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

Communication dans un congrè 14/11/2024

Ugo Dal Lago , Claudia Faggian , Benoit Valiron , Akira Yoshimizu

Communication dans un congrè 14/11/2024

Ugo Dal Lago , Claudia Faggian , Benoit Valiron , Akira Yoshimizu

Proceedings 07/11/2024

Shane Mansfield , Benoit Valiron , Vladimir Zamdzhiev

Communication dans un congrè 20/10/2024

Benoit Valiron , Marc de Visme , Vitor Fernandes

Article dans une revue 05/09/2024

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

Communication dans un congrè 03/09/2024

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