Juan José Conejero Rodríguez

According to our database, Juan José Conejero Rodríguez authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

UTC Time, Formally Verified.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2022

FV Time: a formally verified Coq library.

Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten

CoRR, 2022

2021

To drive or not to drive: A logical and computational analysis of European transport regulations.

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten

Inf. Comput., 2021

2019

The Second Order Traffic Fine: Temporal Reasoning in European Transport Regulations.

Ana de Almeida Borges, Juan José Conejero Rodríguez, David Fernández-Duque, Mireia González Bedmar, Joost J. Joosten

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

2018

When logic lays down the law.

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

CoRR, 2018