Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (30)

Communication dans un congrè 03/09/2024

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

Communication dans un congrè 29/07/2024

Benoit Valiron , Michele Pagani , Andrew Polonski

Article dans une revue 03/06/2024

Timothée Goubault de Brugière , Marc Baboulin , Benoit Valiron , Cyril Allouche

Communication dans un congrè 17/05/2024

Benoit Valiron , Kostia Chardonnet , Louis Lemonnier

Article dans une revue 17/05/2024

Benoit Valiron

Proceedings 17/05/2024

Benoit Valiron , Shane Mansfield , Pablo Arrighi , Prakash Panangaden

Communication dans un congrè 17/04/2024

Amr Sabry , Benoit Valiron , Juliana Kaizer Vizzotto

Article dans une revue 17/04/2024

Benoit Valiron

Communication dans un congrè 15/03/2024

Hai Nguyen Van , Thibaut Balabonski , Frederic Boulanger , Chantal Keller , Benoit Valiron , Burkhart Wolff

Communication dans un congrè 14/03/2024

Frederic Boulanger , Dominique Marcadet , Martin Rayrole , Benoit Valiron , Safouan Taha