In this chapter, we propose a new practical codification of the elements of the Venn diagram in order to easily manipulate the focal elements. In order to reduce the complexity, t...
In this paper, we empirically investigate the concept of trust across organizational work practices by examining three groups: within the team, between teams and when interacting ...
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
Many advancements in the area of Secure Multi-Party Computation (SMC) protocols use improvements in communication complexity as a justification. We conducted an experimental stud...
Florian Kerschbaum, Daniel Dahlmeier, Axel Schr&ou...
This paper takes as its starting point the paradox of process and care in a mental health setting. On the one hand, a number of ‘care pathways’ can be defined and employed, to...