Follow
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
9422014
BBCA: Improving the scalability of* BEAST using random binning
T Zimmermann, S Mirarab, T Warnow
BMC genomics 15 (6), 1-9, 2014
542014
Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant
T Zimmermann, H Herbelin
Conference on Intelligent Computer Mathematics, 2015
202015
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
122019
Challenges in the collaborative evolution of a proof language and its ecosystem
T Zimmermann
Université de Paris, 2019
92019
Coq's Prolog and application to defining semi-automatic tactics
T Zimmermann, H Herbelin
Type Theory Based Tools, 2017
22017
Advantages of maintaining a multi-task project-specific bot: an experience report
T Zimmermann, J Coolen, J Gross, PM Pédrot, G Gilbert
IEEE Software, 2022
12022
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
12022
Extending the team with a project-specific bot
T Zimmermann, J Coolen, J Gross, PM Pédrot, G Gilbert
arXiv preprint arXiv:2112.07365, 2021
12021
A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse
C Cohen, T Zimmermann
The Coq Workshop, 2021
12021
A grounded theory of Community Package Maintenance Organizations-Registered Report
T Zimmermann, JR Falleri
International Conference on Software Maintenance and Evolution, 2021
12021
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
Coq Community Survey 2022: Summary of Results
A de Almeida Borges, JR Falleri, J Fehrle, EJG Arias, É Martin-Dorel, ...
The Coq Workshop 2022, 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
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
2022
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
EAQSE: International Workshop on Empirical Answers to Questions of Software …, 2018
2018
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
The system can't perform the operation now. Try again later.
Articles 1–20