S. Campos

Publication Activity (10 Years)

Years Active: 1996-2021
Publications (10 Years): 1

Top Topics

Software Maintenance

Top Venues

Reliab. Eng. Syst. Saf.

Publications

R. Mena, P. Viveros, Enrico Zio, S. Campos
An optimization framework for opportunistic planning of preventive maintenance activities. Reliab. Eng. Syst. Saf. 215 (2021)
S. Campos, Julio C. V. Neves, Luis Enrique Zárate, Mark A. J. Song
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS (2009)
Cristina Forn, Alfonso Barrós-Loscertales, Javier Escudero, Vicente Belloch, S. Campos, María Antonia Parcet, César Ávila
Cortical reorganization during PASAT task in MS patients with preserved working memory functions. NeuroImage 31 (2) (2006)
Vasiliki Hartonas-Garmhausen, Edmund M. Clarke, S. Campos
Deadlock prevention in flexible manufacturing systems using symbolic model checking. ICRA (1996)