Alberto de la Encina

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 5

Top Topics

Functional Programming

Artificial Bee Colony

Job Shop Scheduling Problem

Combinatorial Optimization

Top Venues

New Gener. Comput.

Publications

Alberto de la Encina, Martín Manuel Garbayo Moreno, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio
A Cognitive-based Tool to Teach how to Teach. SMC (2020)
Alberto de la Encina, Natalia López, Ismael Rodríguez, Fernando Rubio
The Problems of Selecting Problems. IWANN (2) (2019)
Alberto de la Encina, Natalia López, Fernando Rubio
Exporting Rain-Fall optimization concepts to Artificial Bee Colony. SMC (2019)
Mercedes Hidalgo-Herrero, Alberto de la Encina, Fernando Rubio
Selecting Algorithms by Using ATD. SMC (2018)
Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
A Parallel Swarm Library Based on Functional Programming. IWANN (1) (2017)
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
pHood: Tool Description, Analysis Techniques, and Case Studies. New Gener. Comput. 32 (1) (2014)
Fernando Rubio, Alberto de la Encina, Pablo Rabanal, Ismael Rodríguez
Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. ICCS (2013)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio
A Parallel Skeleton for Genetic Algorithms. IWANN (2) (2011)
F. Javier Crespo, Alberto de la Encina, Luis Llana
Fuzzy-Timed Automata. FMOODS/FORTE (2010)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Fernando Rubio
Applying Evolutionary Techniques to Debug Functional Programs. IWANN (1) (2009)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
Formalizing Interchange Competences. Int. J. Cogn. Informatics Nat. Intell. 3 (4) (2009)
Alberto de la Encina, Ricardo Peña-Marí
From natural semantics to C: A formal derivation of two STG machines. J. Funct. Program. 19 (1) (2009)
Alberto de la Encina, Luis Llana, Fernando Rubio
A Debugging System Based on Natural Semantics. J. Univers. Comput. Sci. 15 (14) (2009)
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
A Debugger for Parallel Haskell Dialects. ICA3PP (2008)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Testing the Behaviour of Entities in a Cognitive Language. Int. J. Cogn. Informatics Nat. Intell. 2 (1) (2008)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Natalia López
A Formal Environment for Describing Negotiation Capabilities. IEEE ICCI (2007)
Alberto de la Encina, Luis Llana, Fernando Rubio, Mercedes Hidalgo-Herrero
Observing intermediate structures in a parallel lazy functional language. PPDP (2007)
Alberto de la Encina, Luis Llana, Fernando Rubio
Introducing Debugging Capabilities to Natural Semantics. Ershov Memorial Conference (2006)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Pablo Rabanal, Ismael Rodríguez, Fernando Rubio
Testing Entities in a Parallel Cognitive Language. IEEE ICCI (2006)
Alberto de la Encina, Mercedes Hidalgo-Herrero, Olga Marroquín Alonso
Platyhelminthes Are [Re]constructed Recursively. International Conference on Computational Science (2) (2006)
Alberto de la Encina, Ismael Rodríguez, Fernando Rubio
Testing Speculative Work in a Lazy/Eager Parallel Functional Language. LCPC (2005)
Alberto de la Encina, Luis Llana, Fernando Rubio
Formalizing the Debugging Process in Haskell. ICTAC (2005)
Alberto de la Encina, Ricardo Pena
Formally deriving an STG machine. PPDP (2003)
Alberto de la Encina, Ricardo Pena
Proving the Correctness of the STG Machine. IFL (2001)