Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. - Juan Quemada; Santiago Pavón; Angel Fernández (FORTE, 1988)

State Exploration by Transformation with LOLA. - Juan Quemada; Santiago Pavón; Angel Fernández (Automatic Verification Methods for Finite State Systems, 1989)

The Testing Functionalities of LOLA. - Santiago Pavón; Martín Llamas Nistal (FORTE, 1990)

Inverse Expansion. - Santiago Pavón; M. Hulström; Juan Quemada; David de Frutos-Escrig; Y. Ortega (FORTE, 1991)

Compressing the State Space Representation of LOTOS Specifications. - Juan Quemada; David Larrabeiti; Santiago Pavón (FORTE, 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)

From LOTOS to Petri Nets through Iexpansion. - David Larrabeiti; Juan Quemada; Santiago Pavón (FORTE, 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)

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)

A Collaborative Environment Integration Layer for Activity Orientation. - Juan Quemada; Joaquín Salvachúa; Tomás Robles 001; Encarna Pastor; Santiago Pavón; Gabriel Huecas (CollaborateCom, 2006)

A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows. - José Luis García-Dorado; Javier Aracil 001; José Alberto Hernández 001; Sergio López-Buedo; Jorge E. López de Vergara; Pedro Reviriego; Gabriel Huecas; Santiago Pavón; Juan Quemada (MMNS, 2007)