Challenges in the collaborative evolution of a proof language and its ecosystem /
Théo Zimmermann ; sous la direction de Hugo Herbelin et Yann Regis-Gianas. Thèse de
doctorat : Informatique : Université de Paris (2019-....) : 2019
Zimmermann Théo, Siavash Mirarab, Tandy Warnow. BBCA: Improving the scalability of
*BEAST using random binning. BMC Genomics, Springer Nature, 2014, 10.1186/1471-2164-15-s6-s11.