Fernando Cuartero

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2005
Publication period end
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

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.

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. http://dx.doi.org/10.1109/COGINF.2007.4341900

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. http://dx.doi.org/10.1109/COGINF.2005.1532624