Sheila R. M. Veloso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1995–2018
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DIAGRAMS | On Diagrams and General Model Checkers. | Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima |
| 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 |
| 1995 | LPNMR | A Sphere World Semantics for Default Reasoning. | Joo C. P. da Silva, Sheila R. M. Veloso |