| 2019 | IWANN | Conformance Relations for Fuzzy Automata. | Ivn Calvo, Mercedes G. Merayo, Manuel Nez, Francisco Palomo-Lozano |
| 2018 | GECCO | Using evolutionary dynamic optimization for monitor selection in highly dynamic communication infrastructures. | Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano |
| 2018 | GECCO | Test suite minimization for mutation testing of WS-BPEL compositions. | Francisco Palomo-Lozano, Antonia Estero-Botaro, Inmaculada Medina-Bulo, Manuel Nez |
| 2018 | NOMS | 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 |
| 2017 | GECCO | Optimization of monitoring in dynamic communication networks using a hybrid evolutionary algorithm. | Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano |
| 2016 | GECCO | Maintaining Genetic Diversity in Multimodal Evolutionary Algorithms using Population Injection. | Robin Mueller-Bady, Martin Kappes, Inmaculada Medina-Bulo, Francisco Palomo-Lozano |
| 2010 | ICST | Quantitative Evaluation of Mutation Operators for WS-BPEL Compositions. | Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo |
| 2004 | AISC | Verified Computer Algebra in Acl2. Grbner Bases Computation. | Inmaculada Medina-Bulo, Francisco Palomo-Lozano, Jos A. Alonso-Jimnez, Jos-Luis Ruiz-Reina |