Théo Zimmermann
Théo Zimmermann
Inria, Université de Paris, IRIF, CNRS
Email verificata su inria.fr - Home page
Titolo
Citata da
Citata da
Anno
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
6902014
BBCA: Improving the scalability of* BEAST using random binning
T Zimmermann, S Mirarab, T Warnow
BMC genomics 15 (6), 1-9, 2014
452014
Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant
T Zimmermann, H Herbelin
arXiv preprint arXiv:1505.05028, 2015
172015
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
52019
Challenges in the collaborative evolution of a proof language and its ecosystem
T Zimmermann
Université de Paris, 2019
12019
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–16