Publications in collaboration with researchers from Instituto IMDEA Software (13)