| 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) |
