default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThéo Zimmermann
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j5]Annalí Casanueva Artís, Davide Rossi
, Stefano Zacchiroli, Théo Zimmermann:
The impact of the COVID-19 pandemic on women's contribution to public code. Empir. Softw. Eng. 30(1): 25 (2025)- 2024
- [c7]Julien Malka, Stefano Zacchiroli, Théo Zimmermann:
Reproducibility of Build Environments through Space and Time. NIER@ICSE 2024: 97-101 - [i10]Julien Malka, Stefano Zacchiroli, Théo Zimmermann:
Reproducibility of Build Environments through Space and Time. CoRR abs/2402.00424 (2024) - [i9]Annalí Casanueva Artís, Davide Rossi, Stefano Zacchiroli, Théo Zimmermann:
The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code. CoRR abs/2410.01454 (2024) - 2023
- [j4]Théo Zimmermann, Jean-Rémy Falleri:
A grounded theory of community package maintenance organizations. Empir. Softw. Eng. 28(4): 101 (2023) - [c6]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: 12:1-12:18 - 2022
- [j3]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): 32-37 (2022) - [c5]Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala:
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. ITP 2022: 18:1-18:18 - [i8]Jason Gross, Théo Zimmermann, Miraya Poddar-Agrawal, Adam Chlipala:
Automatic Test-Case Reduction in Proof Assistants: A Case Study in Coq. CoRR abs/2202.13823 (2022) - [i7]Karl Palmskog, Enrico Tassi, Théo Zimmermann:
Reliably Reproducing Machine-Checked Proofs with the Coq Platform. CoRR abs/2203.09835 (2022) - [i6]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 abs/2204.12758 (2022) - 2021
- [i5]Théo Zimmermann, Jean-Rémy Falleri:
A grounded theory of Community Package Maintenance Organizations-Registered Report. CoRR abs/2108.07474 (2021) - [i4]Théo Zimmermann, Julien Coolen, Jason Gross, Pierre-Marie Pédrot, Gaëtan Gilbert:
Extending the team with a project-specific bot. CoRR abs/2112.07365 (2021) - 2020
- [c4]Théo Zimmermann:
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages. ICSE (Workshops) 2020: 711-718 - [i3]Théo Zimmermann:
A first look at an emerging model of community organizations for the long-term maintenance of ecosystems' packages. CoRR abs/2004.03347 (2020)
2010 – 2019
- 2019
- [b1]Théo Zimmermann:
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 - [c3]Théo Zimmermann, Annalí Casanueva Artís:
Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project. ICSME 2019: 13-23 - 2018
- [c2]Théo Zimmermann:
Challenges in the collaborative development of a complex mathematical software and its ecosystem. OpenSym 2018: 22:1-22:3 - 2016
- [c1]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: 104-105 - 2015
- [i2]Théo Zimmermann, Hugo Herbelin:
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. CICM (Work in Progress) 2015: 50-62 - [i1]Théo Zimmermann, Hugo Herbelin:
Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant. CoRR abs/1505.05028 (2015) - 2014
- [j2]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): 541-548 (2014)
1990 – 1999
- 1992
- [j1]Théo Zimmermann, Peter Salamon:
The demon algorithm. Int. J. Comput. Math. 42(1-2): 21-31 (1992)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-22 19:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
