Ana de Almeida Borges
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2018–2024
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CPP | UTC Time, Formally Verified. | Ana de Almeida Borges, Mireia Gonzlez Bedmar, Juan Jos Conejero Rodrguez, Eduardo Hermo Reyes, Joaquim Casals Buuel, Joost J. Joosten |
| 2023 | ITP | Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users. | Ana de Almeida Borges, Annal Casanueva Arts, Jean-Rmy Falleri, Emilio Jess Gallego Arias, rik Martin-Dorel, Karl Palmskog, Alexander Serebrenik, Tho Zimmermann |
| 2022 | CADE | Towards a Coq Formalization of a Quantified Modal Logic. | Ana de Almeida Borges |
| 2020 | AiML | Quantified Reflection Calculus with One Modality. | Ana de Almeida Borges, Joost J. Joosten |
| 2019 | TIME | The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations. | Ana de Almeida Borges, Juan Jos Conejero Rodrguez, David Fernndez-Duque, Mireia Gonzlez Bedmar, Joost J. Joosten |
| 2018 | AiML | The Worm Calculus. | Ana de Almeida Borges, Joost J. Joosten |