Mireia González Bedmar

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Temporal Constraint Networks

Interval Algebra

Temporal Reasoning

Path Consistency

Top Venues

Publications

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. CPP (2024)
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. CoRR (2022)
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. Inf. Comput. 280 (2021)
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. TIME (2019)