A Minkowski type duality mediating between state and predicate transformer semantics for a probabilistic nondeterministic language. - Klaus Keimel; Artus Ph. Rosenbusch; Thomas Streicher (Ann. Pure Appl. Log., 2009)

Relating direct and predicate transformer partial correctness semantics for an imperative probabilistic-nondeterministic language. - Klaus Keimel; Artus Ph. Rosenbusch; Thomas Streicher (Theor. Comput. Sci., 2011)

Fairness Considerations in Cooperative Games - Artus Ph. Rosenbusch (2011)