Publicaciones en las que colabora con ALBERTO DE LA ENCINA VARA (17)

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

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

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. Introducing debugging capabilities to natural semantics

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

  2. 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. Testing entities in a parallel cognitive language

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

  2. Testing speculative work in a lazy/eager parallel functional language

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

2005

  1. Formalizing the debugging process in Haskell

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