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

Exploring Paraconsistent Logics for Quantum Programs

Author Ana Luzia Rosa da Cruz

Degree MSc

Year 2021

Institution UM

Continuous-time Quantum Walks

Author Jaime Pereira Santos

Degree PhD

Year 2021

Institution UM

Foundations for quantum algorithms and complexity

Author Carlos Eduardo Teixeira Tavares

Degree PhD

Year 2021

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2021

Institution UP-FCUP

Timing Constraints in Quantum Programming Languages

Author Vítor Emanuel Gonçalves Fernandes

Degree PhD

Year 2021

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2020

Institution UP-FCUP

Peer-production and Technology-enhanced Collaborative Teaching and Learning (Models, Methods and Framework)

Author sara dos Santos Fernandes

Degree PhD

Year 2020

Institution UP-FCUP

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 PhD

Year 2019

Institution UM

Weighted Computations: semantics and program logics

Author Leandro Rafael Moreira Gomes

Degree PhD

Year 2019

Institution UP-FCUP

  • 2
  • 5