Théo Zimmermann

According to our database, Théo Zimmermann authored at least 17 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reproducibility of Build Environments through Space and Time.

Julien Malka, Stefano Zacchiroli, Théo Zimmermann

CoRR, 2024

2023

A grounded theory of community package maintenance organizations.

Théo Zimmermann, Jean-Rémy Falleri

Empir. Softw. Eng., July, 2023

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

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

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

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

Reliably Reproducing Machine-Checked Proofs with the Coq Platform.

Karl Palmskog, Enrico Tassi, Théo Zimmermann

CoRR, 2022

Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq.

Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

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

A grounded theory of Community Package Maintenance Organizations-Registered Report.

Théo Zimmermann, Jean-Rémy Falleri

CoRR, 2021

2020

A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages.

Théo Zimmermann

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

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

PhD thesis, 2019

Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project.

Théo Zimmermann, Annalí Casanueva Artís

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019

2018

Challenges in the collaborative development of a complex mathematical software and its ecosystem.

Théo Zimmermann

Proceedings of the 14th International Symposium on Open Collaboration, 2018

2016

Design and development of a tool based on Coq to write and format mathematical proofs.

Théo Zimmermann

Proceedings of the Joint Proceedings of the FM4M, 2016

2015

Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant.

Théo Zimmermann, Hugo Herbelin

Proceedings of the CICM 2015, 2015

2014

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

1992

The demon algorithm.

Théo Zimmermann, Peter Salamon

Int. J. Comput. Math., 1992