Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Site WEB

Publications (55)

Proceedings 06/09/2021

Benoît Valiron , Shane Mansfield , Pablo Arrighi , Prakash Panangaden , Benoit Valiron

Communication dans un congrès 18/08/2021

Kostia Chardonnet , Benoît Valiron , Renaud Vilmart , Benoit Valiron

Communication dans un congrès 25/06/2021

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

Communication dans un congrès 25/06/2021

Kostia Chardonnet , Benoît Valiron , Renaud Vilmart , Benoit Valiron

Article dans une revue 01/01/2021

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

Communication dans un congrès 01/01/2021

Dongho Lee , Valentin Perrelle , Benoît Valiron , Zhaowei Xu , Benoit Valiron

Article dans une revue 01/01/2021

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

Communication dans un congrès 25/08/2020

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron , Burkhart Wolff , Frederic Boulanger , Benoit Valiron

Communication dans un congrès 09/07/2020

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

Communication dans un congrès 01/07/2020

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