Demo Data from EDBT 2026 / reviewers in the wild / expert
Paulo A. S. Veloso
dblp:98/4297 · also Paulo Augusto Silva Veloso
· DBLP profile ↗
21ranked-venue papers
11as first author
0since 2021 · last 2018
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Databases, data management, data science and information retrieval · 12 · 8 first-authorTheory of computation · 11 · 8 first-authorArtificial intelligence and machine learning · 3 · 1 first-authorSoftware engineering, systems software and programming languages · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Artificial intelligence
1 paper |
Graph learning · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% | |
| Software engineering, system software, and programming languages
2 papers |
Programming languages and type systems · 46% Requirements engineering and software design · 31% Software maintenance and evolution · 14% |
Topics — the 5 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Graph learning
graph reasoning |
0.1 | 1 | 2009 | On graph reasoning · Inf. Comput. 2009 |
Database theory
database schema |
0.0 | 1 | 1984 | Formal Data Base Specification - An Eclectic Perspective · PODS 1984 |
Programming languages and type systems
language design |
0.0 | 1 | 1984 | The Data Transform Programming Metho: An Example for File Processing Problems · ICSE 1984 |
Requirements engineering and software design › specification
specification derivation |
0.0 | 1 | 1981 | Systematic Derivation of Complementary Specifications · VLDB 1981 |
Software maintenance and evolution
software evolution |
0.0 | 1 | 1984 | The Data Transform Programming Metho: An Example for File Processing Problems · ICSE 1984 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2018 | On Diagrams and General Model Checkers
Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque Lima 0001 |
Diagrams | 2 |
| 2017 | On a graph calculus for modalities
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides |
Theor. Comput. Sci. | 1 |
| 2010 | A Calculus for Graphs with Complement
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana |
Diagrams | 2 |
| 2010 | Modeling interactive storytelling genres as application domains
Angelo E. M. Ciarlini, Marco A. Casanova, António L. Furtado 0001, Paulo A. S. Veloso |
J. Intell. Inf. Syst. | 4 |
| 2009 | On graph reasoning
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana |
Inf. Comput. | 2 |
| 2008 | On a Graph Calculus for Algebras of Relations
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Petrucio Viana |
WoLLIC | 2 |
| 2002 | On local modularity and interpolation in entailment systems
Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso |
Inf. Process. Lett. | 1 |
| 2001 | On local modularity variants and -institutions
Paulo A. S. Veloso, Sheila R. M. Veloso |
Inf. Process. Lett. | 1 |
| 2000 | A Formal Framework for Modelling at the Behavioural Level
Angelo E. M. Ciarlini, Paulo A. S. Veloso, António L. Furtado 0001 |
EJC | 2 |
| 1997 | On Methods for Safe Introduction of Operations
Paulo A. S. Veloso, Sheila R. M. Veloso |
Inf. Process. Lett. | 1 |
| 1996 | On Pushout Consistency, Modularity and Interpolation for Logical Specifications
Paulo A. S. Veloso |
Inf. Process. Lett. | 1 |
| 1995 | On the Modularization Theorem for Logical Specifications
Paulo A. S. Veloso, T. S. E. Maibaum |
Inf. Process. Lett. | 1 |
| 1987 | On the concepts of problem and problem-solving method
Paulo A. S. Veloso |
Decis. Support Syst. | 1 |
| 1984 | Logical Specification and Implementation
T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso |
FSTTCS | 3 |
| 1984 | 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 |
ICSE | 3 |
| 1984 | Formal Data Base Specification - An Eclectic PerspectiveabstractLogical, algebraic, programming language, grammatical and denotational formalisms are investigated with res pect to their applicability to formal data base speci fication. On applying each formalism for the purpose that originally motivated its proposal, it is shown that they all have a fundamental and well integrated role to play in different parts of the specification process. An example is included to illustrate the methodological aspects. Marco A. Casanova, Paulo A. S. Veloso, António L. Furtado 0001 |
PODS | 2 |
| 1983 | View Constructs for the Specification and Design of External Schemas
Paulo A. S. Veloso, António L. Furtado 0001 |
ER | 1 |
| 1981 | Verification and Testing of S-ER Representations
António L. Furtado 0001, Paulo A. S. Veloso, José M. V. de Castilho |
ER | 2 |
| 1981 | Systematic Derivation of Complementary Specifications
Paulo A. S. Veloso, José M. V. de Castilho, António L. Furtado 0001 |
VLDB | 1 |
| 1979 | Characterizing the Regular Prefix Codes and Right Power-Bounded Languages
Paulo A. S. Veloso |
Inf. Process. Lett. | 1 |
| 1979 | Some Remarks on Multiple-Entry Finite Automata
Paulo A. S. Veloso, Arthur Gill |
J. Comput. Syst. Sci. | 1 |