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 2021

Institution UM

Continuous-time Quantum Walks

Author Jaime Pereira Santos

Degree MSc

Year 2021

Institution UM

Quantum Reinforcement Learning: Foundations, algorithms, applications

Author André Manuel Resende Sequeira

Degree MSc

Year 2021

Institution UM

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

Exploring Paraconsistent Logics for Quantum Programs

Author Ana Luzia Rosa da Cruz

Degree MSc

Year 2021

Institution UM

Flexible Molecular Alignment - An Industrial case study on Quantum algorithmic techniques

Author Marta Sofia Saraiva Oliveira

Degree MSc

Year 2020

Institution UM

Simulation of Quantum Biology - Quantum simulation of photosynthesis

Author José Diogo da Costa Guimarães

Degree MSc

Year 2020

Institution UM

Combining paraconsistent and dynamic logic for Qiskit

Author Bernardo Almeida Leite Faria

Degree MSc

Year 2020

Institution UM

Foundations for quantum algorithms and complexity

Author Carlos Eduardo Teixeira Tavares

Degree MSc

Year 2020

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree MSc

Year 2020

Institution UM

  • 2
  • 5