Théo Zimmermann
Théo Zimmermann
Inria, Université de Paris, IRIF, CNRS
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
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
7752014
BBCA: Improving the scalability of* BEAST using random binning
T Zimmermann, S Mirarab, T Warnow
BMC genomics 15 (6), 1-9, 2014
482014
Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant
T Zimmermann, H Herbelin
arXiv preprint arXiv:1505.05028, 2015
192015
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
72019
Challenges in the collaborative evolution of a proof language and its ecosystem
T Zimmermann
Université de Paris, 2019
22019
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
12020
A grounded theory of Community Package Maintenance Organizations-Registered Report
T Zimmermann, JR Falleri
arXiv preprint arXiv:2108.07474, 2021
2021
Défis dans le développement collaboratif et ouvert de l’assistant de preuve Coq et de son écosysteme
T Zimmermann
Journées nationales du Groupement De Recherche CNRS du Génie de la …, 2019
2019
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
Impact of switching bug trackers: a case study
T Zimmermann, AC Artís
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
Thesis abstract:“Design and development of a tool based on Coq to write and format mathematical proofs”
T Zimmermann, H Herbelin
Conference on Intelligent Computer Mathematics, 2016
2016
Boosting BAli-Phy with UPP
C Rottner, T Zimmermann
2013
Planification probabiliste de trajectoires
T Zimmermann
2013
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
The system can't perform the operation now. Try again later.
Articles 1–17