| ASTRAL: genome-scale coalescent-based species tree estimation S Mirarab, R Reaz, MS Bayzid, T Zimmermann, MS Swenson, T Warnow Bioinformatics 30 (17), i541-i548, 2014 | 530 | 2014 |
| BBCA: Improving the scalability of* BEAST using random binning T Zimmermann, S Mirarab, T Warnow BMC genomics 15 (6), S11, 2014 | 40 | 2014 |
| Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant T Zimmermann, H Herbelin arXiv preprint arXiv:1505.05028, 2015 | 16 | 2015 |
| Impact of switching bug trackers: a case study on a medium-sized open source project T Zimmermann, AC Artís | 1 | 2019 |
| Challenges in the collaborative development of a complex mathematical software and its ecosystem T Zimmermann | | 2018 |
| Coq's Prolog and application to defining semi-automatic tactics T Zimmermann, H Herbelin | | 2017 |
| Crowdsourcing T Zimmermann Dictionnaire des biens communs, 333-336, 2017 | | 2017 |
| Boosting BAli-Phy with UPP C Rottner, T Zimmermann | | 2013 |
| Planification probabiliste de trajectoires T Zimmermann | | 2013 |
| Défis dans le développement collaboratif et ouvert de l’assistant de preuve Coq et de son écosystème T Zimmermann | | |
| Thesis abstract:“Design and development of a tool based on Coq to write and format mathematical proofs” T Zimmermann, H Herbelin | | |
| Supplementary materials for “BBCA: Improving the scalability of* BEAST using random binning” T Zimmermann, S Mirarab, T Warnow | | |
| Supplementary Material to ASTRAL: Genome-Scale Coalescent-Based Species Tree Estimation S Mirarab, R Reaz, MS Bayzid, T Zimmermann, MS Swenson, T Warnow | | |
Tandy WarnowFounder Professor of Computer Science, UIUCDirección de correo verificada de illinois.edu
