| Compositional reasoning in model checking S Berezin, S Campos, EM Clarke International Symposium on Compositionality, 81-102, 1997 | 239 | 1997 |
| Symbolic model checking E Clarke, K McMillan, S Campos, V Hartonas-Garmhausen Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 216 | 1996 |
| Computing quantitative characteristics of finite-state real-time systems Campos, Marrero, Minea, Hiraishi 1994 Proceedings Real-Time Systems Symposium, 266-270, 1994 | 121 | 1994 |
| Real-time symbolic model checking for discrete time models SV Campos, EM Clarke Carnegie Mellon University, 1994 | 109 | 1994 |
| Verus: a tool for quantitative analysis of finite-state real-time systems S Campos, E Clarke, W Marrero, M Minea Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers …, 1995 | 85 | 1995 |
| Different neighborhood walkability indexes for active commuting to school are necessary for urban and rural children and adolescents J Molina-García, S Campos, X García-Massó, M Herrador-Colmenero, ... International journal of behavioral nutrition and physical activity 17, 1-11, 2020 | 79 | 2020 |
| Scalable media streaming to interactive users M Rocha, M Maia, I Cunha, J Almeida, S Campos Proceedings of the 13th annual ACM international conference on Multimedia …, 2005 | 78 | 2005 |
| Verifying the performance of the PCI local bus using symbolic techniques S Campos, E Clarke, W Marrero, M Minea Proceedings of ICCD'95 International Conference on Computer Design. VLSI in …, 1995 | 78 | 1995 |
| On the utilization of deep and ensemble learning to detect milk adulteration HA Neto, WLF Tavares, DCSZ Ribeiro, RCO Alves, LM Fonseca, ... BioData Mining 12, 1-13, 2019 | 74 | 2019 |
| Verification of a safety-critical railway interlocking system with real-time constraints V Hartonas-Garmhausen, S Campos, A Cimatti, E Clarke, F Giunchiglia Science of Computer Programming 36 (1), 53-64, 2000 | 69 | 2000 |
| ProbVerus: Probabilistic symbolic model checking V Hartonas-Garmhausen, S Campos, E Clarke International AMAST Workshop on Aspects of Real-Time Systems and Concurrent …, 1999 | 63 | 1999 |
| A quantitative approach to the formal verification of real-time systems SVA Campos Carnegie Mellon University, 1996 | 50 | 1996 |
| Evaluating imputation techniques for missing data in ADNI: a patient classification study S Campos, L Pizarro, C Valle, KR Gray, D Rueckert, H Allende Progress in Pattern Recognition, Image Analysis, Computer Vision, and …, 2015 | 47 | 2015 |
| The Verus tool: A quantitative approach to the formal verification of real-time systems S Campos, E Clarke, M Minea Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 46 | 1997 |
| Sistemas de comércio eletrônico: projeto e desenvolvimento W Meira, CD Murta, SVA Campos, DOG Neto Campus, 2002 | 44 | 2002 |
| Characterizing sopcast client behavior A Borges, P Gomes, J Nacif, R Mantini, JM Almeida, S Campos Computer Communications 35 (8), 1004-1016, 2012 | 42 | 2012 |
| Timing analysis of industrial real-time systems S Campos, E Clarke, W Marrero, M Minea Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal …, 1995 | 39 | 1995 |
| Fighting pollution in p2p live streaming systems A Borges, J Almeida, S Campos 2008 IEEE International Conference on Multimedia and Expo, 481-484, 2008 | 38 | 2008 |
| SIGLa: an adaptable LIMS for multiple laboratories A Melo, A Faria-Campos, DM DeLaat, R Keller, V Abreu, S Campos BMC genomics 11, 1-8, 2010 | 36 | 2010 |
| Differential abundances of four forms of Binder of SPerm 1 in the seminal plasma of Bos taurus indicus bulls with different patterns of semen freezability MJ Magalhães Jr, LF Martins, RL Senra, TF Dos Santos, DS Okano, ... Theriogenology 86 (3), 766-777. e2, 2016 | 31 | 2016 |
