The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Santiago Pavón: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. Santiago Pavón, Martín Llamas Nistal
    The Testing Functionalities of LOLA. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:559-562 [Conf]
  6. 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]
  7. 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]
  8. 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]
  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. [Citation Graph (0, 0)][DBLP]
    MMNS, 2000, pp:89-101 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    SAINT Workshops, 2003, pp:200-203 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    CollaborateCom, 2005, pp:- [Conf]
  12. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002