Publicaciones en las que colabora con MERCEDES HIDALGO HERRERO (28)

2020

  1. A Cognitive-based Tool to Teach how to Teach

    IEEE Transactions on Systems, Man, and Cybernetics: Systems

  2. A semantic framework to debug parallel lazy functional languages

    Mathematics, Vol. 8, Núm. 6

2019

  1. Selecting Algorithms by Using ATD

    Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018

2015

  1. The role of indirections in lazy natural semantics

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

2013

  1. Comparing problem solving strategies for NP-hard optimization problems

    Fundamenta Informaticae, Vol. 124, Núm. 1-2, pp. 1-25

2012

  1. A locally nameless representation for a natural semantics for lazy evaluation

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

2011

  1. A parallel skeleton for genetic algorithms

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

  2. Comparing Learning Methods

    TRANSDISCIPLINARY ADVANCEMENTS IN COGNITIVE MECHANISMS AND HUMAN INFORMATION PROCESSING (IGI GLOBAL), pp. 225-238

  3. Relating function spaces to resourced function spaces

    Proceedings of the ACM Symposium on Applied Computing

2010

  1. A cognitive approach to negotiation

    Studies in Computational Intelligence

  2. An operational semantics for distributed lazy evaluation

    Trends in Functional Programming 10 (Intellect Ltd.), pp. 65-80

2009

  1. Applying evolutionary techniques to debug functional programs

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

  2. Formalizing interchange competences

    International Journal of Cognitive Informatics and Natural Intelligence, Vol. 3, Núm. 4, pp. 54-72

  3. To be or not to be ...lazy (In a Parallel Context)

    Electronic Notes in Theoretical Computer Science, Vol. 258, Núm. 1, pp. 21-39

2008

  1. Testing the Behaviour of Entities in a Cognitive Language

    International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), Vol. 2, Núm. 1, pp. 29-43

2007

  1. A formal environment for describing negotiation capabilities

    Proceedings of the 6th IEEE International Conference on Cognitive Informatics, ICCI 2007

  2. Comparing alternative evaluation strategies for stream-based parallel functional languages

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

  3. Observing intermediate structures in a parallel lazy functional language

    PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

  4. Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics

    Electronic Notes in Theoretical Computer Science, Vol. 174, Núm. 10 SPEC. ISS., pp. 119-137

2006

  1. Analyzing the influence of mixed evaluation on the performance of Eden skeletons

    Parallel Computing, Vol. 32, Núm. 7-8, pp. 523-538