| 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 | 690 | 2014 |
| BBCA: Improving the scalability of* BEAST using random binning T Zimmermann, S Mirarab, T Warnow BMC genomics 15 (6), 1-9, 2014 | 45 | 2014 |
| Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant T Zimmermann, H Herbelin arXiv preprint arXiv:1505.05028, 2015 | 17 | 2015 |
| Impact of switching bug trackers: a case study on a medium-sized open source project T Zimmermann, AC Artís 2019 IEEE International Conference on Software Maintenance and Evolution …, 2019 | 5 | 2019 |
| Challenges in the collaborative evolution of a proof language and its ecosystem T Zimmermann Université de Paris, 2019 | 1 | 2019 |
| A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages T Zimmermann Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020 | | 2020 |
| Challenges in the collaborative development of a complex mathematical software and its ecosystem T Zimmermann Proceedings of the 14th International Symposium on Open Collaboration, 1-3, 2018 | | 2018 |
| Coq's Prolog and application to defining semi-automatic tactics T Zimmermann, H Herbelin Type Theory Based Tools, 2017 | | 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 |
| Impact of switching bug trackers: a case study T Zimmermann, AC Artís | | |
| Défis dans le développement collaboratif et ouvert de l’assistant de preuve Coq et de son écosystème T Zimmermann Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 131, 0 | | |
| 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 WarnowGrainger Distinguished Chair in Engineering, UIUCEmail verificata su illinois.edu
