| To drive or not to drive: A logical and computational analysis of European transport regulations A de Almeida Borges, JJC Rodríguez, D Fernández-Duque, MG Bedmar, ... Information and Computation 280, 104636, 2021 | 7 | 2021 |
| Quantified Reflection Calculus with one modality A de Almeida Borges, JJ Joosten Advances in Modal Logic 13, 13-32, 2020 | 6* | 2020 |
| UTC Time, Formally Verified A de Almeida Borges, M González Bedmar, J Conejero Rodríguez, ... arXiv e-prints, arXiv: 2209.14227, 2023 | 5* | 2023 |
| The Worm Calculus A de Almeida Borges, JJ Joosten Advances in Modal Logic 12, 13-27, 2018 | 5 | 2018 |
| An escape from Vardanyan’s Theorem A de Almeida Borges, JJ Joosten The Journal of Symbolic Logic 88 (4), 1613--1638, 2023 | 4 | 2023 |
| Towards a Coq formalization of a quantified modal logic A de Almeida Borges Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL …, 2022 | 4 | 2022 |
| On the herbrandised interpretation for nonstandard arithmetic A de Almeida Borges Master's thesis, Universidade de Lisboa, 2016 | 2 | 2016 |
| Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users A de Almeida Borges, AC Artís, JR Falleri, EJG Arias, É Martin-Dorel, ... 14th International Conference on Interactive Theorem Proving (ITP 2023) 268 …, 2023 | 1 | 2023 |
| Coq Community Survey 2022: Summary of Results A de Almeida Borges, JR Falleri, J Fehrle, EJG Arias, É Martin-Dorel, ... 13th installment of the Coq Workshop series (Coq Workshop 2022), 2022 | 1 | 2022 |
| The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations A de Almeida Borges, JJC Rodríguez, D Fernández-Duque, MG Bedmar, ... LIPIcs 147, 6:1--6:16, 2019 | 1 | 2019 |
| Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic A de Almeida Borges, JJ Joosten arXiv:2312.14727 [math.LO], 2023 | | 2023 |
| The Quantified Reflection Calculus as a modal logic A de Almeida Borges, JJ Joosten Workshop on Decidable Fragments of First-order Modal Logic (DECFOML 2022), 2022 | | 2022 |
| A calculus for worms A de Almeida Borges Wormshop 2017, 2017 | | 2017 |
| Gödel’s (‘dialectica’) and monotone functional interpretations of arithmetic A de Almeida Borges | | 2016 |
| Workshop on Proof Theory, Modal Logic and Reflection Principles BL Dmitrievich, FD David, PF Nikolaevich, KS Lvovich, ... | | |
Joost J. JoostenProfesor of Logic, University of BarcelonaVerified email at ub.edu
