Municipal solid waste management system: decision support through systems analysis

Thesis submitted to the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia for the degree of Doctor of Philosophy in Environmental Engineering

Constraint-based verification of imperative programs

work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

Risk-based decision support system for life cycle management of industrials plants

Dissertação para obtenção do Grau de Doutor em Engenharia Electrotécnica e de Computadores

Integration of sediment contamination with multi–biomarker responses in a novel bioindicator candidate (Sepia officinalis) for risk assessment in impacted estuaries

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente