Louis Gauthier

According to our database, Louis Gauthier authored at least 2 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification.

Louis Gauthier, Virgile Prevosto, Julien Signoles

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2019

SodaPop: a forward simulation suite for the evolutionary dynamics of asexual populations on protein fitness landscapes.

Louis Gauthier, Rémicia Di Franco, Adrian W. R. Serohijos

Bioinform., 2019