2009 |
8 | EE | Renata P. de Freitas,
Sheila R. M. Veloso,
Paulo A. S. Veloso,
Jorge Petrúcio Viana:
Positive Fork Graph Calculus.
LFCS 2009: 152-163 |
2008 |
7 | EE | 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 |
6 | EE | Renata P. de Freitas,
Jorge Petrúcio Viana:
A note on proofs with graphs.
Sci. Comput. Program. 73(2-3): 129-135 (2008) |
2007 |
5 | EE | 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) |
2006 |
4 | EE | 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) |
2005 |
3 | EE | 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) |
2004 |
2 | EE | 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 |
2002 |
1 | EE | Renata P. de Freitas,
Jorge Petrúcio Viana:
A Completeness Result for Relation Algebra with Binders.
Electr. Notes Theor. Comput. Sci. 67: (2002) |