Renata P. de Freitas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2008–2014
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | DIAGRAMS | The Second Venn Diagrammatic System. | Renata P. de Freitas, Petrucio Viana |
| 2012 | DIAGRAMS | A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. | Renata P. de Freitas, Petrucio Viana |
| 2010 | DIAGRAMS | A Calculus for Graphs with Complement. | Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |
| 2009 | LFCS | Positive Fork Graph Calculus. | Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana |
| 2008 | WoLLIC | On a Graph Calculus for Algebras of Relations. | Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana |