Ana de Almeida Borges

13 papers B 4C 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
J. Autom. Reason.
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
2024 — —
Suitable logics: provability, temporal laws, and formalization.
Ana de Almeida Borges
2024 B conf
UTC Time, Formally Verified.
CPP
Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten
2023 J jnl
An Escape from Vardanyan's Theorem.
J. Symb. Log.
Ana de Almeida Borges, Joost J. Joosten
2023 B conf
Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users.
ITP
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
2022 J jnl
FV Time: a formally verified Coq library.
CoRR
Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten
2022 — conf
Towards a Coq Formalization of a Quantified Modal Logic.
ARQNL@IJCAR
Ana de Almeida Borges
2022 J jnl
Towards a Coq formalization of a quantified modal logic.
CoRR
Ana de Almeida Borges
2021 J jnl
To drive or not to drive: A logical and computational analysis of European transport regulations.
Inf. Comput.
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
2020 B conf
Quantified Reflection Calculus with One Modality.
AiML
Ana de Almeida Borges, Joost J. Joosten
2019 C conf
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations.
TIME
Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten
2018 B conf
The Worm Calculus.
Advances in Modal Logic
Ana de Almeida Borges, Joost J. Joosten
2018 J jnl
When logic lays down the law.
CoRR
Bjørn Jespersen, Ana de Almeida Borges, Jorge del Castillo Tierz, Juan José Conejero Rodríguez, Eric Sancho Adamson, Aleix Solé Sánchez, Nika Pona, Joost J. Joosten