- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j5 |      | Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira: The Functional Interpretation of Direct Computations. Electr. Notes Theor. Comput. Sci. 269: 19-40 (2011) |
| j4 | | Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz: Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. Fundam. Inform. 106(2-4): 119-147 (2011) |
| i1 | | Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira: Propositional equality, identity types, and direct computational paths. CoRR abs/1107.1901 (2011) |
| 2010 | ||
| j3 | | Joel da Silva, Anjolina Grisi de Oliveira, Robson do Nascimento Fidalgo, Ana Carolina Salgado, Valéria Cesário Times: Modelling and querying geographical data warehouses. Inf. Syst. 35(5): 592-614 (2010) |
| 2009 | ||
| j2 | | Thiago Luís Lopes Siqueira, Cristina Dutra de Aguiar Ciferri, Valéria Cesário Times, Anjolina Grisi de Oliveira, Ricardo Rodrigues Ciferri: The impact of spatial data redundancy on SOLAP query performance. J. Braz. Comp. Soc. 15(2): 19-34 (2009) |
| c5 | | Gleifer V. Alves, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz: Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. WoLLIC 2009: 84-98 |
| p1 | | Valéria Cesário Times, Robson do Nascimento Fidalgo, Rafael Leão da Fonseca, Joel da Silva, Anjolina Grisi de Oliveira: A Metamodel for the Specification of Geographical Data. New Trends in Data Warehousing and Data Analysis 2009: 1-22 |
| 2008 | ||
| c4 | | 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 |
| c3 | | 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 | ||
| c2 | | 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 | ||
| c1 |  | 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 | ||
| j1 | | 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) |
Colors in the list of coauthors
Last update Sat May 25 12:10:20 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page