Author: Fernando Cuartero
Publications
Co-authors
Productive Colleagues
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.