|
Search the dblp DataBase
Santiago Pavón:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Juan Quemada, Santiago Pavón, Angel Fernández
State Exploration by Transformation with LOLA. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:294-302 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] COST 237 Workshop, 1996, pp:137-153 [Conf]
- David Larrabeiti, Juan Quemada, Santiago Pavón
From LOTOS to Petri Nets through Iexpansion. [Citation Graph (0, 0)][DBLP] FORTE, 1996, pp:485-500 [Conf]
- Santiago Pavón, M. Hulström, Juan Quemada, David de Frutos-Escrig, Y. Ortega
Inverse Expansion. [Citation Graph (0, 0)][DBLP] FORTE, 1991, pp:297-312 [Conf]
- Santiago Pavón, Martín Llamas Nistal
The Testing Functionalities of LOLA. [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:559-562 [Conf]
- Juan Quemada, David Larrabeiti, Santiago Pavón
Compressing the State Space Representation of LOTOS Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1993, pp:19-34 [Conf]
- Juan Quemada, Santiago Pavón, Angel Fernández
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion. [Citation Graph (0, 0)][DBLP] FORTE, 1988, pp:45-54 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] IWACA, 1994, pp:353-362 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] MMNS, 2000, pp:89-101 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] SAINT Workshops, 2003, pp:200-203 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] CollaborateCom, 2005, pp:- [Conf]
- J. L. 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. [Citation Graph (0, 0)][DBLP] MMNS, 2007, pp:173-176 [Conf]
Search in 0.002secs, Finished in 0.002secs
|