Seguir
Théo Zimmermann
Théo Zimmermann
Télécom Paris
E-mail confirmado em telecom-paris.fr - Página inicial
Título
Citado por
Citado por
Ano
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
12662014
BBCA: Improving the scalability of* BEAST using random binning
T Zimmermann, S Mirarab, T Warnow
BMC genomics 15, 1-9, 2014
632014
Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant
T Zimmermann, H Herbelin
Conference on Intelligent Computer Mathematics, 2015
262015
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
182019
Challenges in the collaborative evolution of a proof language and its ecosystem
T Zimmermann
Université Paris Cité, 2019
9*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
82020
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
42024
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
3*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
32022
Coq's Prolog and application to defining semi-automatic tactics
T Zimmermann, H Herbelin
Type Theory Based Tools, 2017
32017
A grounded theory of community package maintenance organizations
T Zimmermann, JR Falleri
Empirical Software Engineering 28 (4), 101, 2023
22023
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
22022
A grounded theory of Community Package Maintenance Organizations-Registered Report
T Zimmermann, JR Falleri
International Conference on Software Maintenance and Evolution, 2021
22021
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
12023
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
12022
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
12022
A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse
C Cohen, T Zimmermann
The Coq Workshop, 2021
12021
The impact of the COVID-19 pandemic on women’s contribution to public code
A Casanueva, D Rossi, S Zacchiroli, T Zimmermann
Empirical Software Engineering 30 (1), 1-35, 2025
2025
Does Functional Package Management Enable Reproducible Builds at Scale? Yes
J Malka, S Zacchiroli, T Zimmermann
arXiv preprint arXiv:2501.15919, 2025
2025
Coq Platform docs: A Compilation of Short Interactive Tutorials and How-To Guides for Coq
T Lamiaux, P Rousselin, T Zimmermann
The Coq Workshop 2024, 2024
2024
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20