A proof system for lock-free concurrency

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Lime mortars with brick dust and grounded particles for ancient masonry: development and evaluation

HMC08 - 1st Historical Mortars Conference: Characterization, Diagnosis, Conservation, Repair and Compatibilit, LNEC, Lisbon, 24-26 September 2008

Developing persuasive interfaces

MSCC Dissertation in Computer Engineering

Development of biocompatible and “smart” porous structures using CO2-assisted processes

Dissertação apresentada para a obtenção do grau de Doutor em Engenharia Química, especialidade Engenharia da Reacção Química, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A Logic and tool for local reasoning about security protocols

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

DNA nanoprobes for molecular detection

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Biológica – especialidade Engenharia Genética, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

A calculus for modeling and analyzing conversations in service-oriented computing

Dissertação apresentada para a obtenção do Grau de Doutor em Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Archaeometallurgical study of artefacts from Castro de Vila Nova de São Pedro (Azambuja, Portugal)

Dissertação para obtenção do Grau de Mestre em Conservação e Restauro

mRNA genotyping by gold nanoprobes

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Monóxido de carbono como agente protector num modelo de hipóxia-isquémia e reperfusão através da activação da autofagia

Dissertação para obtenção do Grau de Mestre em Biotecnologia

Epigenetics and behavioural plasticity: drosophila euchromatin histone metiltransferase and foraging

A thesis submitted in fulfillment of the requirements for the degree of Masters in Molecular Genetics and Biomedicine

Emotion-oriented interventions for environment and the facilitation of pro-environmental behavior

Dissertação para obtenção do Grau de Doutor em Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Sensor Data Visualization in Virtual Globe

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.