Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project. - Théo Zimmermann; Annalí Casanueva Artís (ICSME, 2019)

The Impact of the COVID-19 Pandemic on Women's Contribution to Public Code - Replication Package. - Davide Rossi; Stefano Zacchiroli; Théo Zimmermann; Annalí Casanueva Artís (Zenodo, 2024)

The impact of the COVID-19 pandemic on women's contribution to public code. - Annalí Casanueva Artís; Davide Rossi; Stefano Zacchiroli; Théo Zimmermann (Empir. Softw. Eng., 2025)

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 (J. Autom. Reason., 2025)