Leonardo Barbosa e Oliveira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2003–2016
Best venue rank
A
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | CGO | Symbolic range analysis of pointers. | Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2014 | OOPSLA | Validation of memory accesses through symbolic analyses. | Henrique Nazar, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2003 | WCNC | Evaluation of ad-hoc routing protocols under a peer-to-peer application. | Leonardo Barbosa e Oliveira, Isabela G. Siqueira, Antonio Alfredo Ferreira Loureiro |