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 Sandra Alves

Quantitative Types for Programming Languages

Author Jorge Miguel Soares Ramos

Degree MSc

Year 2023

Institution UP-FCUP

Linear Rank Quantitative Types

Author Fábio Daniel Martins Reis

Degree MSc

Year 2022

Institution UP-FCUP

Quantitative Types for Programming Languages

Author Jorge Miguel Soares Ramos

Degree MSc

Year 2022

Institution UP-FCUP

Typed Languages for Events and their Applications

Author Jorge Miguel Soares Ramos

Degree MSc

Year 2021

Institution UP-FCUP

Typed Port-Graphs for Access Control Verification

Author Jorge Paulino Iglésias

Degree MSc

Year 2021

Institution UP-FCUP

PortGraphs for Access Control Verification

Author Jorge Paulino Iglésias

Degree MSc

Year 2021

Institution UP-FCUP

Synthesis of Programs from Linear Types

Author Maria Inês Melo e Sousa

Degree MSc

Year 2021

Institution UP-FCUP

Formula-Tree Method Tool

Author Joana Filipa Fernandes Martins

Degree MSc

Year 2016

Institution UP-FCUP

View and Verify Access Control Policies

Author João Pedro de Almeida e Sá

Degree MSc

Year 2014

Institution UP-FCUP