From LOTOS to C. - José A. Mañas; Tomás de Miguel (FORTE, 1988)

The SRTS Experience: Using TOPO for LOTOS Design and Realization. - Tomás de Miguel; Tomás Robles 001; Joaquín Salvachúa; Arturo Azcorra (FORTE, 1990)

Tool Demonstration: A Cross Compiling Experiment: A PC Implementation of a LOTOS Spec. - José A. Mañas; Joaquín Salvachúa; Tomás de Miguel (FORTE, 1991)

Tool Support to Implement LOTOS Formal Specifications. - José A. Mañas; Tomás de Miguel; Joaquín Salvachúa; Arturo Azcorra (Comput. Networks ISDN Syst., 1993)

VHDL generation from a timed extension of the formal description technique LOTOS within the FORMAT project. - Carlos Delgado Kloos; Tomás Pedro de Miguel Moro; Tomás Robles Valladares; Guadalberto Rabay Filho; Andrés Marín López (Microprocess. Microprogramming, 1993)

ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks. - Tomás de Miguel; Santiago Pavón; Joaquín Salvachúa; Juan Quemada; Pedro Luis Chas Alonso; Javier Fernandez-Amigo; Carlos M. Acuña; Lidia Rodriguez Yamamoto; Vasco Lagarto; Joao Vastos (IWACA, 1994)

ISABEL: A CSCW Application for the Distribution of Events. - Juan Quemada; Tomás de Miguel; Arturo Azcorra; Santiago Pavón; Joaquín Salvachúa; Manuel Petit; David Larrabeiti; Tomás Robles 001; Gabriel Huecas (COST 237 Workshop, 1996)

Managing Distributed Conferences with ISABEL. - Tomás Robles 001; 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 (MMNS, 2000)

Isabel Distribution of the Madrid Global IPv6 Summit 2002. - Juan Quemada; Tomás de Miguel; Eva M. Castro; Santiago Pavón; Gabriel Huecas; Tomás Robles 001; Joaquín Salvachúa; Elena Apolinario; Javier Sedano; María José Perea (SAINT Workshops, 2003)

Educanext: a framework for sharing live educational resources with isabel. - Juan Quemada; Gabriel Huecas; Tomás de Miguel; Joaquín Salvachúa; Blanca Fernandez; Bernd Simon; Katherine Maillet; Efiie Lai-Cong (WWW (Alternate Track Papers & Posters), 2004)

Study and emulation of IPv6 Internet-exchange-based addressing models. - David Fernández 002; Tomás de Miguel; Fermín Galán (IEEE Commun. Mag., 2004)

Isabel: an application for real time collaboration with a flexible floor control. - Juan Quemada; Tomás de Miguel; Santiago Pavón; Gabriel Huecas; Tomás Robles 001; Joaquín Salvachúa; Diego Andres Acosta Ortiz; Vicente Sirvent; Fernando Escribano; Javier Sedano (CollaborateCom, 2005)

Implementation of an IPv6 Multihoming Ingress Filtering Compatibility Mechanism Using Automatic Tunnels. - Carlos Barcenilla; Antonio Tapiador; David Fernández 002; Omar Walid Llorente; Tomás de Miguel (EUNICE, 2005)

Advanced Collaborative Services Provisioning in Next Generation Networks. - Miguel Gómez; Tomás de Miguel; Fermín Galán (EUNICE, 2005)

IPv6 Deployment, Not Only a Network Problem. - Omar Walid Llorente; Tomás Pedro de Miguel Moro; David Fernández Cambronero (EUNICE, 2005)

Interworking of IP multimedia core networks between 3GPP and WLAN. - Fermín Galán Márquez; Miguel Gómez Rodríguez; Tomás Robles Valladares; Tomás de Miguel; Luis Angel Galindo Sánchez (IEEE Wirel. Commun., 2005)

Advanced IMS Multipoint Conference Management Using Web Services. - Miguel Gómez; Tomás P. de Miguel (IEEE Commun. Mag., 2007)

On the duration and spatial characteristics of internet traffic measurement experiments. - José Luis García-Dorado; José Alberto Hernández 001; Javier Aracil 001; Jorge E. López de Vergara; Francisco Monserrat; Esther Robles; Tomás P. de Miguel (IEEE Commun. Mag., 2008)

Joint degrees in e-learning environments. - Julio R. Ribón; Tomás Pedro de Miguel Moro; J. Hamiltón Ortíz (EATIS, 2009)

Grid of Learning Resources in E-learning Communities. - Julio César Rodríguez Ribón; Luis Javier García-Villalba; Tomás Pedro de Miguel Moro; Tai-Hoon Kim (FGIT-MulGraB (2), 2011)

Solving technological isolation to build virtual learning communities. - Julio César Rodríguez Ribón; Luis Javier García-Villalba; Tomás Pedro de Miguel Moro; Tai-Hoon Kim (Multim. Tools Appl., 2015)