Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

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

Publications (32)

Article dans une revue 05/09/2024

Artur Scherer , Benoit Valiron , Mau Siun-Chuon , D. Scott Alexander , Eric van den Berg , Thomas Chapuran

Communication dans un congrès 03/09/2024

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

Communication dans un congrès 29/07/2024

Benoit Valiron , Michele Pagani , Andrew Polonski

Article dans une revue 17/04/2024

Benoit Valiron

Communication dans un congrès 17/04/2024

Amr Sabry , Benoit Valiron , Juliana Kaizer Vizzotto

Communication dans un congrès 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ès 13/02/2024

Benoit Valiron

Communication dans un congrès 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