Publications (8)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2005

  1. A hybrid model of evolutionary algorithms and branch-and-bound for combinatorial optimization problems

    2005 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-3, PROCEEDINGS

  2. A neural implementation of multi-adjoint logic programs via sf-homogenization

    Mathware & soft computing: The Magazine of the European Society for Fuzzy Logic and Technology, Vol. 12, Núm. 3, pp. 199-216

  3. A semantic framework for the abstract model checking of tccp programs

    Theoretical Computer Science

  4. Abstract Model Checking of tccp programs

    Electronic Notes in Theoretical Computer Science

  5. Dynamical analysis of continuous higher-order hopfield networks for combinatorial optimization

    Neural Computation, Vol. 17, Núm. 8, pp. 1802-1819

  6. Hybrid evolutionary algorithms for protein structure prediction under the HPNX model

    COMPUTATIONAL INTELLIGENCE, THEORY AND APPLICATIONS

  7. Model checking active networks with SPIN

    Computer Communications, Vol. 28, Núm. 6, pp. 609-622

  8. Monadic concurrent linear logic programming

    PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming