Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (32)

Communication dans un congrès 13/05/2025

Benoit Valiron , Kostia Chardonnet , Louis Lemonnier

Article dans une revue 13/05/2025

Benoit Valiron

Communication dans un congrès 13/05/2025

Benoit Valiron , Marc de Visme , Vitor Fernandes

Communication dans un congrès 13/05/2025

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Proceedings 13/05/2025

Benoit Valiron , Shane Mansfield , Pablo Arrighi , Prakash Panangaden

Proceedings 13/05/2025

Shane Mansfield , Benoit Valiron , Vladimir Zamdzhiev

Communication dans un congrès 13/05/2025

Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perelle , 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 01/04/2025

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