Deadlock prevention in flexible manufacturing systems using symbolic model checking. - Vasiliki Hartonas-Garmhausen; Edmund M. Clarke; S. Campos (ICRA, 1996)

Cortical reorganization during PASAT task in MS patients with preserved working memory functions. - Cristina Forn; Alfonso Barrós-Loscertales; Javier Escudero; Vicente Belloch; S. Campos; María Antonia Parcet; César Ávila (NeuroImage, 2006)

Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. - S. Campos; Julio C. V. Neves; Luis E. Zárate; Mark A. J. Song (ECBS, 2009)

An optimization framework for opportunistic planning of preventive maintenance activities. - Rodrigo Mena; Pablo Viveros; Enrico Zio; S. Campos (Reliab. Eng. Syst. Saf., 2021)