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 PhD

Year 2023

Institution UM

Time-structure in measurement-based quantum computation

Author Michael de Oliveira

Degree PhD

Year 2023

Institution UM

Continuous-time Quantum Walks

Author Jaime Pereira Santos

Degree PhD

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 PhD

Year 2022

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2022

Institution UP-FCUP

Timing Constraints in Quantum Programming Languages

Author Vítor Emanuel Gonçalves Fernandes

Degree PhD

Year 2022

Institution UM

Continuous-time Quantum Walks

Author Jaime Pereira Santos

Degree PhD

Year 2022

Institution UM

Dynamic fuzzy logics for quantum programs: Foundations and applications

Author Manisha Jain

Degree PhD

Year 2022

Institution UA-UA

Quantum Random Walks

Author Jaime Pereira Santos

Degree MSc

Year 2021

Institution UM

Regular Expressions for Timed Autonoma

Author Paulo Jorge Sousa Alves Ribeiro

Degree MSc

Year 2021

Institution UM

Combining paraconsistent and dynamic logic for Qiskit

Author Bernardo Almeida Leite Faria

Degree MSc

Year 2021

Institution UM

  • 1
  • 5