Some Remarks on Conservative Extensions: A Socratic Dialogue. - Paulo A. S. Veloso; Sheila R. M. Veloso (Bull. EATCS, 1991)

A Sphere World Semantics for Default Reasoning. - João C. P. da Silva; Sheila R. M. Veloso (LPNMR, 1995)

A Goal Directed Reasoning for Semi-Normal Default Theories. - Gerson Zaverucha; Sheila R. M. Veloso (SBIA, 1995)

On Methods for Safe Introduction of Operations. - Paulo A. S. Veloso; Sheila R. M. Veloso (Inf. Process. Lett., 1997)

Labeled Families in Modular Software Development. - Sheila R. M. Veloso; Paulo A. S. Veloso; José Luiz Fiadeiro (J. Braz. Comput. Soc., 1998)

Representing Belief Revision through Default Theories. - João C. P. da Silva; Sheila R. M. Veloso (IBERAMIA-SBIA, 2000)

On local modularity variants and -institutions. - Paulo A. S. Veloso; Sheila R. M. Veloso (Inf. Process. Lett., 2001)

Qualitative Logic for 'Generally'. - Sheila R. M. Veloso; Paulo A. S. Veloso (IC-AI, 2002)

On Special Functions and Theorem Proving in Logics for 'Generally'. - Sheila R. M. Veloso; Paulo A. S. Veloso (SBIA, 2002)

On local modularity and interpolation in entailment systems. - Paulo A. S. Veloso; José Luiz Fiadeiro; Sheila R. M. Veloso (Inf. Process. Lett., 2002)

Squares in Fork Arrow Logic. - Renata P. de Freitas; Jorge Petrucio Viana; Mario R. F. Benevides; Sheila R. M. Veloso; Paulo A. S. Veloso (J. Philos. Log., 2003)

On Modalities for Vague Notions. - Mario R. F. Benevides; Carla A. D. M. Delgado; Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso (SBIA, 2004)

Functional Interpretation of Logics for 'Generally'. - Paulo A. S. Veloso; Sheila R. M. Veloso (Log. J. IGPL, 2004)

On Ultrafilter Logic and Special Functions. - Paulo A. S. Veloso; Sheila R. M. Veloso (Stud Logica, 2004)

On 'Most' and 'Representative': Filter Logic and Special Predicates. - Paulo A. S. Veloso; Sheila R. M. Veloso (Log. J. IGPL, 2005)

An Application of Logic Engineering. - Sheila R. M. Veloso; Paulo A. S. Veloso; Renata P. de Freitas (Log. J. IGPL, 2005)

Reasoning with Graphs. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (WoLLIC, 2006)

Sequent Calculi for 'Generally'. - Leonardo B. Vana; Paulo A. S. Veloso; Sheila R. M. Veloso (LSFA, 2007)

On Positive Relational Calculi. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (Log. J. IGPL, 2007)

Natural Deduction for "Generally". - Leonardo B. Vana; Paulo A. S. Veloso; Sheila R. M. Veloso (Log. J. IGPL, 2007)

On Fork Arrow Logic and its Expressive Power. - Paulo A. S. Veloso; Renata P. de Freitas; Jorge Petrucio Viana; Mario R. F. Benevides; Sheila R. M. Veloso (J. Philos. Log., 2007)

Methodical Construction of Symbolic Diagrams. - Paulo A. S. Veloso; Sheila R. M. Veloso (SBIA, 2008)

On a Graph Calculus for Algebras of Relations. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (WoLLIC, 2008)

Positive Fork Graph Calculus. - Renata P. de Freitas; Sheila R. M. Veloso; Paulo A. S. Veloso; Jorge Petrucio Viana (LFCS, 2009)

On graph reasoning. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (Inf. Comput., 2009)

A Calculus for Graphs with Complement. - Renata P. de Freitas; Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana (Diagrams, 2010)

A Tool for Analysing Logics. - Sheila R. M. Veloso; Paulo A. S. Veloso; Paula M. Veloso (LSFA, 2010)

On vague notions and modalities: a modular approach. - Paulo A. S. Veloso; Sheila R. M. Veloso; Jorge Petrucio Viana; Renata P. de Freitas; Mario R. F. Benevides; Carla A. D. M. Delgado (Log. J. IGPL, 2010)

On Graph Refutation for Relational Inclusions - Paulo A. S. Veloso; Sheila R. M. Veloso (LSFA, 2011)

A Graph Calculus for Predicate Logic - Paulo A. S. Veloso; Sheila R. M. Veloso (LSFA, 2012)

On a Graph Approach to Modal Logics. - Paulo A. S. Veloso; Sheila R. M. Veloso; Mario R. F. Benevides (LSFA, 2013)

On Graph Calculi for Multi-modal Logics. - Paulo A. S. Veloso; Sheila R. M. Veloso; Mario R. F. Benevides (LSFA, 2014)

PDL for structured data: a graph-calculus approach. - Paulo A. S. Veloso; Sheila R. M. Veloso; Mario R. F. Benevides (Log. J. IGPL, 2014)

On Graphs for Intuitionistic Modal Logics. - Paulo A. S. Veloso; Sheila R. M. Veloso (LSFA, 2015)

On a graph calculus for modalities. - Paulo A. S. Veloso; Sheila R. M. Veloso; Mario R. F. Benevides (Theor. Comput. Sci., 2017)

On Diagrams and General Model Checkers. - Sheila R. M. Veloso; Paulo A. S. Veloso; Mario R. F. Benevides; Isaque M. S. Lima (Diagrams, 2018)