Browsing Departament de Ciències de la Computació by Subject "51"

Now showing items 1-2 of 2

Automatic program analysis using Max-SMT

Larraz Hurtado, Daniel (Date of defense: 2015-07-28)

This thesis addresses the development of techniques to build fully-automatic tools for analyzing sequential programs written in imperative languages like C or C++. In order to do the reasoning about programs, the approach ...

Cluster evaluation on weighted networks

Renedo Mirambell, Martí (Date of defense: 2023-03-28)

(English) This thesis presents a systematic approach to validate the results of clustering methods on weighted networks, particularly for the cases where the existence of a community structure is unknown. Including edge ...