Publications (7)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2011

  1. A rewriting logic semantics for ATL

    Journal of Object Technology, Vol. 10, pp. 1-29

  2. Comparing metaheuristic algorithms for error detection in Java programs

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

  3. Exact Computation of the Expectation Curves of the Bit-Flip Mutation using Landscapes Theory

    GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE

  4. Exact computation of the expectation curves of the bit-flip mutation using landscapes theory

    Genetic and Evolutionary Computation Conference, GECCO'11

  5. On the formal analysis of P2P algorithms with αSMoL and maude

    14th Ibero-American Conference on Software Engineering and 14th Workshop on Requirements Engineering, CIbSE 2011

  6. Parallel algorithms for continuous multifacility competitive location problems

    Journal of Global Optimization, Vol. 50, Núm. 4, pp. 557-573

  7. Parallelizing and optimizing a bioinformatics pairwise sequence alignment algorithm for many-core architecture

    Parallel Computing, Vol. 37, Núm. 4-5, pp. 244-259