Santiago Pavón

	2007
12		Jose Luis García-Dorado, Javier Aracil, José Alberto Hernández, Sergio López-Buedo, Jorge E. López de Vergara, P. Reviriego, Gabriel Huecas, Santiago Pavón, Juan Quemada: A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows. MMNS 2007: 173-176
	2005
11		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
	2003
10		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
	2000
9		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
	1996
8		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
7		David Larrabeiti, Juan Quemada, Santiago Pavón: From LOTOS to Petri Nets through Iexpansion. FORTE 1996: 485-500
	1994
6		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: 353-362
	1993
5		Juan Quemada, David Larrabeiti, Santiago Pavón: Compressing the State Space Representation of LOTOS Specifications. FORTE 1993: 19-34
	1991
4		Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega: Inverse Expansion. FORTE 1991: 297-312
	1990
3		Santiago Pavón, Martín Llamas Nistal: The Testing Functionalities of LOLA. FORTE 1990: 559-562
	1989
2		Juan Quemada, Santiago Pavón, Angel Fernández: State Exploration by Transformation with LOLA. Automatic Verification Methods for Finite State Systems 1989: 294-302
	1988
1		Juan Quemada, Santiago Pavón, Angel Fernández: Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. FORTE 1988: 45-54

Coauthor Index

1	Carlos M. Acuña	[6]
2	Pedro Luis Chas Alonso	[6]
3	Elena Apolinario	[10]
4	Javier Aracil	[12]
5	Arturo Azcorra	[8]
6	Eva M. Castro	[9] [10]
7	Fernando Escribano	[11]
8	Angel Fernández	[1] [2]
9	Javier Fernandez-Amigo	[6]
10	David de Frutos-Escrig	[4]
11	Jose Luis García-Dorado	[12]
12	José Alberto Hernández	[12]
13	Gabriel Huecas	[8] [9] [10] [11] [12]
14	M. Hulström	[4]
15	Vasco Lagarto	[6]
16	David Larrabeiti	[5] [7] [8]
17	Sergio López-Buedo	[12]
18	Tomás de Miguel	[6] [8] [9] [10] [11]
19	Héctor L. Velayos Munoz	[9]
20	Martín Llamas Nistal	[3]
21	Y. Ortega	[4]
22	Diego Andres Acosta Ortiz	[11]
23	María José Perea	[10]
24	Manuel Petit	[8] [9]
25	Juan Quemada	[1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [12]
26	P. Reviriego	[12]
27	Tomás Robles	[8] [9] [10] [11]
28	Joaquín Salvachúa	[6] [8] [9] [10] [11]
29	Javier Sedano	[10] [11]
30	Vicente Sirvent	[11]
31	Joao Vastos	[6]
32	Jorge E. López de Vergara	[12]
33	Lidia Rodriguez Yamamoto	[6]