Introduction to the Special Theme Computational Biology Article

G.W. Klau (Gunnar) and J. Nicolas

Pushdown System Representation for Unbounded Object Creation Tech Report

J.C. Rot (Jurriaan), F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

The positive semidefinite Grothendieck problem with rank constraint In Proceedings

J. Briët (Jop), F.M. de Oliveira Filho (Fernando Mario) and F. Vallentin (Frank)

Eureka: A methodology for measuring bandwidth usage of networked games, environments and applications In Proceedings

I. Vaishnavi (Ishan), A. Arefin, D.C.A. Bulterman (Dick), K. Nahrstedt and R. Rivas

Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings

Following the Flattened Leader In Proceedings

W.T. Kotlowski (Wojciech), P.D. Grünwald (Peter) and S. de Rooij (Steven)

Error Functions, Dawson’s and Fresnel Integrals Book Chapter

N.M. Temme (Nico)

Parabolic Cylinder Functions Book Chapter

N.M. Temme (Nico)