David Cabrero

According to our database, David Cabrero authored at least 6 papers between 2003 and 2013.

Collaborative distances:

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

2013

Feasibility of Property-Based Testing for Time-Dependent Systems.

Macías López, Laura M. Castro, David Cabrero

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

2012

Declarative distributed advertisement system for iDTV: an industrial experience.

Macías López, Laura M. Castro, David Cabrero

Proceedings of the Principles and Practice of Declarative Programming, 2012

Failover and takeover contingency mechanisms for network partition and node failure.

Macías López, Laura M. Castro, David Cabrero

Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, 2012

2010

Directional Gaze Analysis in Webcam Video Sequences.

V. Vivero, Noelia Barreira, Manuel G. Penedo, David Cabrero, Beatriz Remeseiro

Proceedings of the Image Analysis and Recognition, 7th International Conference, 2010

2003

Análisis eficaz de gramáticas de cláusulas definidas.

David Cabrero

Proces. del Leng. Natural, 2003

ARMISTICE: an experience developing management software with Erlang.

David Cabrero, Carlos Abalde, Carlos Varela, Laura M. Castro

Proceedings of the 2003 ACM SIGPLAN Workshop on Erlang, Uppsala, Sweden, August 29, 2003, 2003