Abstracting Models from Execution Traces for Performing Formal Verification. - Thierry Bodhuin; Federico Pagnozzi; Antonella Santone; Maria Tortorella; Maria Luisa Villani (FGIT-ASEA, 2009)

Automatic Configuration of GCC Using Irace. - Leslie Pérez Cáceres; Federico Pagnozzi; Alberto Franzin; Thomas Stützle (Artificial Evolution, 2017)

An iterated greedy algorithm with optimization of partial solutions for the makespan permutation flowshop problem. - Jérémie Dubois-Lacoste; Federico Pagnozzi; Thomas Stützle (Comput. Oper. Res., 2017)

Speeding up local search for the insert neighborhood in the weighted tardiness permutation flowshop problem. - Federico Pagnozzi; Thomas Stützle (Optim. Lett., 2017)

Automatic design of hybrid stochastic local search algorithms for permutation flowshop problems. - Federico Pagnozzi; Thomas Stützle (Eur. J. Oper. Res., 2019)

Automatic Off-Line Design of Robot Swarms: A Manifesto. - Mauro Birattari; Antoine Ligot; Darko Bozhinoski; Manuele Brambilla; Gianpiero Francesca; Lorenzo Garattoni; David Garzón-Ramos; Ken Hasselmann; Miquel Kegeleirs; Jonas Kuckling; Federico Pagnozzi; Andrea Roli; et al. (Frontiers Robotics AI, 2019)

Automatic Algorithm Design for Hybrid Flowshop Scheduling Problems. - Pedro Alfaro-Fernández; Rubén Ruiz; Federico Pagnozzi; Thomas Stützle (Eur. J. Oper. Res., 2020)

Off-Policy Evaluation of the Performance of a Robot Swarm: Importance Sampling to Assess Potential Modifications to the Finite-State Machine That Controls the Robots. - Federico Pagnozzi; Mauro Birattari (Frontiers Robotics AI, 2021)

Evaluating the impact of grammar complexity in automatic algorithm design. - Federico Pagnozzi; Thomas Stützle (Int. Trans. Oper. Res., 2022)

Automatic Design of Robot Swarms under Concurrent Design Criteria: A Study Based on Iterated F-Race. - David Garzón-Ramos; Federico Pagnozzi; Thomas Stützle; Mauro Birattari (Adv. Intell. Syst., 2025)