A distributed operational semantics for a parallel functional language. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Scottish Functional Programming Workshop, 2000)

An Operational Semantics for the Parallel Language Eden. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Parallel Process. Lett., 2002)

Continutation Semantics for Parallel Haskell Dialects. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (APLAS, 2003)

Dealing Denotationally With Stream-based Communication. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (PROLE, 2004)

Testing learning strategies. - Mercedes Hidalgo-Herrero; Ismael Rodríguez 001; Fernando Rubio 001 (IEEE ICCI, 2005)

Towards Improving Skeletons in Eden. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (PARCO, 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)

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

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (IFL, 2006)

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics. - Mercedes Hidalgo-Herrero; Alberto Verdejo; Yolanda Ortega-Mallén (WRS@FLoC, 2006)

Analyzing the influence of mixed evaluation on the performance of Eden skeletons. - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén; Fernando Rubio 001 (Parallel Comput., 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)

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)

An Operational Semantics for Distributed Lazy Evaluation. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Trends in Functional Programming, 2009)

To be or not to be ...lazy (In a Parallel Context). - Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (PROLE, 2009)

Formalizing Interchange Competences. - Alberto de la Encina; Mercedes Hidalgo-Herrero; Natalia López (Int. J. Cogn. Informatics Nat. Intell., 2009)

Comparing Learning Methods. - Mercedes Hidalgo-Herrero; Ismael Rodríguez 001; Fernando Rubio 001 (Int. J. Cogn. Informatics Nat. Intell., 2009)

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

Relating function spaces to resourced function spaces. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (SAC, 2011)

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (ICTAC, 2012)

Comparing Problem Solving Strategies for NP-hard Optimization Problems. - Mercedes Hidalgo-Herrero; Pablo Rabanal; Ismael Rodríguez 001; Fernando Rubio 001 (Fundam. Informaticae, 2013)

The Role of Indirections in Lazy Natural Semantics. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Ershov Memorial Conference, 2014)

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

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)