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è 01/04/2025

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

Communication dans un congrè 01/04/2025

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

Article dans une revue 21/03/2025

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

Proceedings 20/03/2025

Benoit Valiron , Shane Mansfield , Pablo Arrighi , Prakash Panangaden

Proceedings 20/03/2025

Shane Mansfield , Benoit Valiron , Vladimir Zamdzhiev

Communication dans un congrè 20/03/2025

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

Communication dans un congrè 20/03/2025

Kostia Chardonnet , Benoit Valiron , Renaud Vilmart

Communication dans un congrè 20/03/2025

Benoit Valiron , Kostia Chardonnet , Louis Lemonnier

Article dans une revue 20/03/2025

Benoit Valiron

Communication dans un congrè 20/03/2025

Benoit Valiron , Marc de Visme , Vitor Fernandes