| 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 | 1 | 2023 |
| A grounded theory of Community Package Maintenance Organizations T Zimmermann, JR Falleri | 1 | 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 | 1 | 2022 |
| 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 | 4* | 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 | 1 | 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 | 1 | 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 | 1 | 2022 |
| A Nix toolbox for reproducible Coq environments, Continuous Integration and artifact reuse C Cohen, T Zimmermann The Coq Workshop, 2021 | 1 | 2021 |
| A grounded theory of Community Package Maintenance Organizations-Registered Report T Zimmermann, JR Falleri International Conference on Software Maintenance and Evolution, 2021 | 2 | 2021 |
| 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 | 3 | 2020 |
| Challenges in the collaborative evolution of a proof language and its ecosystem T Zimmermann Université Paris Cité, 2019 | 11* | 2019 |
| 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 | 14 | 2019 |
| 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 |
| Coq's Prolog and application to defining semi-automatic tactics T Zimmermann, H Herbelin Type Theory Based Tools, 2017 | 3 | 2017 |
| 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 |
| Automatic and transparent transfer of theorems along isomorphisms in the Coq proof assistant T Zimmermann, H Herbelin Conference on Intelligent Computer Mathematics, 2015 | 20 | 2015 |
| BBCA: Improving the scalability of* BEAST using random binning T Zimmermann, S Mirarab, T Warnow BMC genomics 15, 1-9, 2014 | 58 | 2014 |
Tandy WarnowGrainger Distinguished Chair in Engineering, UIUCVerified email at illinois.edu
