Théo Zimmermann
Théo Zimmermann
Télécom Paris
Verified email at - Homepage
Cited by
Cited by
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
BBCA: Improving the scalability of* BEAST using random binning
T Zimmermann, S Mirarab, T Warnow
BMC genomics 15, 1-9, 2014
Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant
T Zimmermann, H Herbelin
Conference on Intelligent Computer Mathematics, 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
Challenges in the collaborative evolution of a proof language and its ecosystem
T Zimmermann
Université Paris Cité, 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
Coq's Prolog and application to defining semi-automatic tactics
T Zimmermann, H Herbelin
Type Theory Based Tools, 2017
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report
T Zimmermann, J Coolen, J Gross, PM Pédrot, G Gilbert
IEEE Software 39 (5), 32-37, 2022
A grounded theory of Community Package Maintenance Organizations-Registered Report
T Zimmermann, JR Falleri
International Conference on Software Maintenance and Evolution, 2021
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
A de Almeida Borges, AC Artís, JR Falleri, EJG Arias, É Martin-Dorel, ...
14th International Conference on Interactive Theorem Proving (ITP 2023) 268 …, 2023
A grounded theory of community package maintenance organizations
T Zimmermann, JR Falleri
Empirical Software Engineering 28 (4), 101, 2023
Coq Community Survey 2022: Summary of Results
A de Almeida Borges, JR Falleri, J Fehrle, EJG Arias, É Martin-Dorel, ...
13th installment of the Coq Workshop series (Coq workshop 2022), 2022
Reliably Reproducing Machine-Checked Proofs with the Coq Platform
K Palmskog, E Tassi, T Zimmermann
RRRR 2022 - Workshop on Reproducibility and Replication of Research Results, 2022
Automatic test-case reduction in proof assistants: A case study in Coq
J Gross, T Zimmermann, M Poddar-Agrawal, A Chlipala
arXiv preprint arXiv:2202.13823, 2022
Hydras & Co.: Formalized mathematics in Coq for inspiration and entertainment
P Castéran, J Damour, K Palmskog, C Pit-Claudel, T Zimmermann
Journées Francophones des Langages Applicatifs: JFLA 2022, 2022
A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse
C Cohen, T Zimmermann
The Coq Workshop, 2021
Reproducibility of Build Environments through Space and Time
J Malka, S Zacchiroli, T Zimmermann
Proceedings of the 2024 ACM/IEEE 44th International Conference on Software …, 2024
Hydras & Co.
SD Damour, F Hatat, P Manoury, K Palmskog, C Pit-Claudel, ...
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
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
The system can't perform the operation now. Try again later.
Articles 1–20