Louis Gauthier
Orcid: 0009-0003-0754-9290
According to our database1,
Louis Gauthier
authored at least 2 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification.
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.
Bioinform., 2019