Publications (13)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2010 Remove filter
filter_list from 2010 to 2010 Computational Theory and Mathematics

2010

  1. A formal framework for structural reconfiguration of components under behavioural adaptation

    Electronic Notes in Theoretical Computer Science

  2. A note on the complexity of some multiobjective A* search algorithms

    Frontiers in Artificial Intelligence and Applications

  3. A semantical framework for hybrid knowledge bases

    Knowledge and Information Systems, Vol. 25, Núm. 1, pp. 81-104

  4. Algorithm::Evolutionary, a flexible Perl module for evolutionary computation

    Soft Computing, Vol. 14, Núm. 10, pp. 1091-1109

  5. Elementary landscape decomposition of the quadratic assignment problem

    Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10

  6. Evolutionary development of tensegrity structures

    BioSystems, Vol. 101, Núm. 3, pp. 167-176

  7. Heuristics for the facility location and design (1|1)-centroid problem on the plane

    Computational Optimization and Applications, Vol. 45, Núm. 1, pp. 111-141

  8. Low disruption transformations on cyclic automata

    Fundamenta Informaticae, Vol. 104, Núm. 1-2, pp. 93-110

  9. Next-generation bioinformatics: Using many-core processor architecture to develop a web service for sequence alignment

    Bioinformatics, Vol. 26, Núm. 5, pp. 683-686

  10. On the Notion of Coherence in Fuzzy Answer Set Semantics

    XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico]

  11. On the behavioral semantics of real-time domain specific visual languages

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  12. The third rewrite engines competition

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  13. Towards a rewriting logic semantics for ATL

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)