DISSERTATIONS
- Rely-Guarantee Protocols for Safe Interference over Shared Memory
- 1 Dec 2015
- Universidade Nova de Lisboa
- Filipe Militão
- Augmenting Spaces and Creating Interactive Experiences Using Video Camera Networks
- 1 Sep 2015
- FCT-UNL
- Rossana Santos
- Machine Ethics via Logic Programming
- 1 Jul 2015
- Universidade Nova de Lisboa
- Ari Saptawijaya
- A Logical Foundation for Session-based Concurrent Computation
- 1 Jun 2015
- Universidade Nova de Lisboa
- Bernardo Toninho
- OWL QL e Regras Não Monóntonas
- 1 Apr 2015
- Faculdade de Ciências e Tecnologia, UNL
- Nuno Costa
- The brushstroke and materials of Amadeo Souza-Cardoso combined in an authentication tool
- 1 Feb 2015
- New University of Lisbon
- Cristina Montagner
- Towards an Algorithmic Skeleton Framework for the Programming of the Intel Xeon Phi Processor
- 1 Dec 2014
- Faculdade de Ciências e Tecnologia, UNL
- Hélder Marques
- Video interaction using pen-based technology
- 1 Dec 2014
- Universidade Nova de Lisboa
- Diogo Cabral , Diogo Cabral
- Video interaction using pen-based technology
- 1 Dec 2014
- FCT-UNL
- Diogo Cabral , Diogo Cabral
- ARZombie - Estudo e implementação de aplicações de realidade aumentada para tablet
- 1 Dec 2014
- Departamento de Informática, FCT/UNL
- Diogo Cordeiro
- Reactive Hybrid Knowledge Bases
- 1 Nov 2014
- Faculdade de Ciências e Tecnologia, UNL
- Nuno Cruz
- Efficient Paraconsistent Reasoning with Rules and Ontologies for the Semantic Web
- 1 Oct 2014
- Faculdade de Ciências e Tecnologia, UNL
- Tobias Kaminski
Dissertation - PhD
Dissertation - PhD
Dissertation - PhD
Dissertation - PhD
Dissertation - MSc
Dissertation - PhD
Dissertation - MSc
Dissertation - PhD
Dissertation - PhD
Dissertation - MSc
Dissertation - MSc
Dissertation - MSc