![Foto de Fernando](/img/nophoto.png)
Fernando
Lopez Pelayo
Publicaciones en las que colabora con Fernando Lopez Pelayo (11)
2023
-
Heuristics for Quantum Computing Dealing with 3-SAT
Mathematics, Vol. 11, Núm. 8
2017
-
Heuristics for ROSA’s LTS searching
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
WS-FMDS organizers' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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
-
A formal methodology to test complex embedded systems: Application to interactive driving system
IFIP Advances in Information and Communication Technology, Vol. 184, pp. 125-136
-
How does the memory work? By timed-arc petri nets
Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005
-
Specifying the memorization process with STOPA
Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005
2004
-
Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
STOPA: A STOchastic process algebra for the formal representation of cognitive systems
Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004