Seuraa
Théo Zimmermann
Théo Zimmermann
Télécom Paris
Vahvistettu sähköpostiosoite verkkotunnuksessa telecom-paris.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
10222014
BBCA: Improving the scalability of* BEAST using random binning
T Zimmermann, S Mirarab, T Warnow
BMC genomics 15 (6), 1-9, 2014
562014
IP repository, a Web based IP reuse infrastructure
P Schindler, K Weidenbacher, T Zimmermann
Proceedings of the IEEE 1999 Custom Integrated Circuits Conference (Cat. No …, 1999
251999
Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant
T Zimmermann, H Herbelin
Conference on Intelligent Computer Mathematics, 2015
182015
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
132019
Challenges in the collaborative evolution of a proof language and its ecosystem
T Zimmermann
Université de Paris, 2019
102019
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
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
32020
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
22022
A grounded theory of Community Package Maintenance Organizations-Registered Report
T Zimmermann, JR Falleri
International Conference on Software Maintenance and Evolution, 2021
22021
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
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
12022
A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse
C Cohen, T Zimmermann
The Coq Workshop, 2021
12021
Coq's Prolog and application to defining semi-automatic tactics
T Zimmermann, H Herbelin
Type Theory Based Tools, 2017
12017
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
2023
A grounded theory of Community Package Maintenance Organizations
T Zimmermann, JR Falleri
2023
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20