Annalí Casanueva Artís

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

Collaborative distances:

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

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