NATALIA
LÓPEZ BARQUILLA
Profesora contratada doctora

Fernando
Lopez Pelayo
Publications by the researcher in collaboration with Fernando Lopez Pelayo (6)
2008
-
A comparative study of STOPA and RTPA
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A formal specification of the memorization process
Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170
2007
-
A Formal Specification of the Memorization Process
International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 1, Núm. 4, pp. 47-60
2005
-
Specifying the memorization process with STOPA
Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005
-
Specifying the memorization process with STOPA
ICCI 2005: FOURTH IEEE INTERNATIONAL CONFERENCE ON COGNITIVE INFORMATICS - PROCEEDINGS
2004
-
STOPA: A STOchastic process algebra for the formal representation of cognitive systems
Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004