Publications (9)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2019

  1. A rewriting logic approach to resource allocation analysis in business process models

    Science of Computer Programming, Vol. 183

  2. Bio-inspired optimization for the molecular docking problem: State of the art, recent results and perspectives

    Applied Soft Computing Journal, Vol. 79, pp. 30-45

  3. Inference of gene regulatory networks with multi-objective cellular genetic algorithm

    Computational Biology and Chemistry, Vol. 80, pp. 409-418

  4. Minimal generators, an affordable approach by means of massive computation

    Journal of Supercomputing, Vol. 75, Núm. 3, pp. 1350-1367

  5. On coarser interval temporal logics

    Artificial Intelligence, Vol. 266, pp. 1-26

  6. On function monotonicity in simplicial branch and bound

    AIP Conference Proceedings

  7. On regular simplex division in copositivity detection

    AIP Conference Proceedings

  8. The Rewrite Engines Competitions: A RECtrospective

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

  9. Ultra-fast genome comparison for large-scale genomic experiments

    Scientific Reports, Vol. 9, Núm. 1