Tiago M. L. de Veras
Orcid: 0000-0003-1840-4276Affiliations:
- Federal University of Pernambuco (UFPE), Computer Science Center, Recife, PE, Brazil
- Federal Rural University of Pernambuco (UFRPE), Department of Mathematics, Recife, PE, Brazil
According to our database1,
Tiago M. L. de Veras authored at least 15 papers
between 2018 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
ACM Trans. Quantum Comput., December, 2025
A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums.
CoRR, December, 2025
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups.
CoRR, December, 2025
2023
Comments on "Efficient classical simulation of the Deutsch-Jozsa and Simon's algorithms".
Quantum Inf. Process., November, 2023
2022
2021
Circuit-Based Quantum Random Access Memory for Classical Data With Continuous Amplitudes.
IEEE Trans. Computers, 2021
2020
2019
An alternative approach to the calculation of fundamental groups based on labeled natural deduction.
CoRR, 2019
2018
On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths.
CoRR, 2018