Annalí Casanueva Artís

According to our database, Annalí Casanueva Artís authored at least 4 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2025

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., February, 2025

2024

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

Dataset, July, 2024

2019

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

Théo Zimmermann, Annalí Casanueva Artís

Proceedings of the 2019 IEEE International Conference on Software Maintenance and Evolution, 2019