Santiago Pavón

According to our database1, Santiago Pavón authored at least 13 papers between 1988 and 2007.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
A Quality of Service Assessment Technique for Large-Scale Management of Multimedia Flows.
Proceedings of the Real-Time Mobile Multimedia Services, 2007

2006
A Collaborative Environment Integration Layer for Activity Orientation.
Proceedings of the 2nd International ICST Conference on Collaborative Computing: Networking, 2006

2005
Isabel: an application for real time collaboration with a flexible floor control.
Proceedings of the 1st International Conference on Collaborative Computing: Networking, 2005

2003
Isabel Distribution of the Madrid Global IPv6 Summit 2002.
Proceedings of the 2003 Symposium on Applications and the Internet Workshops (SAINT 2003), 27-31 January 2003, 2003

2000
Managing Distributed Conferences with ISABEL.
Proceedings of the Managing QoS in Multimedia Networks and Services, IEEE/IFIP TC6, 2000

1996
From LOTOS to Petri Nets through Iexpansion.
Proceedings of the Formal Description Techniques IX: Theory, 1996

ISABEL: A CSCW Application for the Distribution of Events.
Proceedings of the Multimedia Telecommunications and Applications, 1996

1994
ISABEL - Experiment Distributed Cooperative Work Application over Broadband Networks.
Proceedings of the Multimedia: Advanced Teleservices and High-Speed Communication Architectures, 1994

1993
Compressing the State Space Representation of LOTOS Specifications.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1991
Inverse Expansion.
Proceedings of the Formal Description Techniques, 1991

1990
The Testing Functionalities of LOLA.
Proceedings of the Formal Description Techniques, 1990

1989
State Exploration by Transformation with LOLA.
Proceedings of the Automatic Verification Methods for Finite State Systems, 1989

1988
Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.
Proceedings of the Formal Description Techniques, 1988


  Loading...