Proving the Correctness of the STG Machine. - Alberto de la Encina; Ricardo Pena (IFL, 2001)

Formally deriving an STG machine. - Alberto de la Encina; Ricardo Pena (PPDP, 2003)

Formalizing the Debugging Process in Haskell. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (ICTAC, 2005)

Testing Speculative Work in a Lazy/Eager Parallel Functional Language. - Alberto de la Encina; Ismael Rodríguez 001; Fernando Rubio 001 (LCPC, 2005)

Testing Entities in a Parallel Cognitive Language. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2006)

Introducing Debugging Capabilities to Natural Semantics. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (Ershov Memorial Conference, 2006)

Platyhelminthes Are [Re]constructed Recursively. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Olga Marroquín Alonso (International Conference on Computational Science (2), 2006)

A Formal Environment for Describing Negotiation Capabilities. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Natalia López (IEEE ICCI, 2007)

Observing intermediate structures in a parallel lazy functional language. - Alberto de la Encina; Luis Llana; Fernando Rubio 001; Mercedes Hidalgo-Herrero (PPDP, 2007)

A Debugger for Parallel Haskell Dialects. - Alberto de la Encina; Ismael Rodríguez 001; Fernando Rubio 001 (ICA3PP, 2008)

Testing the Behaviour of Entities in a Cognitive Language. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Int. J. Cogn. Informatics Nat. Intell., 2008)

Applying Evolutionary Techniques to Debug Functional Programs. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Fernando Rubio 001 (IWANN (1), 2009)

Formalizing Interchange Competences. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Natalia López (Int. J. Cogn. Informatics Nat. Intell., 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)

A Debugging System Based on Natural Semantics. - Alberto de la Encina; Luis Llana; Fernando Rubio 001 (J. Univers. Comput. Sci., 2009)

Fuzzy-Timed Automata. - F. Javier Crespo; Alberto de la Encina; Luis Llana (FMOODS/FORTE, 2010)

A Parallel Skeleton for Genetic Algorithms. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Pablo Rabanal; Fernando Rubio 001 (IWANN (2), 2011)

Eden's Bees: Parallelizing Artificial Bee Colony in a Functional Environment. - Fernando Rubio 001; Alberto de la Encina; Pablo Rabanal; Ismael Rodríguez 001 (ICCS, 2013)

pHood: Tool Description, Analysis Techniques, and Case Studies. - Alberto de la Encina; Ismael Rodríguez 001; Fernando Rubio 001 (New Gener. Comput., 2014)

A Parallel Swarm Library Based on Functional Programming. - Fernando Rubio 001; Alberto de la Encina; Pablo Rabanal; Ismael Rodríguez 001 (IWANN (1), 2017)

Selecting Algorithms by Using ATD. - Mercedes Hidalgo-Herrero; Alberto de la Encina; Fernando Rubio 001 (SMC, 2018)

The Problems of Selecting Problems. - Alberto de la Encina; Natalia López; Ismael Rodríguez 001; Fernando Rubio 001 (IWANN (2), 2019)

Exporting Rain-Fall optimization concepts to Artificial Bee Colony. - Alberto de la Encina; Natalia López; Fernando Rubio 001 (SMC, 2019)

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 001 (SMC, 2020)