DxPCs: a toolbox for model-based diagnosis of dynamic systems using possible conflicts. - Belarmino Pulido; Aníbal Bregón; Carlos J. Alonso-González; Alberto Hernández; David Rubio; Luis Miguel Villarroel (Prog. Artif. Intell., 2016)

Complexity of adaptive testing in scenarios defined extensionally. - Ismael Rodríguez 001; David Rubio; Fernando Rubio 001 (Frontiers Comput. Sci., 2023)