Dynamical analysis of alpha-Euclidean algorithms. - Jérémie Bourdon; Benoit Daireaux; Brigitte Vallée (J. Algorithms, 2002)

Dynamical Analysis of the Parametrized Lehmer-Euclid Algorithm. - Benoit Daireaux; Brigitte Vallée (Comb. Probab. Comput., 2004)

Analysis of Fast Versions of the Euclid Algorithm. - Eda Cesaratto; Benoit Daireaux; Loïck Lhote; Véronique Maume-Deschamps; Brigitte Vallée (ANALCO, 2007)

Regularity of the Euclid Algorithm; application to the analysis of fast GCD Algorithms. - Eda Cesaratto; Julien Clément 001; Benoit Daireaux; Loïck Lhote; Véronique Maume-Deschamps; Brigitte Vallée (J. Symb. Comput., 2009)

A Goal Based Approach on top of Petri Nets. - Nejm Saadallah; Benoit Daireaux (PNSE, 2011)

On Transitions Functions Model for Decision-Making in Offshore Operations. - Rodica Mihai; Benoit Daireaux; Adrian Ambrus; Eric Cayeux; Liv Carlsen (ICCA, 2022)