Paulo A. S. Veloso

Publication Activity (10 Years)

Years Active: 1977-2022
Publications (10 Years): 4

Top Topics

Decision Procedures

Graph Structure

Top Venues

Rev. Symb. Log.

Publications

Eduardo N. Giovannini, Edward Hermann Haeusler, Abel Lassalle-Casanave, Paulo A. S. Veloso
De Zolt's postulate: an Abstract Approach. Rev. Symb. Log. 15 (1) (2022)
Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima
On Diagrams and General Model Checkers. Diagrams (2018)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On a graph calculus for modalities. Theor. Comput. Sci. 685 (2017)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Graphs for Intuitionistic Modal Logics. LSFA (2015)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
PDL for structured data: a graph-calculus approach. Log. J. IGPL 22 (5) (2014)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On Graph Calculi for Multi-modal Logics. LSFA (2014)
Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
On a Graph Approach to Modal Logics. LSFA (2013)
Paulo A. S. Veloso, Sheila R. M. Veloso
A Graph Calculus for Predicate Logic LSFA (2012)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Graph Refutation for Relational Inclusions LSFA (2011)
Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso
A Tool for Analysing Logics. LSFA (2010)
Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado
On vague notions and modalities: a modular approach. Log. J. IGPL 18 (3) (2010)
Angelo E. M. Ciarlini, Marco A. Casanova, Antonio L. Furtado, Paulo A. S. Veloso
Modeling interactive storytelling genres as application domains. J. Intell. Inf. Syst. 35 (3) (2010)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
A Calculus for Graphs with Complement. Diagrams (2010)
Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana
Positive Fork Graph Calculus. LFCS (2009)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On graph reasoning. Inf. Comput. 207 (10) (2009)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On a Graph Calculus for Algebras of Relations. WoLLIC (2008)
Paulo A. S. Veloso, Sheila R. M. Veloso
Methodical Construction of Symbolic Diagrams. SBIA (2008)
Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso
On Fork Arrow Logic and its Expressive Power. J. Philos. Log. 36 (5) (2007)
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
Sequent Calculi for 'Generally'. LSFA (2007)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
On Positive Relational Calculi. Log. J. IGPL 15 (5-6) (2007)
Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso
Natural Deduction for "Generally". Log. J. IGPL 15 (5-6) (2007)
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana
Reasoning with Graphs. Electron. Notes Theor. Comput. Sci. 165 (2006)
Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas
An Application of Logic Engineering. Log. J. IGPL 13 (1) (2005)
Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso
Exploring Computational Contents of Intuitionist Proofs. Log. J. IGPL 13 (1) (2005)
Paulo A. S. Veloso, Sheila R. M. Veloso
On 'Most' and 'Representative': Filter Logic and Special Predicates. Log. J. IGPL 13 (6) (2005)
Paulo A. S. Veloso, Sheila R. M. Veloso
Functional Interpretation of Logics for 'Generally'. Log. J. IGPL 12 (6) (2004)
Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso
On Modalities for Vague Notions. SBIA (2004)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Ultrafilter Logic and Special Functions. Stud Logica 78 (3) (2004)
Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso
Squares in Fork Arrow Logic. J. Philos. Log. 32 (4) (2003)
Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso
On local modularity and interpolation in entailment systems. Inf. Process. Lett. 82 (4) (2002)
Sheila R. M. Veloso, Paulo A. S. Veloso
Qualitative Logic for 'Generally'. IC-AI (2002)
Sheila R. M. Veloso, Paulo A. S. Veloso
On Special Functions and Theorem Proving in Logics for 'Generally'. SBIA (2002)
Paulo A. S. Veloso, Sheila R. M. Veloso
On local modularity variants and -institutions. Inf. Process. Lett. 77 (5-6) (2001)
Angelo E. M. Ciarlini, Paulo A. S. Veloso, Antonio L. Furtado
A Formal Framework for Modelling at the Behavioural Level. EJC (2000)
Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro
Labeled Families in Modular Software Development. J. Braz. Comput. Soc. 5 (1) (1998)
Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso
A Finite Axiomatization for Fork Algebras. Log. J. IGPL 5 (3) (1997)
Walter Alexandre Carnielli, Paulo A. S. Veloso
Ultrafilter Logic and Generic Reasoning. Kurt Gödel Colloquium (1997)
Paulo A. S. Veloso, Sheila R. M. Veloso
On Methods for Safe Introduction of Operations. Inf. Process. Lett. 64 (5) (1997)
Paulo A. S. Veloso
On Pushout Consistency, Modularity and Interpolation for Logical Specifications. Inf. Process. Lett. 60 (2) (1996)
Claudia Meré María, Paulo A. S. Veloso
Definition-like Extensions by Sorts. Log. J. IGPL 3 (4) (1995)
Paulo A. S. Veloso, T. S. E. Maibaum
On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53 (5) (1995)
Paulo A. S. Veloso
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications. Log. J. IGPL 1 (1) (1993)
Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso
Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST (1993)
Paulo A. S. Veloso
Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour. Bull. EATCS 46 (1992)
Paulo A. S. Veloso, Sheila R. M. Veloso
Some Remarks on Conservative Extensions: A Socratic Dialogue. Bull. EATCS 43 (1991)
Laira Vieira Toscani, Paulo A. S. Veloso
Uma metodologia para cálculo da complexidade de algoritmos. SBES (1990)
Laira Vieira Toscani, Paulo A. S. Veloso
A Programação Dinâmica: um caso particular da Divisão e Conquista. RITA 1 (2) (1989)
Laira Vieira Toscani, Paulo A. S. Veloso
Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal. SBES (1989)
Antonio L. Furtado, Paulo A. S. Veloso
Iteration for applicative languages. ACM SIGPLAN Notices 23 (12) (1988)
Laira Vieira Toscani, Paulo A. S. Veloso
Programação Dinâmica e Método Guloso. SBES (1988)
Paulo A. S. Veloso
On the concepts of problem and problem-solving method. Decis. Support Syst. 3 (2) (1987)
Paulo A. S. Veloso, Antonio L. Furtado
Towards Simpler and Yet Complete Formal Specifications TFAIS (1985)
T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler
A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 (1985)
T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso
Logical Specification and Implementation. FSTTCS (1984)
Carlos José Pereira de Lucena, R. C. B. Martins, Paulo A. S. Veloso, Donald D. Cowan
The Data Transform Programming Metho: An Example for File Processing Problems. ICSE (1984)
Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado
Formal Data Base Specification - An Eclectic Perspective. PODS (1984)
Antonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova
A Grammatical Approach to Data Bases. IFIP Congress (1983)
Paulo A. S. Veloso, Antonio L. Furtado
Multi-level specifications based on traces. ACM SIGSOFT Softw. Eng. Notes 8 (1) (1983)
Paulo A. S. Veloso
Problems as Abstract Data Types: Applications to Program Construction. ADT (1983)
Paulo A. S. Veloso, Antonio L. Furtado
View Constructs for the Specification and Design of External Schemas. ER (1983)
Antonio L. Furtado, Paulo A. S. Veloso
Specification of data bases through rewriting rules. Graph-Grammars and Their Application to Computer Science (1982)
Paulo A. S. Veloso
Methodical specification of abstract data types via rewriting systems. Int. J. Parallel Program. 11 (5) (1982)
Paulo A. S. Veloso, Antonio L. Furtado
Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory (1982)
Jean-Luc Rémy, Paulo A. S. Veloso
Comparing data type specifications via their normal forms. Int. J. Parallel Program. 11 (3) (1982)
Jean-Luc Rémy, Paulo A. S. Veloso
An economical method for comparing data type specifications. ACM SIGPLAN Notices 16 (5) (1981)
Antonio L. Furtado, Paulo A. S. Veloso
Procedural specifications and implementations for abstract data types. ACM SIGPLAN Notices 16 (3) (1981)
Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado
Systematic Derivation of Complementary Specifications VLDB (1981)
Antonio L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho
Verification and Testing of S-ER Representations. ER (1981)
Paulo A. S. Veloso
Characterizations for the regular prefix codes and related families. Int. J. Parallel Program. 9 (5) (1980)
Paulo A. S. Veloso
Traversable stack with fewer errors. ACM SIGPLAN Notices 14 (2) (1979)
Paulo A. S. Veloso
Characterizing the Regular Prefix Codes and Right Power-Bounded Languages. Inf. Process. Lett. 9 (1) (1979)
Paulo A. S. Veloso, Arthur Gill
Some Remarks on Multiple-Entry Finite Automata. J. Comput. Syst. Sci. 18 (3) (1979)
Paulo A. S. Veloso
Traversable stack with fewer errors: addenda and corrigenda. ACM SIGPLAN Notices 14 (10) (1979)
Paulo A. S. Veloso
Some Bounds on Quasi-Initialised Finite Automata. International Computing Symposium (1977)