Search the dblp DataBase
Paulo A. S. Veloso :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Paulo A. S. Veloso Problems as Abstract Data Types: Applications to Program Construction. [Citation Graph (0, 0)][DBLP ] ADT, 1983, pp:- [Conf ] 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 ] 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 ] 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 ] 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 ] Sheila R. M. Veloso , Paulo A. S. Veloso Qualitative Logic for 'Generally'. [Citation Graph (0, 0)][DBLP ] IC-AI, 2002, pp:1246-1252 [Conf ] 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 ] Paulo A. S. Veloso Some Bounds on Quasi-Initialised Finite Automata. [Citation Graph (0, 0)][DBLP ] International Computing Symposium, 1977, pp:389-393 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] A Calculus for Graphs with Complement. [Citation Graph (, )][DBLP ] Positive Fork Graph Calculus. [Citation Graph (, )][DBLP ] Methodical Construction of Symbolic Diagrams. [Citation Graph (, )][DBLP ] On a Graph Calculus for Algebras of Relations. [Citation Graph (, )][DBLP ] Sequent Calculi for 'Generally'. [Citation Graph (, )][DBLP ] Search in 0.040secs, Finished in 0.041secs