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 Renato Jorge Neves

 iQbricks: Integration of a fully-featured quantum language in the framework Qbricks

Autor Tomás Barros Carneiro

Grau MSc

Ano 2023

Instituição UM

Approximate Equivalence for Hybrid Programs

Autor Juliana Patrício de Souza

Grau MSc

Ano 2022

Instituição UM

Adding Uncertainty to Real-Time Programming

Autor Rui Carlos Azevedo Carvalho

Grau MSc

Instituição UM

Simulation of Hybrid Systems Regulated by Newtonian Mechanics

Autor Ricardo da Silva Correia

Grau MSc

Instituição UM