Annalí Casanueva Artís

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

Collaborative distances:

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

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

2023

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

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

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