Théo Zimmermann

Théo Zimmermann

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Natural Sciences / Biological Science
AD Scientific Index ID: 4423218
French National Institute for Research in Computer Science and Control
person_outline Théo Zimmermann's MOST POPULAR ARTICLES
1-) ASTRAL: genome-scale coalescent-based species tree estimation - S Mirarab, R Reaz, MS Bayzid, T Zimmermann, MS Swenson, T Warnow
2-) BBCA: Improving the scalability of* BEAST using random binning - T Zimmermann, S Mirarab, T Warnow
3-) Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant - T Zimmermann, H Herbelin
4-) Impact of switching bug trackers: a case study on a medium-sized open source projectT Zimmermann, AC Artís2019 ieee international conference on software maintenance and evolution …, 2019182019
5-) Challenges in the collaborative evolution of a proof language and its ecosystemT ZimmermannUniversité Paris Cité, 20199*2019