Author: Fernando Cuartero
Publication Overview
Publication period start: 2007
Number of co-authors: 9
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Pelayo,
Fernando L.,
Cuartero,
Fernando,
Valero,
Valentin,
Pelayo,
Maria L.,
Merayo,
Mercedes G.
(2005):
How does the memory work? By timed-arc Petri nets.
In:
Proceedings of the 4th IEEE International Conference on Cognitive Informatics ICCI 2005
August 8-10,
2005,
Irvine, USA.
pp. 128-135.
https://dx.doi.org/10.1109/COGINF.2005.1532624
Pelayo,
Maria L.,
Pelayo,
Fernando L.,
Cuartero,
Fernando,
Valero,
Valentin,
Díaz,
Gregorio,
Nieto,
Elena
(2007):
Does ROSA provide a good view of the Memorizing Process?.
In:
Zhang,
Du,
Wang,
Yingxu,
Kinsner,
Witold
(eds.)
Proceedings of the Six IEEE International Conference on Cognitive Informatics ICCI 2007
August 6-8,
2007,
Lake Tahoe, CA, USA.
pp. 273-283.
https://dx.doi.org/10.1109/COGINF.2007.4341900
Tobarra,
M. Llanos,
Cazorla,
Diego,
Pardo,
Juan José,
Cuartero,
Fernando
(2007):
Formal Verification of the Secure Sockets Layer Protocol.
In:
Cordeiro,
José,
Filipe,
Joaquim
(eds.)
ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems Volume 2
June 12-16,
2007,
Barcelona, Spain.
pp. 246-252.