Publications by the researcher in collaboration with CARLOS CERRADA SOMOLINOS (3)

2016

  1. Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models

    Frontiers in Artificial Intelligence and Applications

  2. Binary Decision Diagram Algorithms to Perform Hard Analysis Operations on Variability Models

    THE 15TH INTERNATIONAL CONFERENCE ON INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS, AND TECHNIQUES (SOMET 16)

2015

  1. Efficient Identification of Core and Dead Features in Variability Models

    IEEE Access, Vol. 3, pp. 2333-2340