Tiago Mendonça Lucena de Veras

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 12

Top Topics

Quantum Mechanics

Natural Deduction

Straight Forward

Top Venues

Quantum Inf. Process.

IEEE Trans. Computers

Publications

Carlos A. Batista, Tiago Mendonça Lucena de Veras, Leon D. da Silva, Adenilton J. da Silva
Comments on "Efficient classical simulation of the Deutsch-Jozsa and Simon's algorithms". Quantum Inf. Process. 22 (11) (2023)
Tiago Mendonça Lucena de Veras, Leon D. da Silva, Adenilton J. da Silva
Double sparse quantum state preparation. Quantum Inf. Process. 21 (6) (2022)
Tiago Mendonça Lucena de Veras, Leon D. da Silva, Adenilton J. da Silva
Double sparse quantum state preparation. CoRR (2021)
Tiago Mendonça Lucena de Veras, Ismael C. S. de Araujo, Daniel K. Park, Adenilton J. da Silva
Circuit-Based Quantum Random Access Memory for Classical Data With Continuous Amplitudes. IEEE Trans. Computers 70 (12) (2021)
Tiago Mendonça Lucena de Veras, Ismael C. S. de Araujo, Daniel K. Park, Adenilton J. da Silva
Circuit-based quantum random access memory for classical data with continuous amplitudes. CoRR (2020)
Rodrigo S. Sousa, Priscila G. M. dos Santos, Tiago Mendonça Lucena de Veras, Wilson Rosa de Oliveira, Adenilton J. da Silva
Parametric Probabilistic Quantum Memory. CoRR (2020)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira
Computational Paths - A Weak Groupoid. CoRR (2020)
Rodrigo S. Sousa, Priscila G. M. dos Santos, Tiago Mendonça Lucena de Veras, Wilson Rosa de Oliveira, Adenilton J. da Silva
Parametric Probabilistic Quantum Memory. Neurocomputing 416 (2020)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
An alternative approach to the calculation of fundamental groups based on labeled natural deduction. CoRR (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
A Topological Application of Labelled Natural Deduction. CoRR (2019)
Tiago Mendonça Lucena de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths. CoRR (2018)
Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Tiago Mendonça Lucena de Veras
On the Use of Computational Paths in Path Spaces of Homotopy Type Theory. CoRR (2018)