Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (33)

Communication dans un congrès 03/07/2025

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

Article dans une revue 26/06/2025

Benoit Valiron

Communication dans un congrès 26/06/2025

Benoit Valiron , Marc de Visme , Vitor Fernandes

Communication dans un congrès 26/06/2025

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

Article dans une revue 26/06/2025

Nicolas Heurtel , Shane Mansfield , Jean Senellart , Benoit Valiron

Communication dans un congrès 26/06/2025

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

Proceedings 26/06/2025

Shane Mansfield , Benoit Valiron , Vladimir Zamdzhiev

Communication dans un congrès 13/05/2025

Benoit Valiron , Kostia Chardonnet , Louis Lemonnier

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