Tiago M. L. de Veras

13 papers Journal 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Computational Paths Form a Weak ω-Groupoid. CoRR Arthur F. Ramos, Tiago M. L. de Veras, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2025	J	`jnl`	Computational paths - a weak groupoid. J. Log. Comput. Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira
2025	J	`jnl`	Formalizing Computational Paths and Fundamental Groups in Lean. CoRR Arthur F. Ramos, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Tiago M. L. de Veras
2025	J	`jnl`	Quantum Multiplexer Simplification for State Preparation. ACM Trans. Quantum Comput. José Alex de Carvalho, Carlos A. Batista, Tiago M. L. de Veras, Israel F. Araujo, Adenilton José da Silva
2024	J	`jnl`	Quantum Multiplexer Simplification for State Preparation. CoRR José A. de Carvalho, Carlos A. Batista, Tiago M. L. de Veras, Israel F. Araujo, Adenilton J. da Silva
2023	J	`jnl`	Comments on "Efficient classical simulation of the Deutsch-Jozsa and Simon's algorithms". Quantum Inf. Process. Carlos A. Batista, Tiago M. L. de Veras, Leon D. da Silva, Adenilton J. da Silva
2022	J	`jnl`	Double sparse quantum state preparation. Quantum Inf. Process. Tiago M. L. de Veras, Leon D. da Silva, Adenilton J. da Silva
2021	J	`jnl`	Circuit-Based Quantum Random Access Memory for Classical Data With Continuous Amplitudes. IEEE Trans. Computers Tiago M. L. de Veras, Ismael C. S. de Araujo, Daniel K. Park, Adenilton J. da Silva
2021	J	`jnl`	Double sparse quantum state preparation. CoRR Tiago M. L. de Veras, Leon D. da Silva, Adenilton J. da Silva
2020	J	`jnl`	Circuit-based quantum random access memory for classical data with continuous amplitudes. CoRR Tiago M. L. de Veras, Ismael C. S. de Araujo, Daniel K. Park, Adenilton J. da Silva
2020	J	`jnl`	Computational Paths - A Weak Groupoid. CoRR Tiago M. L. de Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz, Thiago D. O. Silva, Anjolina Grisi de Oliveira
2020	J	`jnl`	Parametric Probabilistic Quantum Memory. CoRR Rodrigo S. Sousa, Priscila G. M. dos Santos, Tiago M. L. de Veras, Wilson Rosa de Oliveira, Adenilton J. da Silva
2020	J	`jnl`	Parametric Probabilistic Quantum Memory. Neurocomputing Rodrigo S. Sousa, Priscila G. M. dos Santos, Tiago M. L. de Veras, Wilson Rosa de Oliveira, Adenilton J. da Silva