Paulo A. S. Veloso
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
1981–2018
Best venue rank
A*
Where they publish
Papers
10 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 |
| 2000 | EJC | A Formal Framework for Modelling at the Behavioural Level. | Angelo E. M. Ciarlini, Paulo A. S. Veloso, Antnio L. Furtado |
| 1984 | ICSE | The Data Transform Programming Metho: An Example for File Processing Problems. | Carlos Jos Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan |
| 1984 | PODS | Formal Data Base Specification - An Eclectic Perspective. | Marco A. Casanova, Paulo A. S. Veloso, Antnio L. Furtado |
| 1983 | ER | View Constructs for the Specification and Design of External Schemas. | Paulo A. S. Veloso, Antnio L. Furtado |
| 1981 | ER | Verification and Testing of S-ER Representations. | Antnio L. Furtado, Paulo A. S. Veloso, Jos Mauro Volkmer de Castilho |
| 1981 | VLDB | Systematic Derivation of Complementary Specifications | Paulo A. S. Veloso, Jos Mauro Volkmer de Castilho, Antnio L. Furtado |