Paulo A. S. Veloso

Paulo A. S. Veloso, Sheila R. M. Veloso: A Graph Calculus for Predicate Logic. LSFA 2012: 153-168

Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso: A Tool for Analysing Logics. Electr. Notes Theor. Comput. Sci. 269: 125-137 (2011)

Paulo A. S. Veloso, Sheila R. M. Veloso: On Graph Refutation for Relational Inclusions. LSFA 2011: 47-62

Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana, Renata P. de Freitas, Mario R. F. Benevides, Carla A. D. M. Delgado: On vague notions and modalities: a modular approach. Logic Journal of the IGPL 18(3): 381-402 (2010)

Angelo E. M. Ciarlini, Marco A. Casanova, Antonio L. Furtado, Paulo A. S. Veloso: Modeling interactive storytelling genres as application domains. J. Intell. Inf. Syst. 35(3): 347-381 (2010)

Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrúcio Viana: A Calculus for Graphs with Complement. Diagrams 2010: 84-98

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)

Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana: Positive Fork Graph Calculus. LFCS 2009: 152-163

Leonardo B. Vana, Paulo A. S. Veloso, Sheila R. M. Veloso: Sequent Calculi for 'Generally'. Electr. Notes Theor. Comput. Sci. 205: 49-65 (2008)

Paulo A. S. Veloso, Sheila R. M. Veloso: Methodical Construction of Symbolic Diagrams. SBIA 2008: 187-196

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

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)

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)

Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso: On Fork Arrow Logic and its Expressive Power. J. Philosophical Logic 36(5): 489-509 (2007)

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)

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)

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)

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)

Paulo A. S. Veloso, Sheila R. M. Veloso: Functional Interpretation of Logics for 'Generally'. Logic Journal of the IGPL 12(6): 627-640 (2004)

Paulo A. S. Veloso, Sheila R. M. Veloso: On Ultrafilter Logic and Special Functions. Studia Logica 78(3): 459-477 (2004)

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

Paulo A. S. Veloso, Walter Alexandre Carnielli: Logics For Qualitative Reasoning. Logic, Epistemology, and the Unity of Science 2004: 487-526

Renata P. de Freitas, Jorge Petrúcio Viana, Mario R. F. Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso: Squares in Fork Arrow Logic. J. Philosophical Logic 32(4): 343-355 (2003)

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)

Sheila R. M. Veloso, Paulo A. S. Veloso: Qualitative Logic for 'Generally'. IC-AI 2002: 1246-1252

Sheila R. M. Veloso, Paulo A. S. Veloso: On Special Functions and Theorem Proving in Logics for 'Generally'. SBIA 2002: 1-10

Paulo A. S. Veloso, Sheila R. M. Veloso: On local modularity variants and -institutions. Inf. Process. Lett. 77(5-6): 247-253 (2001)

Angelo E. M. Ciarlini, Paulo A. S. Veloso, Antonio L. Furtado: A Formal Framework for Modelling at the Behavioural Level. EJC 2000: 107-122

Sheila R. M. Veloso, Paulo A. S. Veloso, José Luiz Fiadeiro: Labeled Families in Modular Software Development. J. Braz. Comp. Soc. 5(1) (1998)

Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso: A Finite Axiomatization for Fork Algebras. Logic Journal of the IGPL 5(3): 1-10 (1997)

Paulo A. S. Veloso, Sheila R. M. Veloso: On Methods for Safe Introduction of Operations. Inf. Process. Lett. 64(5): 231-238 (1997)

Walter Alexandre Carnielli, Paulo A. S. Veloso: Ultrafilter Logic and Generic Reasoning. Kurt Gödel Colloquium 1997: 34-53

Paulo A. S. Veloso: On Pushout Consistency, Modularity and Interpolation for Logical Specifications. Inf. Process. Lett. 60(2): 59-66 (1996)

Claudia Meré María, Paulo A. S. Veloso: Definition-like Extensions by Sorts. Logic Journal of the IGPL 3(4): 579-595 (1995)

Paulo A. S. Veloso, T. S. E. Maibaum: On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53(5): 287-293 (1995)

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)

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

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)

Paulo A. S. Veloso, Sheila R. M. Veloso: Some Remarks on Conservative Extensions: A Socratic Dialogue. Bulletin of the EATCS 43: 189-198 (1991)

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)

Antonio L. Furtado, Paulo A. S. Veloso: Iteration for applicative languages. SIGPLAN Notices 23(12): 86-94 (1988)

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

Paulo A. S. Veloso, Antonio L. Furtado: Towards Simpler and Yet Complete Formal Specifications. TFAIS 1985: 174-188

T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30

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

Marco A. Casanova, Paulo A. S. Veloso, Antonio L. Furtado: Formal Data Base Specification - An Eclectic Perspective. PODS 1984: 110-118

Paulo A. S. Veloso: Problems as Abstract Data Types: Applications to Program Construction. ADT 1983

Paulo A. S. Veloso, Antonio L. Furtado: View Constructs for the Specification and Design of External Schemas. ER 1983: 637-650

Antonio L. Furtado, Paulo A. S. Veloso, Marco A. Casanova: A Grammatical Approach to Data Bases. IFIP Congress 1983: 705-710

Jean-Luc Remy, Paulo A. S. Veloso: Comparing data type specifications via their normal forms. International Journal of Parallel Programming 11(3): 141-153 (1982)

Paulo A. S. Veloso: Methodical specification of abstract data types via rewriting systems. International Journal of Parallel Programming 11(5): 295-323 (1982)

Paulo A. S. Veloso, Antonio L. Furtado: Stepwise Construction of Algebraic Specifications. Advances in Data Base Theory 1982: 321-352

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

Antonio L. Furtado, Paulo A. S. Veloso, José Mauro Volkmer de Castilho: Verification and Testing of S-ER Representations. ER 1981: 123-147

Paulo A. S. Veloso, José Mauro Volkmer de Castilho, Antonio L. Furtado: Systematic Derivation of Complementary Specifications. VLDB 1981: 409-421

Paulo A. S. Veloso: Characterizations for the regular prefix codes and related families. International Journal of Parallel Programming 9(5): 371-382 (1980)

Paulo A. S. Veloso: Characterizing the Regular Prefix Codes and Right Power-Bounded Languages. Inf. Process. Lett. 9(1): 5-7 (1979)

Paulo A. S. Veloso, Arthur Gill: Some Remarks on Multiple-Entry Finite Automata. J. Comput. Syst. Sci. 18(3): 304-306 (1979)

Paulo A. S. Veloso: Some Bounds on Quasi-Initialised Finite Automata. International Computing Symposium 1977: 389-393