Fernando L. Pelayo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2000–2013
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICPP | GPU Powered ROSA Analyzer. | Ral Pardo, Fernando L. Pelayo, Pedro Valero-Lara |
| 2011 | ICCSA | Towards a More Efficient Use of GPUs. | Pedro Valero-Lara, Fernando L. Pelayo |
| 2011 | IWANN | Looking for a Cheaper ROSA. | Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla |
| 2004 | MMM | Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. | Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Hermenegilda Maci, Maria L. Pelayo |
| 2004 | SAC | Automatic verification of the TLS handshake protocol. | Gregorio Daz, Fernando Cuartero, Valentn Valero Ruiz, Fernando L. Pelayo |
| 2000 | RTCSA | An example of performance evaluation by using the stochastic process algebra: ROSA. | Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Diego Cazorla |