Rocha, Williame ; Rocha, Herbert ; Ismail, Hussama..
Rocha , W , Rocha , H , Ismail , H , Cordeiro , L & Fischer , B 2017 , DepthK: A k-Induction Verifier Based on Invariant Inference for C Programs . in Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, PT II . vol. 10206 , Lecture Notes in Computer Science , pp. 360-364 . https://doi.org/10.1007/978-3-662-54580-5_23 , https://doi.org/10.1007/978-3-662-54580-5_23.  , 2017

ROCHA, Marcus Pinto da Costa da ; LEITE, Lourenildo Williame Barbosa
ROCHA, Marcus P. C.; LEITE, Lourenildo W.B. Treatment of geophysical data as a non-stationary process. Computational & Applied Mathematics, São Carlos, v. 22, n. 2, p. 149-166, 2003. Disponível em: . Acesso em: 21 mar. 2011. ..  , 2013