Supporting Usability and Reusability Based on eLearning Standards. - Rocío García Robles; Josep Blat; Sergio Sayago; Dai Griffiths; Francis Casado; Juanjo Martinez (ICALT, 2004)

Constraint-Based Synchronization and Verification of Distributed Java Programs. - Rafael Ramírez 001; Juanjo Martinez (ICLP, 2004)

Brief Announcement: constraint-based synchronization and verification of concurrent programs. - Rafael Ramírez 001; Juanjo Martinez (PODC, 2004)