S. Campos

According to our database, S. Campos authored at least 4 papers between 1996 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

An optimization framework for opportunistic planning of preventive maintenance activities.

R. Mena, Pablo Viveros, Enrico Zio, S. Campos

Reliab. Eng. Syst. Saf., 2021

2009

Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.

S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2006

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

1996

Deadlock prevention in flexible manufacturing systems using symbolic model checking.

Vasiliki Hartonas-Garmhausen, Edmund M. Clarke, S. Campos

Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996