Publications (9)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2024

  1. A fast and general algebraic approach to Railway Interlocking System across all train stations

    AIMS Mathematics, Vol. 9, Núm. 3, pp. 7673-7710

  2. Fully Well-Balanced Methods for Shallow Water Linearized Moment Model with Friction

    SEMA SIMAI Springer Series (Springer Science and Business Media Deutschland GmbH), pp. 195-208

  3. Generalizing and Unifying Gray-Box Combinatorial Optimization Operators

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

  4. Modelling tsunami initial conditions due to rapid coseismic seafloor displacement: efficient numerical integration and a tool to build unit source databases

    Natural Hazards and Earth System Sciences, Vol. 24, Núm. 8, pp. 2773-2791

  5. Multi-objective context-guided consensus of a massive array of techniques for the inference of Gene Regulatory Networks

    Computers in Biology and Medicine, Vol. 179

  6. NuITP: An Inductive Theorem Prover for Equational Program Verification

    ACM International Conference Proceeding Series

  7. Over Sampling Local Optima: Selection and Sampling Bias in Hybrid Genetic Algorithms

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

  8. Programming Open Distributed Systems in Maude

    ACM International Conference Proceeding Series

  9. Reduction-Based MAX-3SAT with Low Nonlinearity and Lattices Under Recombination

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