Mercedes Hidalgo-Herrero

Martín Manuel Garbayo Moreno

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

2018

Selecting Algorithms by Using ATD.

[BibT_eX]

[DOI]

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

2014

The Role of Indirections in Lazy Natural Semantics.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

2013

Comparing Problem Solving Strategies for NP-hard Optimization Problems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

2012

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2011

Relating function spaces to resourced function spaces.

[BibT_eX]

[DOI]

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

A Parallel Skeleton for Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2011

2009

Comparing Learning Methods.

[BibT_eX]

[DOI]

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

Formalizing Interchange Competences.

[BibT_eX]

[DOI]

Natalia López

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

To be or not to be ...lazy (In a Parallel Context).

[BibT_eX]

[DOI]

Proceedings of the Ninth Spanish Conference on Programming and Languages, 2009

An Operational Semantics for Distributed Lazy Evaluation.

[BibT_eX]

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Applying Evolutionary Techniques to Debug Functional Programs.

[BibT_eX]

[DOI]

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

2008

Testing the Behaviour of Entities in a Cognitive Language.

[BibT_eX]

[DOI]

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

2007

Observing intermediate structures in a parallel lazy functional language.

[BibT_eX]

[DOI]

Luis Llana

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

A Formal Environment for Describing Negotiation Capabilities.

[BibT_eX]

[DOI]

Natalia López

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

2006

Analyzing the influence of mixed evaluation on the performance of Eden skeletons.

[BibT_eX]

[DOI]

Parallel Comput., 2006

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.

[BibT_eX]

[DOI]

Alberto Verdejo

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages.

[BibT_eX]

[DOI]

Proceedings of the Implementation and Application of Functional Languages, 2006

Platyhelminthes Are [Re]constructed Recursively.

[BibT_eX]

[DOI]

Olga Marroquín Alonso

Proceedings of the Computational Science, 2006

Testing Entities in a Parallel Cognitive Language.

[BibT_eX]

[DOI]

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

2005

Towards Improving Skeletons in Eden.

[BibT_eX]

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

Testing learning strategies.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), 2005

2004

Dealing Denotationally With Stream-based Communication.

[BibT_eX]

[DOI]

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

2003

Continutation Semantics for Parallel Haskell Dialects.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

An Operational Semantics for the Parallel Language Eden.

[BibT_eX]

[DOI]

Parallel Process. Lett., 2002

2000

A distributed operational semantics for a parallel functional language.

[BibT_eX]