de Melo, Rodrigo T.
3960  results:
Search for persons X
?
1

An Agent Program in an IoT System to Recommend Plans of Act..:

, In: 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC),
 
?
3

A Framework to Support Experts in the Study of Energy Effic..:

, In: Proceedings of the XV Brazilian Symposium on Information Systems,
 
?
5

DNA damage by singlet oxygen and cellular protective mechan..:

Agnez-Lima, Lucymara F. ; Melo, Julliane T.A. ; Silva, Acarízia E....
Mutation Research/Reviews in Mutation Research.  751 (2012)  1 - p. 15-28 , 2012
 
?
6

Post-secretory events alter the peptide content of the skin..:

Magalhães, Beatriz S. ; Melo, Jorge A.T. ; Leite, José Roberto S.A....
Biochemical and Biophysical Research Communications.  377 (2008)  4 - p. 1057-1061 , 2008
 
?
8

Type Inference for C : Applications to the Static Analys..:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; Guimarães, Breno C. F..
ACM Transactions on Programming Languages and Systems (TOPLAS).  42 (2020)  3 - p. 1-71 , 2020
 
?
10

Type Inference for C: Applications to the Static Analysis o..:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; Guimarães, Breno C. F..
ACM Transactions on Programming Languages and Systems.  42 (2020)  3 - p. 1-71 , 2020
 
?
11

Inference of static semantics for incomplete C programs:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; de Araújo, Marcus R..
Proceedings of the ACM on Programming Languages.  2 (2017)  POPL - p. 1-28 , 2017
 
?
12

Inference of static semantics for incomplete C programs:

Melo, Leandro T. C. ; Ribeiro, Rodrigo G. ; de Araújo, Marcus R..
Proceedings of the ACM on Programming Languages.  2 (2017)  POPL - p. 1-28 , 2017
 
1-15