Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (31)

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

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è 14/03/2024

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

Autre publication scientifique 13/02/2024

Benoit Valiron

Communication dans un congrè 13/02/2024

Benoit Valiron

Communication dans un congrè 12/02/2024

Hai Nguyen Van , Thibaut Balabonski , Frederic Boulanger , Safouan Taha , Benoit Valiron , Burkhart Wolff , Lina Ye

Article dans une revue 09/02/2024

Benoit Valiron , Neil J. Ross , Peter Selinger , D. Scott Alexander , Jonathan M. Smith

Article dans une revue 09/02/2024

Pablo Arrighi , Alejandro Díaz-Caro , Benoit Valiron