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)

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)

Parametric Probabilistic Quantum Memory. - Rodrigo S. Sousa; Priscila G. M. dos Santos; Tiago Mendonça Lucena de Veras; Wilson Rosa de Oliveira; Adenilton J. da Silva (Neurocomputing, 2020)

Circuit-Based Quantum Random Access Memory for Classical Data With Continuous Amplitudes. - Tiago Mendonça Lucena de Veras; Ismael C. S. de Araujo; Daniel K. Park; Adenilton J. da Silva (IEEE Trans. Computers, 2021)

Double sparse quantum state preparation. - Tiago Mendonça Lucena de Veras; Leon D. da Silva; Adenilton J. da Silva (Quantum Inf. Process., 2022)

Comments on "Efficient classical simulation of the Deutsch-Jozsa and Simon's algorithms". - Carlos A. Batista; Tiago Mendonça Lucena de Veras; Leon D. da Silva; Adenilton J. da Silva (Quantum Inf. Process., 2023)

Quantum Multiplexer Simplification for State Preparation. - José A. de Carvalho; Carlos A. Batista; Tiago Mendonça Lucena de Veras; Israel F. Araujo; Adenilton J. da Silva (CoRR, 2024)

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)