Théo Zimmermann

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Théo Zimmermann est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.

1 Profils similaires

7 Contribution à une conférence
6 Article
1 Article de conférence

Does Functional Package Management Enable Reproducible Builds at Scale? Yes.
Malka, J., Zacchiroli, S. & Zimmermann, T., 1 janv. 2025, Proceedings - 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories, MSR 2025. Institute of Electrical and Electronics Engineers Inc., p. 775-787 13 p. (Proceedings - 2025 IEEE/ACM 22nd International Conference on Mining Software Repositories, MSR 2025).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Accès ouvert
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
de Almeida Borges, A., Casanueva Artís, A., Falleri, J. R., Gallego Arias, E. J., Martin-Dorel, É., Palmskog, K., Serebrenik, A. & Zimmermann, T., 1 mars 2025, Dans: Journal of Automated Reasoning. 69, 1, 8.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
The impact of the COVID-19 pandemic on women’s contribution to public code
Casanueva, A., Rossi, D., Zacchiroli, S. & Zimmermann, T., 1 févr. 2025, Dans: Empirical Software Engineering. 30, 1, 25.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Reproducibility of Build Environments through Space and Time
Malka, J., Zacchiroli, S. & Zimmermann, T., 24 mai 2024, Proceedings - 2024 ACM/IEEE 46th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2024. IEEE Computer Society, p. 97-101 5 p. (Proceedings - International Conference on Software Engineering).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Accès ouvert
A grounded theory of community package maintenance organizations
Zimmermann, T. & Falleri, J. R., 1 juil. 2023, Dans: Empirical Software Engineering. 28, 4, 101.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users
de Almeida Borges, A., Artís, A. C., Falleri, J. R., Arias, E. J. G., Martin-Dorel, É., Palmskog, K., Serebrenik, A. & Zimmermann, T., 1 juil. 2023, 14th International Conference on Interactive Theorem Proving, ITP 2023. Naumowicz, A. & Thiemann, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 268).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq
Gross, J., Zimmermann, T., Poddar-Agrawal, M. & Chlipala, A., 1 août 2022, 13th International Conference on Interactive Theorem Proving, ITP 2022. Andronick, J. & de Moura, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 18. (Leibniz International Proceedings in Informatics, LIPIcs; Vol 237).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report
Zimmermann, T., Coolen, J., Gross, J., Pedrot, P. M. & Gilbert, G., 1 janv. 2022, Dans: IEEE Software. 39, 5, p. 32-37 6 p.
Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

Accès ouvert
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages
Zimmermann, T., 27 juin 2020, Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020. Association for Computing Machinery, Inc, p. 711-718 8 p. (Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Accès ouvert
Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project
Zimmermann, T. & Casanueva Artis, A., 1 sept. 2019, Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019. Institute of Electrical and Electronics Engineers Inc., p. 13-23 11 p. 8919119. (Proceedings - 2019 IEEE International Conference on Software Maintenance and Evolution, ICSME 2019).
Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Théo Zimmermann

Profil personnel

Empreinte digitale

Collaborations et principaux domaines de recherche des cinq dernières années

Voir les détails

Does Functional Package Management Enable Reproducible Builds at Scale? Yes.

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

The impact of the COVID-19 pandemic on women’s contribution to public code

Reproducibility of Build Environments through Space and Time

A grounded theory of community package maintenance organizations

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

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

The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report

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

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