- CollaborateCom, page 1-11. IEEE, (2009)
- FORTE, volume 3235 of Lecture Notes in Computer Science, page 33-42. Springer, (2004)
- OTM Workshops, volume 3292 of Lecture Notes in Computer Science, page 690-699. Springer, (2004)
- Computer Networks and ISDN Systems 25(7):719-721 (1993)
- COST 237 Workshop, volume 1185 of Lecture Notes in Computer Science, page 137-153. Springer, (1996)
- MMNS, volume 4787 of Lecture Notes in Computer Science, page 173-176. Springer, (2007)
- Formal Asp. Comput. 5(3):224-252 (1993)
- PIMRC, page 1886-1890. IEEE, (2004)
- Automatic Verification Methods for Finite State Systems, volume 407 of Lecture Notes in Computer Science, page 294-302. Springer, (1989)
- WETICE, IEEE Computer Society, (2008)
- I Jornadas de Innovación Educativa (June 2006)
- Proceedings of the 2nd IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing CollaborateCom 2006, (November 2006)
- Proceedings of the 8th International Symposium on Computers in Education, (October 2006)
- CollaborateCom, IEEE, (2005)
- Educational Technology & Society 6(4):149-163 (2003)
- Telecom I+D 2005 (November 2005)
- Jitel (September 2005)
- IST 2004, (2004)
- IST 2004, (2004)
- Proceedings of the 13th World Wide Web Conference 2004, (May 2004)


author