 | 2009 |
|---|
| 47 |       | Renata P. de Freitas,
Sheila R. M. Veloso,
Paulo A. S. Veloso,
Jorge Petrúcio Viana:
Positive Fork Graph Calculus.
LFCS 2009: 152-163 |
| 46 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On graph reasoning.
Inf. Comput. 207(10): 1000-1014 (2009) |
| 2008 |
|---|
| 45 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
Methodical Construction of Symbolic Diagrams.
SBIA 2008: 187-196 |
| 44 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On a Graph Calculus for Algebras of Relations.
WoLLIC 2008: 298-312 |
| 43 | | Leonardo B. Vana,
Paulo A. S. Veloso,
Sheila R. M. Veloso:
Sequent Calculi for 'Generally'.
Electr. Notes Theor. Comput. Sci. 205: 49-65 (2008) |
| 2007 |
|---|
| 42 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
On Positive Relational Calculi.
Logic Journal of the IGPL 15(5-6): 577-601 (2007) |
| 41 | | Leonardo B. Vana,
Paulo A. S. Veloso,
Sheila R. M. Veloso:
Natural Deduction for "Generally".
Logic Journal of the IGPL 15(5-6): 775-800 (2007) |
| 2006 |
|---|
| 40 | | Renata P. de Freitas,
Paulo A. S. Veloso,
Sheila R. M. Veloso,
Jorge Petrúcio Viana:
Reasoning with Graphs.
Electr. Notes Theor. Comput. Sci. 165: 201-212 (2006) |
| 2005 |
|---|
| 39 | | Sheila R. M. Veloso,
Paulo A. S. Veloso,
Renata P. de Freitas:
An Application of Logic Engineering.
Logic Journal of the IGPL 13(1): 29-46 (2005) |
| 38 | | Geiza Maria Hamazaki da Silva,
Edward Hermann Haeusler,
Paulo A. S. Veloso:
Exploring Computational Contents of Intuitionist Proofs.
Logic Journal of the IGPL 13(1): 69-93 (2005) |
| 37 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On 'Most' and 'Representative': Filter Logic and Special Predicates.
Logic Journal of the IGPL 13(6): 717-728 (2005) |
| 2004 |
|---|
| 36 | | 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: 1-10 |
| 35 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
Functional Interpretation of Logics for 'Generally'.
Logic Journal of the IGPL 12(6): 627-640 (2004) |
| 34 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On Ultrafilter Logic and Special Functions.
Studia Logica 78(3): 459-477 (2004) |
| 2002 |
|---|
| 33 |  | Sheila R. M. Veloso,
Paulo A. S. Veloso:
Qualitative Logic for 'Generally'.
IC-AI 2002: 1246-1252 |
| 32 | | Sheila R. M. Veloso,
Paulo A. S. Veloso:
On Special Functions and Theorem Proving in Logics for 'Generally'.
SBIA 2002: 1-10 |
| 31 | | Paulo A. S. Veloso,
José Luiz Fiadeiro,
Sheila R. M. Veloso:
On local modularity and interpolation in entailment systems.
Inf. Process. Lett. 82(4): 203-211 (2002) |
| 2001 |
|---|
| 30 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On local modularity variants and -institutions.
Inf. Process. Lett. 77(5-6): 247-253 (2001) |
| 2000 |
|---|
| 29 | | Angelo E. M. Ciarlini,
Paulo A. S. Veloso,
Antonio L. Furtado:
A Formal Framework for Modelling at the Behavioural Level.
EJC 2000: 107-122 |
| 1998 |
|---|
| 28 | | Sheila R. M. Veloso,
Paulo A. S. Veloso,
José Luiz Fiadeiro:
Labeled Families in Modular Software Development.
J. Braz. Comp. Soc. 5(1): (1998) |
| 1997 |
|---|
| 27 | | Walter Alexandre Carnielli,
Paulo A. S. Veloso:
Ultrafilter Logic and Generic Reasoning.
Kurt Gödel Colloquium 1997: 34-53 |
| 26 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
On Methods for Safe Introduction of Operations.
Inf. Process. Lett. 64(5): 231-238 (1997) |
| 25 | | Marcelo F. Frias,
Armando Martin Haeberer,
Paulo A. S. Veloso:
A Finite Axiomatization for Fork Algebras.
Logic Journal of the IGPL 5(3): (1997) |
| 1996 |
|---|
| 24 | | Paulo A. S. Veloso:
On Pushout Consistency, Modularity and Interpolation for Logical Specifications.
Inf. Process. Lett. 60(2): 59-66 (1996) |
| 1995 |
|---|
| 23 | | Paulo A. S. Veloso,
T. S. E. Maibaum:
On the Modularization Theorem for Logical Specifications.
Inf. Process. Lett. 53(5): 287-293 (1995) |
| 22 | | Claudia Meré María,
Paulo A. S. Veloso:
Definition-like Extensions by Sorts.
Logic Journal of the IGPL 3(4): 579-595 (1995) |
| 1993 |
|---|
| 21 | | Rudolf Berghammer,
Armando Martin Haeberer,
Gunther Schmidt,
Paulo A. S. Veloso:
Comparing Two Different Approaches to Products in Abstract Relation Algebra.
AMAST 1993: 167-176 |
| 20 | | Paulo A. S. Veloso:
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications.
Logic Journal of the IGPL 1(1): 3-12 (1993) |
| 1992 |
|---|
| 19 | | Paulo A. S. Veloso:
Yet Antother Cautionary Note on Conservative Extensions: a Simple Case with a Computing Flavour.
Bulletin of the EATCS 46: 188-192 (1992) |
| 1991 |
|---|
| 18 | | Paulo A. S. Veloso,
Sheila R. M. Veloso:
Some Remarks on Conservative Extensions: A Socratic Dialogue.
Bulletin of the EATCS 43: 189-198 (1991) |
| 1989 |
|---|
| 17 | | Laira Vieira Toscani,
Paulo A. S. Veloso:
A Programação Dinâmica: um caso particular da Divisão e Conquista.
RITA 1(2): 53-67 (1989) |
| 1988 |
|---|
| 16 | | Antonio L. Furtado,
Paulo A. S. Veloso:
Iteration for applicative languages.
SIGPLAN Notices 23(12): 86-94 (1988) |
| 1985 |
|---|
| 15 | | 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: 214-230 |
| 14 | | Paulo A. S. Veloso,
Antonio L. Furtado:
Towards Simpler and Yet Complete Formal Specifications
TFAIS 1985: 174-188 |
| 1984 |
|---|
| 13 | | T. S. E. Maibaum,
M. R. Sadler,
Paulo A. S. Veloso:
Logical Specification and Implementation.
FSTTCS 1984: 13-30 |
| 12 | | 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: 388-397 |
| 11 | | Marco A. Casanova,
Paulo A. S. Veloso,
Antonio L. Furtado:
Formal Data Base Specification - An Eclectic Perspective.
PODS 1984: 110-118 |
| 1983 |
|---|
| 10 | | Paulo A. S. Veloso:
Problems as Abstract Data Types: Applications to Program Construction.
ADT 1983 |
| 9 | | Paulo A. S. Veloso,
Antonio L. Furtado:
View Constructs for the Specification and Design of External Schemas.
ER 1983: 637-650 |
| 8 | | Antonio L. Furtado,
Paulo A. S. Veloso,
Marco A. Casanova:
A Grammatical Approach to Data Bases.
IFIP Congress 1983: 705-710 |
| 1982 |
|---|
| 7 | | Paulo A. S. Veloso,
Antonio L. Furtado:
Stepwise Construction of Algebraic Specifications.
Advances in Data Base Theory 1982: 321-352 |
| 6 | | Antonio L. Furtado,
Paulo A. S. Veloso:
Specification of data bases through rewriting rules.
Graph-Grammars and Their Application to Computer Science 1982: 102-114 |
| 1981 |
|---|
| 5 | | Antonio L. Furtado,
Paulo A. S. Veloso,
José Mauro Volkmer de Castilho:
Verification and Testing of S-ER Representations.
ER 1981: 123-147 |
| 4 | | Paulo A. S. Veloso,
José Mauro Volkmer de Castilho,
Antonio L. Furtado:
Systematic Derivation of Complementary Specifications
VLDB 1981: 409-421 |
| 1979 |
|---|
| 3 | | Paulo A. S. Veloso:
Characterizing the Regular Prefix Codes and Right Power-Bounded Languages.
Inf. Process. Lett. 9(1): 5-7 (1979) |
| 2 | | Paulo A. S. Veloso,
Arthur Gill:
Some Remarks on Multiple-Entry Finite Automata.
J. Comput. Syst. Sci. 18(3): 304-306 (1979) |
| 1977 |
|---|
| 1 | | Paulo A. S. Veloso:
Some Bounds on Quasi-Initialised Finite Automata.
International Computing Symposium 1977: 389-393 |
