| 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 | 11 | 2021 |
| UTC Time, Formally Verified A de Almeida Borges, M González Bedmar, J Conejero Rodríguez, ... arXiv e-prints, arXiv: 2209.14227, 2023 | 8* | 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 | 7 | 2022 |
| Quantified Reflection Calculus with one modality A de Almeida Borges, JJ Joosten Advances in Modal Logic 13, 13-32, 2020 | 7* | 2020 |
| An escape from Vardanyan’s Theorem A de Almeida Borges, JJ Joosten The Journal of Symbolic Logic 88 (4), 1613--1638, 2023 | 6 | 2023 |
| The Worm Calculus A de Almeida Borges, JJ Joosten Advances in Modal Logic 12, 13-27, 2018 | 5 | 2018 |
| On the herbrandised interpretation for nonstandard arithmetic A de Almeida Borges Master's thesis, Universidade de Lisboa, 2016 | 4 | 2016 |
| Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic A de Almeida Borges, JJ Joosten arXiv:2312.14727 [math.LO], 2023 | 2 | 2023 |
| 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 |
| 14th International Conference on Interactive Theorem Proving (ITP 2023) A Koutsoukou-Argyraki, R Krebbers, M Abdulaziz, C Madlener, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 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 |
| Suitable logics: provability, temporal laws, and formalization AAGV Borges Universitat de Barcelona, 2024 | | 2024 |
| 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 FD David, G Japaridze, J Joosten, L Carlucci, P Shafer, ... | | |
| Workshop on Proof Theory, Modal Logic and Reflection Principles BL Dmitrievich, FD David, PF Nikolaevich, KS Lvovich, ... | | |
Joost J. JoostenProfesor of Logic, University of Barcelona在 ub.edu 的电子邮件经过验证