Mireia González Bedmar
Ana de Almeida Borges
Mireia González Bedmar
Juan José Conejero Rodríguez
Eduardo Hermo Reyes
Joaquim Casals Buñuel
Joost J. Joosten
UTC Time, Formally Verified.
2-13
2024
CPP
https://doi.org/10.1145/3636501.3636958
conf/cpp/2024
db/conf/cpp/cpp2024.html#BorgesBRRBJ24
Ana de Almeida Borges
Mireia González Bedmar
Juan José Conejero Rodríguez
Eduardo Hermo Reyes
Joaquim Casals Buñuel
Joost J. Joosten
FV Time: a formally verified Coq library.
2022
abs/2209.14227
CoRR
https://doi.org/10.48550/arXiv.2209.14227
db/journals/corr/corr2209.html#abs-2209-14227
Ana de Almeida Borges
Juan José Conejero Rodríguez
David Fernández-Duque
Mireia González Bedmar
Joost J. Joosten
To drive or not to drive: A logical and computational analysis of European transport regulations.
104636
2021
280
Inf. Comput.
https://doi.org/10.1016/j.ic.2020.104636
https://www.wikidata.org/entity/Q120486852
db/journals/iandc/iandc280.html#BorgesRFBJ21
Ana de Almeida Borges
Juan José Conejero Rodríguez
David Fernández-Duque
Mireia González Bedmar
Joost J. Joosten
The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations.
6:1-6:16
2019
TIME
https://doi.org/10.4230/LIPIcs.TIME.2019.6
conf/time/2019
db/conf/time/time2019.html#BorgesRFBJ19
Ana de Almeida Borges
Joaquim Casals Buñuel
David Fernández-Duque
Joost J. Joosten
Eduardo Hermo Reyes
Juan José Conejero Rodríguez