Cookies
Usamos cookies para melhorar nosso site e a sua experiência. Ao continuar a navegar no site, você aceita a nossa política de cookies. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Luís Soares Barbosa

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

Combining paraconsistent and dynamic logic for Qiskit

Autor Bernardo Almeida Leite Faria

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

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2020

Instituição UP-FCUP

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2020

Instituição UP-FCUP

Timing Constraints in Quantum Programming Languages

Autor Vítor Emanuel Gonçalves Fernandes

Grau PhD

Ano 2020

Instituição UM

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2019

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 2019

Instituição UP-FCUP

On Quantum Bayesian Networks

Autor Michael de Oliveira

Grau MSc

Ano 2019

Instituição UM

Integration of Time in a Quantum Process Algebra

Autor Vítor Emanuel Gonçalves Fernandes

Grau MSc

Ano 2019

Instituição UM

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2019

Instituição UP-FCUP

  • 1
  • 4