Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Teses
supervisionadas

Teses supervisionadas por Luís Soares Barbosa

Timing Constraints in Quantum Programming Languages

Autor Vítor Emanuel Gonçalves Fernandes

Grau MSc

Ano 2021

Instituição UM

Continuous-time Quantum Walks

Autor Jaime Pereira Santos

Grau MSc

Ano 2021

Instituição UM

Quantum Reinforcement Learning: Foundations, algorithms, applications

Autor André Manuel Resende Sequeira

Grau MSc

Ano 2021

Instituição UM

Quantum Random Walks

Autor Jaime Pereira Santos

Grau MSc

Ano 2021

Instituição UM

Regular Expressions for Timed Autonoma

Autor Paulo Jorge Sousa Alves Ribeiro

Grau MSc

Ano 2021

Instituição UM

Combining paraconsistent and dynamic logic for Qiskit

Autor Bernardo Almeida Leite Faria

Grau MSc

Ano 2021

Instituição UM

Exploring Paraconsistent Logics for Quantum Programs

Autor Ana Luzia Rosa da Cruz

Grau MSc

Ano 2021

Instituição UM

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 MSc

Ano 2020

Instituição UM

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau MSc

Ano 2020

Instituição UM

  • 2
  • 5