Publication

Solving the Shortest Vector Problem in 2^n Time via Discrete Gaussian Sampling Tech Report

D. Aggarwal (Divesh), D.N. Dadush (Daniel), O. Regev (Oded) and N. Stephens-Davidowitz (Noah)

Computing Optimal Tolls with Arc Restrictions and Heterogeneous Players In Proceedings

T. Jelinek, M. Klaas (Marcus) and G. Schäfer (Guido)

The 2014 stochastic networks conference : international symposium CWI - Amsterdam : Amsterdam June 23-27, 2014 Booklet

On the Shadow Simplex Method for Curved Polyhedra Tech Report

D.N. Dadush (Daniel) and N. Hähnle

Proof Pearl: the KeY to correct and stable sorting Article

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS Article

E. Albert (Elvira), F.S. de Boer (Frank), R Haehnle, E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L.T. Tarifa and P.Y.H. Wong

Programming with actors in Java 8 In Proceedings

B. Nobakht (Behrooz) and F.S. de Boer (Frank)

Efficient Approximate JavaScript Call Graph Construction Master Thesis

S. Benschop (Sander)