A behavioral analysis tool for models of software systems

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

Petri net model decomposition - a model based approach supporting distributed execution

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Electrotécnica, Especialidade de Sistemas Digitais, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

The web feature service: transaction standard: an example of prototype implementation

Trabalho de Projecto apresentado como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Multy-dimensional composition by objectives in aspect-oriented requirements analysis

Thesis submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Master in Computer Science

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

Implementação de um sistema de gestão da segurança alimentar numa fábrica de refeições pasteurizadas tendo como referência a norma NP EN ISO 22000:2005

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Tecnologia e Segurança Alimentar

Database repairs with answer set programming

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

Avaliação comparativa de formatos de dados georreferenciados para troca de informação entre sistemas de comando e controlo no contexto militar

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

Chromatin dynamics in Arbidopsis development: a live cell imaging approach

Dissertation presented to obtain the Ph.D degree in Biology

Spatial neighborhood matrix computation: Inverse distance weighted versus binary contiguity

Paper presented at Geo-Spatial Crossroad GI_Forum, Salzburg, Austria.

Análise de critérios editoriais e comparação de alinhamentos: A TVI e o jogo das audiências

Relatório de Estágio apresentado para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Jornalismo

Cerâmica Arqueológica, estudo comparativo da eficácia inicial de dois consolidantes – polímero acrílico e silicato de etilo

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

A score test for non-nested hypotheses with applications to discrete data models

This paper suggests that a convenient score test against non-nested alternatives can be constructed from the linear combination of the likelihood functions of the competing models. It is shown that this procedure is essentially a test for the correct specification of the conditional distribution of the variable of interest.

Building anonymised database samples

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

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