Santiago Pavón

Publication Activity (10 Years)

Years Active: 1988-2007
Publications (10 Years): 0

Publications

José Luis García-Dorado, Javier Aracil, José Alberto Hernández, Sergio López-Buedo, Jorge E. López de Vergara, Pedro Reviriego, Gabriel Huecas, Santiago Pavón, Juan Quemada
A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows. MMNS (2007)
Juan Quemada, Joaquín Salvachúa, Tomás Robles, Encarna Pastor, Santiago Pavón, Gabriel Huecas
A Collaborative Environment Integration Layer for Activity Orientation. CollaborateCom (2006)
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)
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)
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)
David Larrabeiti, Juan Quemada, Santiago Pavón
From LOTOS to Petri Nets through Iexpansion. FORTE (1996)
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)
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
ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks. IWACA (1994)
Juan Quemada, David Larrabeiti, Santiago Pavón
Compressing the State Space Representation of LOTOS Specifications. FORTE (1993)
Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega
Inverse Expansion. FORTE (1991)
Santiago Pavón, Martín Llamas Nistal
The Testing Functionalities of LOLA. FORTE (1990)
Juan Quemada, Santiago Pavón, Angel Fernández
State Exploration by Transformation with LOLA. Automatic Verification Methods for Finite State Systems (1989)
Juan Quemada, Santiago Pavón, Angel Fernández
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. FORTE (1988)