Juanjo Martinez

According to our database, Juanjo Martinez authored at least 3 papers in 2004.

Collaborative distances:

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

2004

Brief Announcement: constraint-based synchronization and verification of concurrent programs.

Rafael Ramírez, Juanjo Martinez

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Constraint-Based Synchronization and Verification of Distributed Java Programs.

Rafael Ramírez, Juanjo Martinez

Proceedings of the Logic Programming, 20th International Conference, 2004

Supporting Usability and Reusability Based on eLearning Standards.

Rocío García Robles, Josep Blat, Sergio Sayago, Dai Griffiths, Francis Casado, Juanjo Martinez

Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2004