Alberto de la Encina

According to our database, Alberto de la Encina authored at least 24 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

A Cognitive-based Tool to Teach how to Teach.

Alberto de la Encina, Martín Manuel Garbayo Moreno, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

2019

Exporting Rain-Fall optimization concepts to Artificial Bee Colony.

Alberto de la Encina, Natalia López, Fernando Rubio

Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019

The Problems of Selecting Problems.

Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio

Proceedings of the Advances in Computational Intelligence, 2019

2018

Selecting Algorithms by Using ATD.

Mercedes Hidalgo-Herrero, Alberto de la Encina, Fernando Rubio

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

2017

A Parallel Swarm Library Based on Functional Programming.

Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez

Proceedings of the Advances in Computational Intelligence, 2017

2014

pHood: Tool Description, Analysis Techniques, and Case Studies.

Alberto de la Encina, Ismael Rodríguez, Fernando Rubio

New Gener. Comput., 2014

2013

Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment.

Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez

Proceedings of the International Conference on Computational Science, 2013

2011

A Parallel Skeleton for Genetic Algorithms.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio

Proceedings of the Advances in Computational Intelligence, 2011

2010

Fuzzy-Timed Automata.

F. Javier Crespo, Alberto de la Encina, Luis Llana

Proceedings of the Formal Techniques for Distributed Systems, 2010

2009

A Debugging System Based on Natural Semantics.

Alberto de la Encina, Luis Llana, Fernando Rubio

J. Univers. Comput. Sci., 2009

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

Alberto de la Encina, Ricardo Peña-Marí

J. Funct. Program., 2009

Formalizing Interchange Competences.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López

Int. J. Cogn. Informatics Nat. Intell., 2009

Applying Evolutionary Techniques to Debug Functional Programs.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

2008

Testing the Behaviour of Entities in a Cognitive Language.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio

Int. J. Cogn. Informatics Nat. Intell., 2008

A Debugger for Parallel Haskell Dialects.

Alberto de la Encina, Ismael Rodríguez, Fernando Rubio

Proceedings of the Algorithms and Architectures for Parallel Processing, 2008

2007

Observing intermediate structures in a parallel lazy functional language.

Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

A Formal Environment for Describing Negotiation Capabilities.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López

Proceedings of the Six IEEE International Conference on Cognitive Informatics, 2007

2006

Platyhelminthes Are [Re]constructed Recursively.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Olga Marroquín Alonso

Proceedings of the Computational Science, 2006

Introducing Debugging Capabilities to Natural Semantics.

Alberto de la Encina, Luis Llana, Fernando Rubio

Proceedings of the Perspectives of Systems Informatics, 2006

Testing Entities in a Parallel Cognitive Language.

Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio

Proceedings of the Firth IEEE International Conference on Cognitive Informatics, 2006

2005

Testing Speculative Work in a Lazy/Eager Parallel Functional Language.

Alberto de la Encina, Ismael Rodríguez, Fernando Rubio

Proceedings of the Languages and Compilers for Parallel Computing, 2005

Formalizing the Debugging Process in Haskell.

Alberto de la Encina, Luis Llana, Fernando Rubio

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Formally deriving an STG machine.

Alberto de la Encina, Ricardo Pena

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2001

Proving the Correctness of the STG Machine.

Alberto de la Encina, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001