Work in today's economic organisations is either performed through the execution of continuous operations or through the implementation of one-off projects; hence one can dis...
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
We study the various categories of corings, coalgebras, and comodules from a categorical perspective. Emphesis is given to the question which properties of these categories can be...
Socio-technical changes lead to new opportunities. Robots are customizing the industrialized mass production of non/manufacturing industries. Robots ameliorate adverse working and...
ded abstract of this work appears in Public Key Cryptography — PKC 2011, ed. R. Gennaro, Springer LNCS 6571 (2011), 1–16. This is the full version. We propose a linearly homom...