Artus Ph. Rosenbusch

According to our database, Artus Ph. Rosenbusch authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Fairness Considerations in Cooperative Games

Artus Ph. Rosenbusch

PhD thesis, 2011

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

2009

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