The topics of this thesis are the modal μ-calculus and parity games. The modal μ-calculus is a common logic for model-checking in computer science. The model-

This thesis is concerned with investigating elements of computational social choice in the light of real-world applications. We contribute to a better understan

In traditional service architectures that follow the service statelessness principle, the state is primarily held in the data tier. Here, service operators util

In this thesis we describe dualities in directed as well as undirected graphs based on tools such as width-parameters, obstructions and substructures. We mainly