Multi-region routing

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Engenharia de tráfego leve ao nível do inter-domínio

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de Computadores

Multipath inter-domain policy routing

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

Hybrid link-state path-vector protocol ++

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

Tratamento pela periferia de falhas na internet

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

Supporting NAT traversal and secure communications in a protocol implementation framework

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

Type-based protocol conformance and aliasing control in concurrent java programs

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

A random access MAC protocol for MPR satellite networks

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

HDL in HIV-1 infection: a quality perspective through paraoxonase-1 activities

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Assessing performance drivers in cross-border M&A

This research is an investigation on the deal-specific factors impacting long-term performance of cross-border M&A and on the nature of such relations. The analysis is conducted on a sample of 187 cross-border deals completed within the pharmaceutical and biotech industries by Western European bidders between 2000 and 2009. Findings suggest that post-deal variation in gross profit improves when bidders diversify in other businesses, when assets are purchased instead of equity, and when stock is used as deal currency. Furthermore, the method of payment is found to moderate the effects geographical distance has on deal outcomes.

IAS/IFRS mandatory adoption and cross-border M&A

This study investigates the effect of the mandatory implementation of IAS/IFRS on cross-border M&A activity. I test the hypothesis that the improvement in the comparability of financial statements among the adopting countries facilitates crossborder transactions. According to the expectations, I find support for enhanced crossborder M&As following the mandatory adoption of IFRS due to a likely increase in the comparability of financial reports. Additionally, listed targets from IFRS adopting countries do experience stronger positive influence on foreign M&A transactions than unlisted target from adopting countries and listed targets from IFRS non-adopting countries.

Specification of a partial replication protocol with TLA+

Nowadays, data available and used by companies is growing very fast creating the need to use and manage this data in the most efficient way. To this end, data is replicated overmultiple datacenters and use different replication protocols, according to their needs, like more availability or stronger consistency level. The costs associated with full data replication can be very high, and most of the times, full replication is not needed since information can be logically partitioned. Another problem, is that by using datacenters to store and process information clients become heavily dependent on them. We propose a partial replication protocol called ParTree, which replicates data to clients, and organizes clients in a hierarchy, using communication between them to propagate information. This solution addresses some of these problems, namely by supporting partial data replication and offline execution mode. Given the complexity of the protocol, the use of formal verification is crucial to ensure the protocol two correctness properties: causal consistency and preservation of data. The use of TLA+ language and tools to formally specificity and verify the proposed protocol are also described.