Paulo A. S. Veloso

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