Santiago Pavón

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2007
c12		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: 173-176
	2005
c11		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
c10		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
c9		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
c8		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
c7		David Larrabeiti, Juan Quemada, Santiago Pavón: From LOTOS to Petri Nets through Iexpansion. FORTE 1996: 485-500
	1994
c6		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
c5		Juan Quemada, David Larrabeiti, Santiago Pavón: Compressing the State Space Representation of LOTOS Specifications. FORTE 1993: 19-34
	1991
c4		Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega: Inverse Expansion. FORTE 1991: 297-312
	1990
c3		Santiago Pavón, Martín Llamas Nistal: The Testing Functionalities of LOLA. FORTE 1990: 559-562
	1989
c2		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
c1		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	[c6]
2	Pedro Luis Chas Alonso	[c6]
3	Elena Apolinario	[c10]
4	Javier Aracil	[c12]
5	Arturo Azcorra	[c8]
6	Eva M. Castro	[c10] [c9]
7	Fernando Escribano	[c11]
8	Javier Fernandez-Amigo	[c6]
9	Angel Fernández	[c2] [c1]
10	David de Frutos-Escrig	[c4]
11	José Luis García-Dorado	[c12]
12	José Alberto Hernández	[c12]
13	Gabriel Huecas	[c12] [c11] [c10] [c9] [c8]
14	M. Hulström	[c4]
15	Vasco Lagarto	[c6]
16	David Larrabeiti	[c8] [c7] [c5]
17	Sergio López-Buedo	[c12]
18	Tomás de Miguel	[c11] [c10] [c9] [c8] [c6]
19	Héctor L. Velayos Munoz	[c9]
20	Martín Llamas Nistal	[c3]
21	Y. Ortega	[c4]
22	Diego Andres Acosta Ortiz	[c11]
23	María José Perea	[c10]
24	Manuel Petit	[c9] [c8]
25	Juan Quemada	[c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c2] [c1]
26	Pedro Reviriego	[c12]
27	Tomás Robles	[c11] [c10] [c9] [c8]
28	Joaquín Salvachúa (Joaquin Salvachua Rodriguez)	[c11] [c10] [c9] [c8] [c6]
29	Javier Sedano	[c11] [c10]
30	Vicente Sirvent	[c11]
31	Joao Vastos	[c6]
32	Jorge E. López de Vergara	[c12]
33	Lidia Rodriguez Yamamoto	[c6]

Last update Fri May 24 18:30:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page