A Formal Model of Competence-Based Assessment. - Teresa Alsinet; David Barroso; Ramón Béjar; Jordi Planes (CCIA, 2009)

Supervised classification of packets coming from a HTTP botnet. - Felix Brezo; José Gaviria de la Puerta; Xabier Ugarte-Pedrero; Igor Santos; Pablo García Bringas; David Barroso (CLEI, 2012)

C&C Techniques in Botnet Development. - Felix Brezo; José Gaviria de la Puerta; Igor Santos; David Barroso; Pablo García Bringas (CISIS/ICEUTE/SOCO Special Sessions, 2012)

On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. - Teresa Alsinet; David Barroso; Ramón Béjar; Félix Bou; Marco Cerami; Francesc Esteva (SUM, 2013)