Publications (6)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2012

  1. A generic framework for n-protocol compatibility checking

    Science of Computer Programming, Vol. 77, Núm. 7-8, pp. 870-886

  2. An efficient reasoning method for dependencies over similarity and ordinal data

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

  3. Complex and diverse morphologies can develop from a minimal genomic model

    GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation

  4. Exact computation of the expectation curves for uniform crossover

    GECCO'12 - Proceedings of the 14th International Conference on Genetic and Evolutionary Computation

  5. On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories

    Journal of Logic and Algebraic Programming

  6. On the existence and unicity of stable models in normal residuated logic programs

    International Journal of Computer Mathematics