 |
 |
| Publications of 2004 |
 |
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 encoding Algorithm F. L. Pelayo, F. Cuartero, V. Valero, H.Macia, M. L. Pelayo Proceedings of the 10th IEEE International Conference on Multi-Media Modelling (MMM'2004). Brisbane (Australia), 2004 Draft Version (PostScript) Bibtex Entry |
|
Automatic Verification of the TLS HandShake Protocol G. Diaz, F. Cuartero, V. Valero, F. L. Pelayo Proceedings of the 19th ACM Symposium on Applied Computing (SAC 2004) Nicosia (Cyprus), March, 2004 Draft Version (PostScript) Bibtex Entry |
|
Advanced algorith to calculate mechanical forces on a
catenary J. Bemet, J. Montesions, F. Cuartero, T. Rojo, E. Arias Proceedings of the 9th International Conference on Computers in Railways (COMPRAIL'04) Dresden (Germany) ,May, 2004 Draft Version (PostScript) Bibtex Entry |
|
Basic problems on the mechanical calculus of railway
catenaries J. Benet, E. Arias, F. Cuartero, T. Rojo Información Tecnológica Draft Version (PostScript) Bibtex Entry |
|
Solution of the Dynamical Problem of Pantograph-Catenary Interaction: A High Performance Computing Approach E. Arias, J. Benet, P. Bruis, F. Cuartero,T. Rojo Proceedings of the 7th International Conference on Computatuinal Structures Technologies (CST'04) Lisbon (Portugal),September, 2004 Ed. Civil-Comp. Press Draft Version (PostScript) Bibtex Entry |
| |
Introducing the iteration in sPBC H. Macia, V. Valero, D. Cazorla, F. Cuartero Proceedings of the 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2004). Madrid (Spain), October, 2004 Draft Version (PostScript) Bibtex Entry |
|
A
bounded true concurrency process algebra for performance evaluation M.C.Ruiz, D. Cazorla, F. Cuartero, J.J. Pardo, H. Macia Proceedings of the 1st European Performance Engineering Workshop (EPEW'2004) Toledo (Spain), November, 2004 Draft Version (PostScript) Bibtex Entry |
|
A
realistic model for true concurrency M.C. Ruiz, F. Cuartero, D. Cazorla, J.J. Pardo Actas de las XII Jornadas de Concurrencia Navas del Marques, Avila (Spain), June, 2004 Draft Version (PostScript) Bibtex Entry |
|
Defining
Equivalence Relations in sPBC H. Macia, V. Valero, F. Cuartero Proceedings of First International Conference on the Principles of Software Engineering Buenos Aires (Argentina), November, 2004 Draft Version (PostScript) Bibtex Entry |