Paulo A. S. Veloso Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana: Positive Fork Graph Calculus. LFCS 2009: 152-163
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Sheila R. M. Veloso: Methodical Construction of Symbolic Diagrams. SBIA 2008: 187-196
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso: Sequent Calculi for 'Generally'. Electr. Notes Theor. Comput. Sci. 205: 49-65 (2008)
2007
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonardo 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRenata 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheila 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)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeiza 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)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Sheila R. M. Veloso: Functional Interpretation of Logics for 'Generally'. Logic Journal of the IGPL 12(6): 627-640 (2004)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Sheila R. M. Veloso: On Ultrafilter Logic and Special Functions. Studia Logica 78(3): 459-477 (2004)
2002
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheila R. M. Veloso, Paulo A. S. Veloso: Qualitative Logic for 'Generally'. IC-AI 2002: 1246-1252
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheila R. M. Veloso, Paulo A. S. Veloso: On Special Functions and Theorem Proving in Logics for 'Generally'. SBIA 2002: 1-10
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Sheila R. M. Veloso: On local modularity variants and -institutions. Inf. Process. Lett. 77(5-6): 247-253 (2001)
2000
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo E. M. Ciarlini, Paulo A. S. Veloso, Antonio L. Furtado: A Formal Framework for Modelling at the Behavioural Level. EJC 2000: 107-122
1998
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro: Labeled Families in Modular Software Development. J. Braz. Comp. Soc. 5(1): (1998)
1997
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalter Alexandre Carnielli, Paulo A. S. Veloso: Ultrafilter Logic and Generic Reasoning. Kurt Gödel Colloquium 1997: 34-53
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Sheila R. M. Veloso: On Methods for Safe Introduction of Operations. Inf. Process. Lett. 64(5): 231-238 (1997)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso: A Finite Axiomatization for Fork Algebras. Logic Journal of the IGPL 5(3): (1997)
1996
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso: On Pushout Consistency, Modularity and Interpolation for Logical Specifications. Inf. Process. Lett. 60(2): 59-66 (1996)
1995
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, T. S. E. Maibaum: On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53(5): 287-293 (1995)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudia Meré María, Paulo A. S. Veloso: Definition-like Extensions by Sorts. Logic Journal of the IGPL 3(4): 579-595 (1995)
1993
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRudolf Berghammer, Armando Martin Haeberer, Gunther Schmidt, Paulo A. S. Veloso: Comparing Two Different Approaches to Products in Abstract Relation Algebra. AMAST 1993: 167-176
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo 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
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Sheila R. M. Veloso: Some Remarks on Conservative Extensions: A Socratic Dialogue. Bulletin of the EATCS 43: 189-198 (1991)
1989
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaira 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
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Paulo A. S. Veloso: Iteration for applicative languages. SIGPLAN Notices 23(12): 86-94 (1988)
1985
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. 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
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Antonio L. Furtado: Towards Simpler and Yet Complete Formal Specifications TFAIS 1985: 174-188
1984
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118
1983
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso: Problems as Abstract Data Types: Applications to Program Construction. ADT 1983
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Antonio L. Furtado: View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova: A Grammatical Approach to Data Bases. IFIP Congress 1983: 705-710
1982
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Antonio L. Furtado: Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory 1982: 321-352
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio 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
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho: Verification and Testing of S-ER Representations. ER 1981: 123-147
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications VLDB 1981: 409-421
1979
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso: Characterizing the Regular Prefix Codes and Right Power-Bounded Languages. Inf. Process. Lett. 9(1): 5-7 (1979)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, Arthur Gill: Some Remarks on Multiple-Entry Finite Automata. J. Comput. Syst. Sci. 18(3): 304-306 (1979)
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso: Some Bounds on Quasi-Initialised Finite Automata. International Computing Symposium 1977: 389-393

Coauthor Index

1Mario R. F. Benevides [36]
2Rudolf Berghammer [21]
3Walter Alexandre Carnielli [27]
4Marco A. Casanova [8] [11]
5José Mauro Volkmer de Castilho [4] [5]
6Angelo E. M. Ciarlini [29]
7Donald D. Cowan [12]
8Carla A. D. M. Delgado [36]
9José Luiz Fiadeiro [28] [31]
10Renata P. de Freitas [36] [39] [40] [42] [44] [46] [47]
11Marcelo F. Frias [25]
12Antonio L. Furtado [4] [5] [6] [7] [8] [9] [11] [14] [16] [29]
13Arthur Gill [2]
14Armando Martin Haeberer [21] [25]
15Edward Hermann Haeusler [38]
16Carlos José Pereira de Lucena [12]
17T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [13] [15] [23]
18Claudia Meré María [22]
19R. C. B. Martins [12]
20M. R. Sadler [13] [15]
21Gunther Schmidt [21]
22Geiza Maria Hamazaki da Silva [38]
23Laira Vieira Toscani [17]
24Leonardo B. Vana [41] [43]
25Sheila R. M. Veloso [18] [26] [28] [30] [31] [32] [33] [34] [35] [36] [37] [39] [40] [41] [42] [43] [44] [45] [46] [47]
26Jorge Petrúcio Viana [40] [42] [44] [46] [47]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)