2005 |
9 | EE | Juan Quemada,
Tomás de Miguel,
Santiago Pavón,
Gabriel Huecas,
Tomás Robles,
Joaquín Salvachúa,
Diego Andres Acosta Ortiz,
Vicente Sirvent,
Fernando Escribano,
Javier Sedano:
Isabel: an application for real time collaboration with a flexible floor control.
CollaborateCom 2005 |
8 | EE | Alberto Verdejo,
Narciso Martí-Oliet,
Tomás Robles,
Joaquín Salvachúa,
Luis Llana,
Margarita Bradley:
Transforming Information in RDF to Rewriting Logic.
FMOODS 2005: 227-242 |
2003 |
7 | EE | Juan Quemada,
Tomás de Miguel,
Eva M. Castro,
Santiago Pavón,
Gabriel Huecas,
Tomás Robles,
Joaquín Salvachúa,
Elena Apolinario,
Javier Sedano,
María José Perea:
Isabel Distribution of the Madrid Global IPv6 Summit 2002.
SAINT Workshops 2003: 200-203 |
6 | EE | Tomás Robles,
Ramiro Ortiz,
Joaquín Salvachúa:
Porting the Session Initiation Protocol to IPv6.
IEEE Internet Computing 7(3): 43-50 (2003) |
2000 |
5 | | Tomás Robles,
Héctor L. Velayos Munoz,
Juan Quemada,
Tomás de Miguel,
Santiago Pavón,
Joaquín Salvachúa,
Gabriel Huecas,
Eva M. Castro,
Manuel Petit:
Managing Distributed Conferences with ISABEL.
MMNS 2000: 89-101 |
1998 |
4 | | Gabriel Huecas,
Tomás Robles,
L. M. Gonzalez,
J. Serrano:
Development of a Validation System based on Formal Description Techniques: Application to an Ada Run Time System.
FORTE 1998: 283-307 |
1996 |
3 | | Juan Quemada,
Tomás de Miguel,
Arturo Azcorra,
Santiago Pavón,
Joaquín Salvachúa,
Manuel Petit,
David Larrabeiti,
Tomás Robles,
Gabriel Huecas:
ISABEL: A CSCW Application for the Distribution of Events.
COST 237 Workshop 1996: 137-153 |
1992 |
2 | | Tomás Robles,
José A. Mañas,
Gabriel Huecas:
Specification and Derivation of OSI Conformance Test Suites.
Protocol Test Systems 1992: 177-188 |
1990 |
1 | | Tomás de Miguel,
Tomás Robles,
Joaquín Salvachúa,
Arturo Azcorra:
The SRTS Experience: Using TOPO for LOTOS Design and Realization.
FORTE 1990: 383-394 |