Publicaciones en las que colabora con Fernando Lopez Pelayo (11)

2023

  1. Heuristics for Quantum Computing Dealing with 3-SAT

    Mathematics, Vol. 11, Núm. 8

2017

  1. Heuristics for ROSA’s LTS searching

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2008

  1. A comparative study of STOPA and RTPA

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. A formal specification of the memorization process

    Novel Approaches in Cognitive Informatics and Natural Intelligence (IGI Global), pp. 157-170

2007

  1. 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

  1. 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

  2. A formal methodology to test complex embedded systems: Application to interactive driving system

    From Specification to Embedded Systems Application

  3. How does the memory work? By timed-arc petri nets

    Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

  4. Specifying the memorization process with STOPA

    Fourth IEEE Conference on Cognitive Informatics 2005, ICCI 2005

2004

  1. Preface

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. STOPA: A STOchastic process algebra for the formal representation of cognitive systems

    Proceedings of the Third IEEE International Conference on Cognitive Informatics, ICCI 2004