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 PhD

Ano 2023

Instituição UM

Time-structure in measurement-based quantum computation

Autor Michael de Oliveira

Grau PhD

Ano 2023

Instituição UM

Continuous-time Quantum Walks

Autor Jaime Pereira Santos

Grau PhD

Ano 2023

Instituição UM

Quantum Bayesian Reinforcement Learning

Autor Gilberto Rui Nogueira Cunha

Grau MSc

Ano 2022

Instituição UM

Foundations for quantum algorithms and complexity

Autor Carlos Eduardo Teixeira Tavares

Grau PhD

Ano 2022

Instituição UM

Weighted Computations: semantics and program logics

Autor Leandro Rafael Moreira Gomes

Grau PhD

Ano 2022

Instituição UP-FCUP

Timing Constraints in Quantum Programming Languages

Autor Vítor Emanuel Gonçalves Fernandes

Grau PhD

Ano 2022

Instituição UM

Continuous-time Quantum Walks

Autor Jaime Pereira Santos

Grau PhD

Ano 2022

Instituição UM

Dynamic fuzzy logics for quantum programs: Foundations and applications

Autor Manisha Jain

Grau PhD

Ano 2022

Instituição UA-UA

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

  • 1
  • 5