A Normalization Procedure for the Equational Fragment of Labelled Natural Deduction. - Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (Log. J. IGPL, 1999)

Geometry of Deduction Via Graphs of Proofs. - Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (Logic for Concurrency and Synchronisation, 2003)

A New Basic Set of Transformations between Proofs. - Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (We Will Show Them! (2), 2005)

Querying Geographical Data Warehouses With GeoMDQL. - Joel da Silva; Ausberto S. Castro Vera; Anjolina Grisi de Oliveira; Robson do Nascimento Fidalgo; Ana Carolina Salgado; Valéria Cesário Times (SBBD, 2007)

A set of aggregation functions for spatial measures. - Joel da Silva; Valéria Cesário Times; Ana Carolina Salgado; Clenúbio Souza; Robson do Nascimento Fidalgo; Anjolina Grisi de Oliveira (DOLAP, 2008)

Especificação e Avaliação de Algoritmos para Processamento Multidimensional-Geográfico. - 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 (SBBD, 2008)

Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization. - Gleifer V. Alves; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (WoLLIC, 2009)

The impact of spatial data redundancy on SOLAP query performance. - Thiago Luís Lopes Siqueira; Cristina Dutra de Aguiar Ciferri; Valéria Cesário Times; Anjolina Grisi de Oliveira; Ricardo Rodrigues Ciferri (J. Braz. Comput. Soc., 2009)

A Metamodel for the Specification of Geographical Data. - Valéria Cesário Times; Robson do Nascimento Fidalgo; Rafael Leão da Fonseca; Joel da Silva; Anjolina Grisi de Oliveira (New Trends in Data Warehousing and Data Analysis, 2009)

The Functional Interpretation of Direct Computations. - Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (LSFA, 2010)

Modelling and querying geographical data warehouses. - Joel da Silva; Anjolina Grisi de Oliveira; Robson do Nascimento Fidalgo; Ana Carolina Salgado; Valéria Cesário Times (Inf. Syst., 2010)

Propositional equality, identity types, and direct computational paths - Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2011)

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property. - Gleifer V. Alves; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (Fundam. Informaticae, 2011)

The Functional Interpretation of Logical Deduction - Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira; Dov M. Gabbay (World Scientific, 2011)

Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. - Laís Andrade; Ruan Carvalho; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (WoLLIC, 2013)

Sequentialization for N-Graphs via Sub-N-Graphs. - Ruan Carvalho; Laís Andrade; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (WoLLIC, 2014)

Sequences of Rewrites: A Categorical Interpretation. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2014)

Intuitionistic N-Graphs. - Marcela Quispe-Cruz; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz; Valeria de Paiva (Log. J. IGPL, 2014)

On the Groupoid Model of Computational Paths. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2015)

On Computational Paths and the Fundamental Groupoid of a Type. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2015)

Normalization of N-Graphs via Sub-N-Graphs. - Laís Andrade; Ruan Carvalho; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (LSFA, 2015)

Computational Paths and Identity Types. - Arthur Freitas Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2016)

On the identity type as the type of computational paths. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (Log. J. IGPL, 2017)

Sequentialization for full N-Graphs via sub-N-Graphs. - Ruan V. B. Carvalho; Laís S. Andrade; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (CoRR, 2018)

On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. - Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira; Tiago Mendonça Lucena de Veras (CoRR, 2018)

On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2018)

A Topological Application of Labelled Natural Deduction. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2019)

An alternative approach to the calculation of fundamental groups based on labeled natural deduction. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (CoRR, 2019)

Propositional intuitionistic multiple-conclusion calculus via proof graphs. - Ruan V. B. Carvalho; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz (Log. J. IGPL, 2019)

Computational Paths - A Weak Groupoid. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Thiago D. O. Silva; Anjolina Grisi de Oliveira (CoRR, 2020)

Computational paths - a weak groupoid. - Tiago Mendonça Lucena de Veras; Arthur F. Ramos; Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira (J. Log. Comput., 2025)