Teses - INESC TEC

Teses
supervisionadas

Teses supervisionadas por Luís Soares Barbosa

Exploring Paraconsistent Logics for Quantum Programs

Autor Ana Luzia Rosa da Cruz

Grau MSc

Ano 2021

Instituição UM

Continuous-time Quantum Walks

Autor Jaime Pereira Santos

Grau PhD

Ano 2021

Instituição UM

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2021

Instituição UM

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2021

Instituição UP-FCUP

Timing Constraints in Quantum Programming Languages

Autor Vítor Emanuel Gonçalves Fernandes

Grau PhD

Ano 2021

Instituição UM

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2020

Instituição UP-FCUP

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Autor sara dos Santos Fernandes

Grau PhD

Ano 2020

Instituição UP-FCUP

Flexible Molecular Alignment - An Industrial case study on Quantum algorithmic techniques

Autor Marta Sofia Saraiva Oliveira

Grau MSc

Ano 2020

Instituição UM

Simulation of Quantum Biology - Quantum simulation of photosynthesis

Autor José Diogo da Costa Guimarães

Grau MSc

Ano 2020

Instituição UM

Combining paraconsistent and dynamic logic for Qiskit

Autor Bernardo Almeida Leite Faria

Grau MSc

Ano 2020

Instituição UM

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2019

Instituição UM

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2019

Instituição UP-FCUP