The demon algorithm. - Théo Zimmermann; Peter Salamon (Int. J. Comput. Math., 1992)

ASTRAL: genome-scale coalescent-based species tree estimation. - Siavash Mirarab; Rezwana Reaz; Md. Shamsuzzoha Bayzid; Théo Zimmermann; M. Shel Swenson; Tandy J. Warnow (Bioinform., 2014)

Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. - Théo Zimmermann; Hugo Herbelin (CICM (Work in Progress), 2015)

Design and development of a tool based on Coq to write and format mathematical proofs. - Théo Zimmermann (FM4M/MathUI/ThEdu/DP/WIP@CIKM, 2016)

Challenges in the collaborative development of a complex mathematical software and its ecosystem. - Théo Zimmermann (OpenSym, 2018)

Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project. - Théo Zimmermann; Annalí Casanueva Artís (ICSME, 2019)

Challenges in the collaborative evolution of a proof language and its ecosystem. (Défis dans l'évolution collaborative d'un langage de preuve et de son écosystème). - Théo Zimmermann (2019)

A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages. - Théo Zimmermann (ICSE (Workshops), 2020)

A grounded theory of Community Package Maintenance Organizations-Registered Report. - Théo Zimmermann; Jean-Rémy Falleri (CoRR, 2021)

Extending the team with a project-specific bot. - Théo Zimmermann; Julien Coolen; Jason Gross; Pierre-Marie Pédrot; Gaëtan Gilbert (CoRR, 2021)

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. - Jason Gross; Théo Zimmermann; Miraya Poddar-Agrawal; Adam Chlipala (ITP, 2022)

Reliably Reproducing Machine-Checked Proofs with the Coq Platform. - Karl Palmskog; Enrico Tassi; Théo Zimmermann (CoRR, 2022)

Advantages of maintaining a multi-task project-specific bot: an experience report. - Théo Zimmermann; Julien Coolen; Jason Gross; Pierre-Marie Pédrot; Gaëtan Gilbert (CoRR, 2022)

The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. - Théo Zimmermann; Julien Coolen; Jason Gross; Pierre-Marie Pédrot; Gaëtan Gilbert (IEEE Softw., 2022)

A grounded theory of community package maintenance organizations. - Théo Zimmermann; Jean-Rémy Falleri (Empir. Softw. Eng., 2023)

Reproducibility of Build Environments through Space and Time. - Julien Malka; Stefano Zacchiroli; Théo Zimmermann (NIER@ICSE, 2024)

The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code - Replication Package. - Davide Rossi; Stefano Zacchiroli; Théo Zimmermann; Annalí Casanueva Artís (Zenodo, 2024)

Does Functional Package Management Enable Reproducible Builds at Scale? Yes. - Julien Malka; Stefano Zacchiroli; Théo Zimmermann (MSR, 2025)

The impact of the COVID-19 pandemic on women's contribution to public code. - Annalí Casanueva Artís; Davide Rossi; Stefano Zacchiroli; Théo Zimmermann (Empir. Softw. Eng., 2025)

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. - Ana de Almeida Borges; Annalí Casanueva Artís; Jean-Rémy Falleri; Emilio Jesús Gallego Arias; Érik Martin-Dorel; Karl Palmskog; Alexander Serebrenik; Théo Zimmermann (J. Autom. Reason., 2025)