Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (34)

Communication dans un congrès 26/08/2025

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

Communication dans un congrès 26/08/2025

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

Proceedings 22/07/2025

Benoit Valiron , Shane Mansfield , Pablo Arrighi , Prakash Panangaden

Proceedings 22/07/2025

Shane Mansfield , Benoit Valiron , Vladimir Zamdzhiev

Communication dans un congrès 22/07/2025

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

Communication dans un congrès 22/07/2025

Kostia Chardonnet , Alexis Saurin , Benoit Valiron

Communication dans un congrès 22/07/2025

Benoit Valiron , Kostia Chardonnet , Louis Lemonnier

Article dans une revue 22/07/2025

Benoit Valiron

Communication dans un congrès 22/07/2025

Benoit Valiron , Marc de Visme , Vitor Fernandes

Communication dans un congrès 03/07/2025

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