Santiago Pavón

2007
12	EE	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	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
2003
10	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
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]