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

Melo, Raimundo Williame Rocha de ; http://lattes.cnpq.br/8935199769991902
MELO, Raimundo Williame Rocha de. Verifica????o de Programas Embarcados ANSI-C baseada em indu????o Matem??tica e Invariantes. 2017. 70 f. Disserta????o (Mestrado em Engenharia El??trica) - Universidade Federal do Amazonas, Manaus, 2017..  , 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

LEITE, Lourenildo Williame Barbosa ; ROCHA, Marcus Pinto da Costa da
LEITE, L. W. B.; ROCHA, M. P. C. da. Deconvolução de processo sísmico não-estacionário. Revista Brasileira de Geofísica, São Paulo, v. 18, n. 1, p. 75-89, mar. 2000. Disponível em: . Acesso em: 12 dez. 2013. ..  , 2013