A Symbolic Approach to Quantum Computation Simulation. - António Pereira 002; Rosália Rodrigues (International Conference on Computational Science (2), 2006)

Scheduling with sequence-dependent batch setup times: planning tests for a pharmaceutic industry. - J. Orestes Cerdeira; Rosa M. V. Figueiredo; António Pereira 002; Cristina Requejo (Int. J. Math. Model. Numer. Optimisation, 2011)

Feasibility check for the distance geometry problem: an application to molecular conformations. - Agostinho Agra; Rosa Figueiredo 001; Carlile Lavor; Nelson Maculan; António Pereira 002; Cristina Requejo (Int. Trans. Oper. Res., 2017)