A Certified Polynomial-Based Decision Procedure for Propositional Logic. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José A. Alonso-Jiménez (TPHOLs, 2001)

Verified Computer Algebra in Acl2. Gröbner Bases Computation. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José A. Alonso-Jiménez; José-Luis Ruiz-Reina (AISC, 2004)

Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. - Antonia Estero-Botaro; Francisco Palomo-Lozano; Inmaculada Medina-Bulo (ICST Workshops, 2010)

A verified Common Lisp implementation of Buchberger's algorithm in ACL2. - Inmaculada Medina-Bulo; Francisco Palomo-Lozano; José-Luis Ruiz-Reina (J. Symb. Comput., 2010)

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions. - Antonia Estero-Botaro; Antonio García-Domínguez; Juan José Domínguez-Jiménez; Francisco Palomo-Lozano; Inmaculada Medina-Bulo (ICTSS, 2014)

Scalability of assessments of wiki-based learning experiences in higher education. - Manuel Palomo-Duarte; Juan Manuel Dodero; Antonio García-Domínguez; Pablo Neira Ayuso; Noelia Sales-Montes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Carmen Castro-Cabrera; Emilio J. Rodríguez-Posada; Antonio Balderas (Comput. Hum. Behav., 2014)

Exact scalable sensitivity analysis for the next release problem. - Mark Harman; Jens Krinke; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Jian Ren 004; Shin Yoo (ACM Trans. Softw. Eng. Methodol., 2014)

Class mutation operators for C++ object-oriented systems. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez; Antonio García-Domínguez; Francisco Palomo-Lozano (Ann. des Télécommunications, 2015)

Quality metrics for mutation testing with applications to WS-BPEL compositions. - Antonia Estero-Botaro; Francisco Palomo-Lozano; Inmaculada Medina-Bulo; Juan José Domínguez-Jiménez; Antonio García-Domínguez (Softw. Test. Verification Reliab., 2015)

Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (GECCO (Companion), 2016)

Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (GECCO, 2017)

A Hybrid Algorithm for Optimal Wireless Sensor Network Deployment with the Minimum Number of Sensor Nodes. - Yasser El Khamlichi; Abderrahim Tahiri; Anouar Abtoy; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (Algorithms, 2017)

Assessment of class mutation operators for C++ with the MuCPP mutation system. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Antonio García-Domínguez; Juan José Domínguez-Jiménez (Inf. Softw. Technol., 2017)

Corrigendum to 'Assessment of class mutation operators for C++ with the MuCPP mutation system' [Information and Software Technology, 81, (2017) 169-184]. - Pedro Delgado-Pérez; Inmaculada Medina-Bulo; Francisco Palomo-Lozano; Antonio García-Domínguez; Juan José Domínguez-Jiménez (Inf. Softw. Technol., 2017)

Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (GECCO (Companion), 2018)

Test suite minimization for mutation testing of WS-BPEL compositions. - Francisco Palomo-Lozano; Antonia Estero-Botaro; Inmaculada Medina-Bulo; Manuel Núñez 001 (GECCO, 2018)

On the feasibility of using hybrid evolutionary dynamic optimization for optimal monitor selection in dynamic communication networks. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (NOMS, 2018)

Conformance Relations for Fuzzy Automata. - Iván Calvo; Mercedes G. Merayo; Manuel Núñez 001; Francisco Palomo-Lozano (IWANN (1), 2019)

An evolutionary hybrid search heuristic for monitor placement in communication networks. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (J. Heuristics, 2019)

On the Automated and Reactive Optimization of Highly-Dynamic Communication Network Infrastructures. - Robin Mueller-Bady; Martin Kappes; Inmaculada Medina-Bulo; Francisco Palomo-Lozano (J. Univers. Comput. Sci., 2019)

Virtual Savant as a generic learning approach applied to the basic independent Next Release Problem. - Renzo Massobrio; Sergio Nesmachnow; Francisco Palomo-Lozano; Bernabé Dorronsoro (Appl. Soft Comput., 2021)

Computing performance requirements for web service compositions. - Antonio García-Domínguez; Francisco Palomo-Lozano; Inmaculada Medina-Bulo; Alfredo Ibias; Manuel Núñez 001 (Comput. Stand. Interfaces, 2023)