Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Site WEB

Publications (55)

Article dans une revue 15/07/2025

Kostia Chardonnet , Alexis Saurin , Benoît Valiron , Benoit Valiron

Article dans une revue 01/05/2025

Kostia Chardonnet , Marc de Visme , Benoît Valiron , Renaud Vilmart , Benoit Valiron

Communication dans un congrès 01/01/2025

Claudia Faggian , Gaetan Lopez , Benoît Valiron , Benoit Valiron

Communication dans un congrès 01/10/2024

Benoît Valiron , Marc de Visme , Vitor Fernandes , Benoit Valiron

HDR 24/09/2024

Benoît Valiron , Benoit Valiron

Communication dans un congrès 01/01/2024

Kostia Chardonnet , Louis Lemonnier , Benoît Valiron , Benoit Valiron

Chapitre d'ouvrage 01/08/2023

Christophe Chareton , Sébastien Bardin , Dong Ho Lee , Benoît Valiron , Renaud Vilmart , Zhaowei Xu , Benoit Valiron

Communication dans un congrès 24/07/2023

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron , Benoit Valiron

Communication dans un congrès 01/07/2023

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron , Benoit Valiron

Proceedings 01/07/2023

Shane Mansfield , Benoît Valiron , Vladimir Zamdzhiev , Benoit Valiron