Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Supervised
thesis

Supervised thesis by Luís Soares Barbosa

Timing Constraints in Quantum Programming Languages

Author Vítor Emanuel Gonçalves Fernandes

Degree MSc

Year 2023

Institution UM

Time-structure in measurement-based quantum computation

Author Michael de Oliveira

Degree MSc

Year 2023

Institution UM

Continuous-time Quantum Walks

Author Jaime Pereira Santos

Degree MSc

Year 2023

Institution UM

Quantum Bayesian Reinforcement Learning

Author Gilberto Rui Nogueira Cunha

Degree MSc

Year 2022

Institution UM

Foundations for quantum algorithms and complexity

Author Carlos Eduardo Teixeira Tavares

Degree MSc

Year 2022

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree MSc

Year 2022

Institution UM

Timing Constraints in Quantum Programming Languages

Author Vítor Emanuel Gonçalves Fernandes

Degree MSc

Year 2022

Institution UM

Continuous-time Quantum Walks

Author Jaime Pereira Santos

Degree MSc

Year 2022

Institution UM

Quantum Reinforcement Learning: Foundations, algorithms, applications

Author André Manuel Resende Sequeira

Degree MSc

Year 2022

Institution UM

Dynamic fuzzy logics for quantum programs: Foundations and applications

Author Manisha Jain

Degree MSc

Year 2022

Institution UM

Foundations for quantum algorithms and complexity

Author Carlos Eduardo Teixeira Tavares

Degree MSc

Year 2021

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree MSc

Year 2021

Institution UM

  • 1
  • 5