Login

Dissertations

Video-Shot Extraction in a CPU-GPU Cluster (in Portuguese)

Dissertations MSc

Published in 01/07/2016

Authors

Hervé Paulino, João Magalhães,

A Type System for Value-Dependent Information Flow Analysis

Dissertations PhD

Published in 01/03/2016

Authors

Luísa Lourenço, Luis Caires,

Rely-Guarantee Protocols for Safe Interference over Shared Memory

Dissertations PhD

Published in 01/12/2015

Authors

Filipe Militão, Luis Caires, Jonathan Aldrich,

Augmenting Spaces and Creating Interactive Experiences Using Video Camera Networks

Dissertations PhD

Published in 01/09/2015

Authors

Rossana Santos, Nuno Correia,

Machine Ethics via Logic Programming

Dissertations PhD

Published in 01/07/2015

Authors

Luís Moniz Pereira, Ari Saptawijaya,

A Logical Foundation for Session-based Concurrent Computation

Dissertations PhD

Published in 01/06/2015

Authors

Bernardo Toninho, Luis Caires, Frank Pfenning,

OWL QL e Regras Não Monóntonas

Dissertations MSc

Published in 01/04/2015

Authors

Nuno Costa, João Leite, Matthias Knorr,

The brushstroke and materials of Amadeo Souza-Cardoso combined in an authentication tool

Dissertations PhD

Published in 01/02/2015

Authors

Cristina Montagner, Rui Jesus,

ARZombie – Estudo e implementac?a?o de aplicac?o?es de realidade aumentada para tablet

Dissertations MSc

Published in 01/12/2014

Authors

Diogo Cordeiro, Nuno Correia, Rui Jesus,

Video interaction using pen-based technology

Dissertations PhD

Published in 01/12/2014

Authors

Diogo Cabral, Diogo Cabral, Nuno Correia,