Conference papers (4)

¹ Publicaciones consideradas como producción de la unidad.

View referenced research data.

in the year 2023 Remove filter
filter_list Type (aggr.) Conference papers 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. Elimination of constraints for parallel analysis of feature models

    ACM International Conference Proceeding Series

  3. 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

  4. Statistical Model Checking for P

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