Petrucio Viana
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2012–2026
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DIAGRAMS | Graph-Based Proofs Can be Enlightening. | Mrcia R. Cerioli, Wagner Sanz, Petrucio Viana |
| 2021 | DIAGRAMS | Presenting Basic Graph Logic. | Mrcia R. Cerioli, Leandro Suguitani, Petrucio Viana |
| 2014 | DIAGRAMS | The Second Venn Diagrammatic System. | Renata P. de Freitas, Petrucio Viana |
| 2014 | WoLLIC | On Distributed Stochastic Logics for Mobile Systems. | Juliana Kster Filipe Bowles, Petrucio Viana |
| 2012 | DIAGRAMS | A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. | Renata P. de Freitas, Petrucio Viana |