2008 |
5 | EE | Joel da Silva,
Valéria Cesário Times,
Ana Carolina Salgado,
Clenúbio Souza,
Robson do Nascimento Fidalgo,
Anjolina Grisi de Oliveira:
A set of aggregation functions for spatial measures.
DOLAP 2008: 25-32 |
4 | EE | Vivianne Medeiros,
Robson do Nascimento Fidalgo,
Valéria Cesário Times,
Ana Carolina Salgado,
Marcília A. Campos,
Anjolina Grisi de Oliveira,
Joel da Silva:
Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico.
SBBD 2008: 61-75 |
2007 |
3 | EE | Joel da Silva,
Ausberto S. Castro Vera,
Anjolina Grisi de Oliveira,
Robson do Nascimento Fidalgo,
Ana Carolina Salgado,
Valéria Cesário Times:
Querying Geographical Data Warehouses With GeoMDQL.
SBBD 2007: 223-237 |
2005 |
2 | | Anjolina Grisi de Oliveira,
Ruy J. G. B. de Queiroz:
A New Basic Set of Transformations between Proofs.
We Will Show Them! (2) 2005: 499-528 |
1999 |
1 | EE | Anjolina Grisi de Oliveira,
Ruy J. G. B. de Queiroz:
A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction.
Logic Journal of the IGPL 7(2): 173-215 (1999) |