Paulo A. S. Veloso

According to our database, Paulo A. S. Veloso authored at least 78 papers between 1977 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

De Zolt's postulate: an Abstract Approach.

Eduardo N. Giovannini, Edward Hermann Haeusler, Abel Lassalle-Casanave, Paulo A. S. Veloso

Rev. Symb. Log., 2022

2018

On Diagrams and General Model Checkers.

Sheila R. M. Veloso, Paulo A. S. Veloso, Mario R. F. Benevides, Isaque M. S. Lima

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

On a graph calculus for modalities.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Theor. Comput. Sci., 2017

2015

On Graphs for Intuitionistic Modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2014

PDL for structured data: a graph-calculus approach.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Log. J. IGPL, 2014

On Graph Calculi for Multi-modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014

2013

On a Graph Approach to Modal Logics.

Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides

Proceedings of the 8th Workshop on Logical and Semantic Frameworks, 2013

2012

A Graph Calculus for Predicate Logic

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Proceedings Seventh Workshop on Logical and Semantic Frameworks, 2012

2011

On Graph Refutation for Relational Inclusions

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2010

Modeling interactive storytelling genres as application domains.

Angelo E. M. Ciarlini, Marco A. Casanova, António L. Furtado, Paulo A. S. Veloso

J. Intell. Inf. Syst., 2010

On vague notions and modalities: a modular approach.

Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado

Log. J. IGPL, 2010

A Tool for Analysing Logics.

Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso

Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, 2010

A Calculus for Graphs with Complement.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

On graph reasoning.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Inf. Comput., 2009

Positive Fork Graph Calculus.

Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

On a Graph Calculus for Algebras of Relations.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the Logic, 2008

Methodical Construction of Symbolic Diagrams.

Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Advances in Artificial Intelligence, 2008

2007

On Fork Arrow Logic and its Expressive Power.

Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso

J. Philos. Log., 2007

Natural Deduction for "Generally".

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso

Log. J. IGPL, 2007

On Positive Relational Calculi.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Log. J. IGPL, 2007

Sequent Calculi for 'Generally'.

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications, 2007

2006

Reasoning with Graphs.

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

2005

An Application of Logic Engineering.

Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas

Log. J. IGPL, 2005

On 'Most' and 'Representative': Filter Logic and Special Predicates.

Paulo A. S. Veloso, Sheila R. M. Veloso

Log. J. IGPL, 2005

Exploring Computational Contents of Intuitionist Proofs.

Geiza Maria Hamazaki da Silva, Edward Hermann Haeusler, Paulo A. S. Veloso

Log. J. IGPL, 2005

2004

Logics For Qualitative Reasoning.

Paulo A. S. Veloso, Walter Alexandre Carnielli

Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

On Ultrafilter Logic and Special Functions.

Paulo A. S. Veloso, Sheila R. M. Veloso

Stud Logica, 2004

Functional Interpretation of Logics for 'Generally'.

Paulo A. S. Veloso, Sheila R. M. Veloso

Log. J. IGPL, 2004

On Modalities for Vague Notions.

Mario R. F. Benevides, Carla A. D. M. Delgado, Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

2003

Squares in Fork Arrow Logic.

Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso

J. Philos. Log., 2003

2002

On local modularity and interpolation in entailment systems.

Paulo A. S. Veloso, José Luiz Fiadeiro, Sheila R. M. Veloso

Inf. Process. Lett., 2002

On Special Functions and Theorem Proving in Logics for 'Generally'.

Sheila R. M. Veloso, Paulo A. S. Veloso

Proceedings of the Advances in Artificial Intelligence, 2002

Qualitative Logic for 'Generally'.

Sheila R. M. Veloso, Paulo A. S. Veloso

Proceedings of the International Conference on Artificial Intelligence, 2002

2001

On local modularity variants and -institutions.

Paulo A. S. Veloso, Sheila R. M. Veloso

Inf. Process. Lett., 2001

2000

A Formal Framework for Modelling at the Behavioural Level.

Angelo E. M. Ciarlini, Paulo A. S. Veloso, António L. Furtado

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

1998

Labeled Families in Modular Software Development.

Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro

J. Braz. Comput. Soc., 1998

1997

On Methods for Safe Introduction of Operations.

Paulo A. S. Veloso, Sheila R. M. Veloso

Inf. Process. Lett., 1997

A Finite Axiomatization for Fork Algebras.

Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso

Log. J. IGPL, 1997

Ultrafilter Logic and Generic Reasoning.

Walter Alexandre Carnielli, Paulo A. S. Veloso

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

Fork Algebras.

Armando Martin Haeberer, Marcelo F. Frias, Gabriel Baum, Paulo A. S. Veloso

Proceedings of the Relational Methods in Computer Science., 1997

1996

On Pushout Consistency, Modularity and Interpolation for Logical Specifications.

Paulo A. S. Veloso

Inf. Process. Lett., 1996

1995

On the Modularization Theorem for Logical Specifications.

Paulo A. S. Veloso, T. S. E. Maibaum

Inf. Process. Lett., 1995

Definition-like Extensions by Sorts.

Claudia Meré María, Paulo A. S. Veloso

Log. J. IGPL, 1995

1993

A New, Simpler Proof of the Modularisation Theorem for Logical Specifications.

Paulo A. S. Veloso

Log. J. IGPL, 1993

Sobre o Teorema da Modularização: Importância e uma Prova por Quociente.

Haydée Werneck Poubel, Paulo Augusto Silva Veloso

Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

Comparing Two Different Approaches to Products in Abstract Relation Algebra.

Rudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour.

Paulo A. S. Veloso

Bull. EATCS, 1992

1991

Some Remarks on Conservative Extensions: A Socratic Dialogue.

Paulo A. S. Veloso, Sheila R. M. Veloso

Bull. EATCS, 1991

1990

Uma metodologia para cálculo da complexidade de algoritmos.

Laira Vieira Toscani, Paulo A. S. Veloso

Proceedings of the 4th Brazilian Symposium on Software Engineering, 1990

1989

A Programação Dinâmica: um caso particular da Divisão e Conquista.

Laira Vieira Toscani, Paulo A. S. Veloso

RITA, 1989

Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal.

Laira Vieira Toscani, Paulo A. S. Veloso

Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989

1988

Iteration for applicative languages.

António L. Furtado, Paulo A. S. Veloso

ACM SIGPLAN Notices, 1988

Programação Dinâmica e Método Guloso.

Laira Vieira Toscani, Paulo A. S. Veloso

Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988

1987

On the concepts of problem and problem-solving method.

Paulo A. S. Veloso

Decis. Support Syst., 1987

1986

Towards simpler and yet complete formal specificapions.

Paulo A. S. Veloso, António L. Furtado

Proceedings of the Trends in Information Systems, 1986

1985

Towards Simpler and Yet Complete Formal Specifications

Paulo A. S. Veloso, António L. Furtado

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985

A Theory of Abstract Data Types for Program Development: Bridging the Gap?

T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Formal Data Base Specification - An Eclectic Perspective.

Marco A. Casanova, Paulo A. S. Veloso, António L. Furtado

Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 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

Proceedings of the Proceedings, 1984

Logical Specification and Implementation.

T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

1983

Multi-level specifications based on traces.

Paulo A. S. Veloso, António L. Furtado

ACM SIGSOFT Softw. Eng. Notes, 1983

A Grammatical Approach to Data Bases.

António L. Furtado, Paulo A. S. Veloso, Marco A. Casanova

Proceedings of the Information Processing 83, 1983

View Constructs for the Specification and Design of External Schemas.

Paulo A. S. Veloso, António L. Furtado

Proceedings of the 3rd Int. Conf. on Entity-Relationship Approach (ER'83), 1983

Problems as Abstract Data Types: Applications to Program Construction.

Paulo A. S. Veloso

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Methodical specification of abstract data types via rewriting systems.

Paulo A. S. Veloso

Int. J. Parallel Program., 1982

Comparing data type specifications via their normal forms.

Jean-Luc Rémy, Paulo A. S. Veloso

Int. J. Parallel Program., 1982

Specification of data bases through rewriting rules.

António L. Furtado, Paulo A. S. Veloso

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

Stepwise Construction of Algebraic Specifications.

Paulo A. S. Veloso, António L. Furtado

Proceedings of the Advances in Data Base Theory, 1982

1981

An economical method for comparing data type specifications.

Jean-Luc Rémy, Paulo A. S. Veloso

ACM SIGPLAN Notices, 1981

Procedural specifications and implementations for abstract data types.

António L. Furtado, Paulo A. S. Veloso

ACM SIGPLAN Notices, 1981

Systematic Derivation of Complementary Specifications

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, António L. Furtado

Proceedings of the Very Large Data Bases, 1981

Verification and Testing of S-ER Representations.

António L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho

Proceedings of the Entity-Relationship Approach to Information Modeling and Analysis, 1981

1980

Characterizations for the regular prefix codes and related families.

Paulo A. S. Veloso

Int. J. Parallel Program., 1980

1979

Traversable stack with fewer errors: addenda and corrigenda.

Paulo A. S. Veloso

ACM SIGPLAN Notices, 1979

Traversable stack with fewer errors.

Paulo A. S. Veloso

ACM SIGPLAN Notices, 1979

Some Remarks on Multiple-Entry Finite Automata.

Paulo A. S. Veloso, Arthur Gill

J. Comput. Syst. Sci., 1979

Characterizing the Regular Prefix Codes and Right Power-Bounded Languages.

Paulo A. S. Veloso

Inf. Process. Lett., 1979

1977

Some Bounds on Quasi-Initialised Finite Automata.

Paulo A. S. Veloso

Proceedings of the International Computing Symposium 1977, 1977