( en | de | ru )

 

Disambiguation of "Zimmermann, Théo"

Author of the publication

copydeleteadd this publication to your clipboard
Extending the team with a project-specific bot.

, , , , and . CoRR, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Theo Zimmermann

Nicolaos Théodorou

Théo Trouillon

Wolfgang Theobald

Panagiotis Theodorou

 

Other publications of authors with the same name

Advantages of maintaining a multi-task project-specific bot: an experience report., , , , and . CoRR, (2022)Reproducibility of Build Environments through Space and Time., , and . CoRR, (2024)Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users., , , , , , , and . ITP, volume 268 of LIPIcs, page 12:1-12:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Extending the team with a project-specific bot., , , , and . CoRR, (2021)A grounded theory of Community Package Maintenance Organizations-Registered Report., and . CoRR, (2021)Design and development of a tool based on Coq to write and format mathematical proofs.. FM4M/MathUI/ThEdu/DP/WIP@CIKM, volume 1785 of CEUR Workshop Proceedings, page 104-105. CEUR-WS.org, (2016)A grounded theory of community package maintenance organizations., and . Empir. Softw. Eng., 28 (4): 101 (July 2023)Challenges in the collaborative development of a complex mathematical software and its ecosystem.. OpenSym, page 22:1-22:3. ACM, (2018)A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages.. ICSE (Workshops), page 711-718. ACM, (2020)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).. Paris Diderot University, France, (2019)