Publications (25) ALBERTO DE LA ENCINA VARA publications

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

  2. The Problems of Selecting Problems

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

2017

  1. A parallel swarm library based on functional programming

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10305 LNCS, pp. 3-15

2014

  1. PHood: Tool description, analysis techniques, and case studies

    New Generation Computing, Vol. 32, Núm. 1, pp. 59-91

2013

  1. Eden's bees: Parallelizing artificial bee colony in a functional environment

    Procedia Computer Science

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)

2010

  1. A cognitive approach to negotiation

    Studies in Computational Intelligence

  2. Fuzzy-timed automata

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

2009

  1. A debugging system based on natural semantics

    Journal of Universal Computer Science, Vol. 15, Núm. 14, pp. 2836-2880

  2. Applying evolutionary techniques to debug functional programs

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

  3. Formalizing interchange competences

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

  4. From natural semantics to C: A formal derivation of two STG machines

    Journal of Functional Programming, Vol. 19, Núm. 1, pp. 47-94

2008

  1. A debugger for parallel haskell dialects

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

2007

  1. A formal environment for describing negotiation capabilities

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

  2. Introducing debugging capabilities to natural semantics

    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

2006

  1. Platyhelminthes are [Re] constructed recursively

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

  2. Testing entities in a parallel cognitive language

    Proceedings of the 5th IEEE International Conference on Cognitive Informatics, ICCI 2006