M/G/infinity transience, and its applications to overload detection Tech Report

M.R.H. Mandjes (Michel) and P. Zuraniewski

Arbitrarily little knowledge can give a quantum advantage for nonlocal tasks Article

J. Allcock, H.M. Buhrman (Harry) and N. Linden (Noah)

Emergence of consensus and shared vocabularies in collaborative tagging systems Article

V. Robu (Valentin), H. Halpin and H. Shepherd

Alien Sprites Magazine Article

U. Ebert (Ute)

Formal aspects of component software Tech Report

M. Sun (Meng) and B. Schatz

Reactive systems, (semi-)saturated semantics and coalgebras on presheaves Article

F. Bonchi (Filippo) and U. Montanari

Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008--- State-of-the-Art Survey Proceedings

Decision Problems for Nash Equilibria in Stochastic Games In Proceedings

M. Ummels and D.K. Wojtczak (Dominik)