Academic Papers
UTC Time, Formally Verified
- Author: Ana de Almeida Borges, Mireia González Bedmar, Juan Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, and Joost Joosten.
- Year: 2024.
- In Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024). Association for Computing Machinery, New York, NY, USA, 2–13. https://doi.org/10.1145/3636501.3636958.
Suitable logics: provability, temporal laws, and formalization
- Author: Ana de Almeida Borges
- Year: 2023.
- Thesis to obtain the Doctorate Degree in Mathematics and Computer Science, The link is https://mat.ub.edu/pop/doctorat/tesis/Thesis_Ana_Almeida.pdf.
To drive or not to drive: A logical and computational analysis of European transport regulations
- Author: Ana de Almeida Borges, Juan Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar & Joost J. Joosten.
- Year: 2021.
- Information and Computation, 280, 104636.
The second order traffic fine: temporal reasoning in European transport regulations
- Author: Ana de Almeida Borges, Mireia González Bedmar, Juan Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, and Joost Joosten.
- Year: 2019.
- In 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Schloss-Dagstuhl-Leibniz Zentrum für Informatik.