Publication

A surface capturing method for the efficient computation of steady water waves In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

TIDE: (a) generic debugging framework Book Chapter

M.G.J. van den Brand (Mark), B. Cornelissen, P.A. Olivier (Pieter) and J.J. Vinju (Jurgen)

The Role of Agent Interaction in Models of Computing: Panelist Reviews Article

P. Wegner, F. Arbab (Farhad), D. Goldin, P. McBurney, M. Luck and D.S. Robertson (Dave)

Virtual private network design: a proof of the tree routing conjecture on ring networks In Proceedings

C.A.J. Hurkens (Cor), J.C.M. Keijsper and L. Stougie (Leen)

Formal Methods for Components and Objects - Pragmatic aspects and applications Proceedings

On the equivalence of algebraic approaches to the minimization of forms on the simplex Book Chapter

M. Laurent (Monique), E. de Klerk (Etienne) and P. Parrilo

Observability, connectivity, and replay in a sequential calculus of classes In Proceedings

M. Steffen, S. Gruner, E. Abraham (Erika), M.M. Bonsangue (Marcello) and F.S. de Boer (Frank)

Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation In Proceedings

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and Y. Ishai (Yuval)