Digital transformation is viewed as instrumental in coping with organizational and societal challenges. In the public sector, these challenges include diverse issues, such as demographic changes, constrained financial ...

There is a wide range of modal logics whose semantics goes beyond relational structures, and instead involves, e.g., probabilities, multi-player games, weights, or neighbourhood structures. Coalgebraic logic serves as a ...

The interpretation of types in intensional Martin-Löf type theory as spaces and their equalities as paths leads to a surprising new view on the identity type: not only are higher-dimensional equalities explained as homotopies, ...

Digital innovation has become imperative for organizational survival and is increasingly contributing to the growth of national wealth. A central element of digital innovation, brought into light in this dissertation, is ...

Innovative decision support systems (DSSs) are revolutionizing key processes in organizations. These systems are used in managerial decision-making to solve increasingly complicated decision tasks, for example, using ...

After decades of digital developments, we are now entering a truly digital era. Digital information and communication technology has become a naturally embedded part of the designed environment we live in. Most parts of ...

This study aims to develop a theoretical and analytical approach for studying discretion, automated decision-making (ADM) and the consequential public values. This is achieved through our proposed approach, an overview ...

We study how to distribute trace languages in a setting where processes communicate via reconfigurable communication channels. That is, the different processes can connect and disconnect from channels at run time. We ...

Context: Security is a growing concern in many organizations. Industries developing software systems plan for security early-on to minimize expensive code refactorings after deployment. In the design phase, teams of experts ...