Tiago Mendonça Lucena de Veras

According to our database, Tiago Mendonça Lucena de Veras authored at least 9 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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., November, 2023

2022

Double sparse quantum state preparation.

Tiago Mendonça Lucena de Veras, Leon D. da Silva, Adenilton J. da Silva

Quantum Inf. Process., 2022

2021

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

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

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

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

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

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

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