Renata P. de Freitas

	2011
15		Mario R. F. Benevides, Renata P. de Freitas, Jorge Petrúcio Viana: Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. Electr. Notes Theor. Comput. Sci. 269: 95-107 (2011)
	2010
14		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
13		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)
	2009
12		Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrúcio Viana: Positive Fork Graph Calculus. LFCS 2009: 152-163
11		Renata P. de Freitas, Petrucio Petrúcio Viana: Introducing Polymodal Neighbourhood Logics. Electr. Notes Theor. Comput. Sci. 247: 51-66 (2009)
10		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)
	2008
9		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
8		Renata P. de Freitas, Jorge Petrúcio Viana: A note on proofs with graphs. Sci. Comput. Program. 73(2-3): 129-135 (2008)
	2007
7		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)
6		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
5		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
4		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
3		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
	2003
2		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)
	2002
1		Renata P. de Freitas, Jorge Petrúcio Viana: A Completeness Result for Relation Algebra with Binders. Electr. Notes Theor. Comput. Sci. 67: 204-217 (2002)

Coauthor Index

1	Mario R. F. Benevides	[2] [3] [7] [13] [15]
2	Carla A. D. M. Delgado	[3] [13]
3	Paulo A. S. Veloso	[2] [3] [4] [5] [6] [7] [9] [10] [12] [13] [14]
4	Sheila R. M. Veloso	[2] [3] [4] [5] [6] [7] [9] [10] [12] [13] [14]
5	Jorge Petrúcio Viana	[1] [2] [5] [6] [7] [8] [9] [10] [12] [13] [14] [15]
6	Petrucio Petrúcio Viana	[11]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page