Login / Signup
Annalí Casanueva Artís
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 2
Top Topics
Case Study
Bug Fix
Rapid Growth
Open Source
Top Venues
ITP
ICSME
</>
Publications
</>
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)
Théo Zimmermann
,
Annalí Casanueva Artís
Impact of Switching Bug Trackers: A Case Study on a Medium-Sized Open Source Project.
ICSME
(2019)