Théo Zimmermann

28 papers A 2B 2C 1Journal 18Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Docker Does Not Guarantee Reproducibility.
CoRR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2025 J jnl
Determination of the fifth Busy Beaver value.
CoRR
The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs, Konrad Deka, Nathan Fenner, Yannick Forster, Georgi Georgiev, Matthew L. House, Rachel Hunter, Iijil, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, mxdys, Mateusz Nasciszewski, savask, Tristan Stérin, Chris Xu, Jason Yuen, Théo Zimmermann
2025 A conf
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
MSR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2025 J jnl
Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
CoRR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2025 J jnl
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
J. Autom. Reason.
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
2025 J jnl
The impact of the COVID-19 pandemic on women's contribution to public code.
Empir. Softw. Eng.
Annalí Casanueva Artís, Davide Rossi, Stefano Zacchiroli, Théo Zimmermann
2024 — conf
Reproducibility of Build Environments through Space and Time.
NIER@ICSE
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2024 J jnl
Reproducibility of Build Environments through Space and Time.
CoRR
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
2024 J jnl
The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code.
CoRR
Annalí Casanueva Artís, Davide Rossi, Stefano Zacchiroli, Théo Zimmermann
2023 J jnl
A grounded theory of community package maintenance organizations.
Empir. Softw. Eng.
Théo Zimmermann, Jean-Rémy Falleri
2023 B conf
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
ITP
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
2022 J jnl
Advantages of maintaining a multi-task project-specific bot: an experience report.
CoRR
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
2022 B conf
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq.
ITP
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala
2022 J jnl
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq.
CoRR
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala
2022 J jnl
Reliably Reproducing Machine-Checked Proofs with the Coq Platform.
CoRR
Karl Palmskog, Enrico Tassi, Théo Zimmermann
2022 J jnl
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report.
IEEE Softw.
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
2021 J jnl
A grounded theory of Community Package Maintenance Organizations-Registered Report.
CoRR
Théo Zimmermann, Jean-Rémy Falleri
2021 J jnl
Extending the team with a project-specific bot.
CoRR
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
2020 — conf
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages.
ICSE (Workshops)
Théo Zimmermann
2020 J jnl
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages.
CoRR
Théo Zimmermann
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 conf
Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project.
ICSME
Théo Zimmermann, Annalí Casanueva Artís
2018 C conf
Challenges in the collaborative development of a complex mathematical software and its ecosystem.
OpenSym
Théo Zimmermann
2016 — conf
Design and development of a tool based on Coq to write and format mathematical proofs.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Théo Zimmermann
2015 — conf
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant.
CICM (Work in Progress)
Théo Zimmermann, Hugo Herbelin
2015 J jnl
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant.
CoRR
Théo Zimmermann, Hugo Herbelin
2014 J jnl
ASTRAL: genome-scale coalescent-based species tree estimation.
Bioinform.
Siavash Mirarab, Rezwana Reaz, Md. Shamsuzzoha Bayzid, Théo Zimmermann, M. Shel Swenson, Tandy J. Warnow
1992 J jnl
The demon algorithm.
Int. J. Comput. Math.
Théo Zimmermann, Peter Salamon