Publications (13)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

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

2023

  1. A Sound and Complete Tableau System for Fuzzy Halpern and Shoham’s Interval Temporal Logic

    Leibniz International Proceedings in Informatics, LIPIcs

  2. A space-time model for analyzing contagious people based on geolocation data using inverse graphs

    AIMS Mathematics, Vol. 8, Núm. 5, pp. 10196-10209

  3. Elimination of constraints for parallel analysis of feature models

    ACM International Conference Proceeding Series

  4. Fuzzy Halpern and Shoham's interval temporal logics

    Fuzzy Sets and Systems, Vol. 456, pp. 107-124

  5. High-order fully well-balanced numerical methods for one-dimensional blood flow with discontinuous properties

    Journal of Computational Physics, Vol. 475

  6. Multilayer Shallow Model for Dry Granular Flows with a Weakly Non-hydrostatic Pressure

    Journal of Scientific Computing, Vol. 96, Núm. 3

  7. Partition Crossover can Linearize Local Optima Lattices of k-bounded Pseudo-Boolean Functions

    FOGA 2023 - Proceedings of the 17th ACM/SIGEVO Conference on Foundations of Genetic Algorithms

  8. Raising awareness without disclosing truth

    Annals of Mathematics and Artificial Intelligence, Vol. 91, Núm. 4, pp. 431-464

  9. Simplification logic for the management of unknown information

    Information Sciences, Vol. 634, pp. 505-519

  10. Statistical Model Checking for P

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

  11. The Role of Abstraction in Model Checking

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 151-169

  12. Tight and Compact Sample Average Approximation for Joint Chance-Constrained Problems with Applications to Optimal Power Flow

    INFORMS Journal on Computing, Vol. 35, Núm. 6, pp. 1454-1469

  13. Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language

    Journal of Systems and Software, Vol. 204