The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paulo A. S. Veloso: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  39. A Calculus for Graphs with Complement. [Citation Graph (, )][DBLP]


  40. Positive Fork Graph Calculus. [Citation Graph (, )][DBLP]


  41. Methodical Construction of Symbolic Diagrams. [Citation Graph (, )][DBLP]


  42. On a Graph Calculus for Algebras of Relations. [Citation Graph (, )][DBLP]


  43. Sequent Calculi for 'Generally'. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002