( en | de | ru )

 

Disambiguierung von "Zimmermann, Théo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ASTRAL: genome-scale coalescent-based species tree estimation.

, , , , , und . Bioinform., 30 (17): 541-548 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Theo Zimmermann

Nicolaos Théodorou

Théo Trouillon

Panagiotis Theodorou

Wolfgang Theobald

 

Weitere Publikationen von Autoren mit dem selben Namen

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users., , , , , , , und . ITP, Volume 268 von LIPIcs, Seite 12:1-12:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Reproducibility of Build Environments through Space and Time., , und . NIER@ICSE, Seite 97-101. ACM, (2024)Design and development of a tool based on Coq to write and format mathematical proofs.. FM4M/MathUI/ThEdu/DP/WIP@CIKM, Volume 1785 von CEUR Workshop Proceedings, Seite 104-105. CEUR-WS.org, (2016)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)ASTRAL: genome-scale coalescent-based species tree estimation., , , , , und . Bioinform., 30 (17): 541-548 (2014)Challenges in the collaborative development of a complex mathematical software and its ecosystem.. OpenSym, Seite 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), Seite 711-718. ACM, (2020)The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report., , , , und . IEEE Softw., 39 (5): 32-37 (2022)Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq., , , und . ITP, Volume 237 von LIPIcs, Seite 18:1-18:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project., und . ICSME, Seite 13-23. IEEE, (2019)