Théo Zimmermann

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 16

Top Venues

CoRR

ITP

Bioinform.

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Julien Malka, Stefano Zacchiroli, Théo Zimmermann
Reproducibility of Build Environments through Space and Time. CoRR (2024)
Julien Malka, Stefano Zacchiroli, Théo Zimmermann
Reproducibility of Build Environments through Space and Time. NIER@ICSE (2024)
Théo Zimmermann, Jean-Rémy Falleri
A grounded theory of community package maintenance organizations. Empir. Softw. Eng. 28 (4) (2023)
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
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. ITP (2023)
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. IEEE Softw. 39 (5) (2022)
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
Advantages of maintaining a multi-task project-specific bot: an experience report. CoRR (2022)
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. ITP (2022)
Karl Palmskog, Enrico Tassi, Théo Zimmermann
Reliably Reproducing Machine-Checked Proofs with the Coq Platform. CoRR (2022)
Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. CoRR (2022)
Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert
Extending the team with a project-specific bot. CoRR (2021)
Théo Zimmermann, Jean-Rémy Falleri
A grounded theory of Community Package Maintenance Organizations-Registered Report. CoRR (2021)
Théo Zimmermann
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages. ICSE (Workshops) (2020)
Théo Zimmermann
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages. CoRR (2020)
Théo Zimmermann, Annalí Casanueva Artís
Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project. ICSME (2019)
Théo Zimmermann
Challenges in the collaborative development of a complex mathematical software and its ecosystem. OpenSym (2018)
Théo Zimmermann
Design and development of a tool based on Coq to write and format mathematical proofs. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Théo Zimmermann, Hugo Herbelin
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. CICM (Work in Progress) (2015)
Théo Zimmermann, Hugo Herbelin
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. CoRR (2015)
Siavash Mirarab, Rezwana Reaz, Md. Shamsuzzoha Bayzid, Théo Zimmermann, M. Shel Swenson, Tandy J. Warnow
ASTRAL: genome-scale coalescent-based species tree estimation. Bioinform. 30 (17) (2014)
Théo Zimmermann, Peter Salamon
The demon algorithm. Int. J. Comput. Math. 42 (1-2) (1992)

Théo Zimmermann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Théo Zimmermann