Centrum Wiskunde & Informatica

Special Issue: Modern Hardware Article

VLDB Journal, 25(5), 623-624.

P.A. Boncz (Peter), W. Lehner (Wolfgang) and T. Neumann (Thomas)

October 2016
Unsupervised annotated city traffic map generation In Proceedings

R. Verma (Rohit), S. Ghosh (Surjya), A. Shrivastava (Aviral), N. Ganguly (Niloy), B. Mitra (Bivas) and S. Chakraborty (Sandip)

October 2016
Uncertainty Quantification Applied to Aeroacoustics of Wall-Bounded Book Chapter

J.Christophe (Julien), M. Sanjose (Marlène), J.A.S. Witteveen (Jeroen) and S. Moreau (Stéphane)

October 2016
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article

Software and System Modelling, 15(4), 1117-1140.

C.P.T. de Gouw (Stijn), F.S. de Boer (Frank), W. Ahrendt (Wolfgang) and R. Bubel (Richard)

October 2016
Structural congruence for bialgebraic semantics Article

Journal of Logical and Algebraic Methods in Programming

Rot, J. (Jurriaan) and Bonsangue, M. (Marcello)

October 2016
Distinguishing two probability ensembles with one sample from each ensemble Article

Theory of Computing Systems, 59(3), 517-531.

L.F. Antunes (Luis), H.M. Buhrman (Harry), A. Matos, A. Souto (André) and A. Teixeira

October 2016
MonetDB Jun2016-SP2 bugfix release Software

M.L. Kersten (Martin), P.A. Boncz (Peter), N.J. Nes (Niels), S. Manegold (Stefan), K.S. Mullender (Sjoerd), J.A. de Rijke (Arjen), Y. Zhang (Ying), M.-D. Pham (Minh-Duc), L.H.A. Scheers (Bart), E. Petraki (Eleni), et al. D. De Leo (Dean)

October 2016
Scientific data and preservation - policy issues for the long-term record Article

ERCIM News, 13-14.

V.A. Sarkol (Vera)

October 2016

Publication

Special Issue: Modern Hardware Article

Unsupervised annotated city traffic map generation In Proceedings

Uncertainty Quantification Applied to Aeroacoustics of Wall-Bounded Book Chapter

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article

Structural congruence for bialgebraic semantics Article

Distinguishing two probability ensembles with one sample from each ensemble Article

MonetDB Jun2016-SP2 bugfix release Software

Scientific data and preservation - policy issues for the long-term record Article

Address

CWI researchers

Questions or comments?

Publication

Special Issue: Modern Hardware Article

Unsupervised annotated city traffic map generation In Proceedings

Uncertainty Quantification Applied to Aeroacoustics of Wall-Bounded Book Chapter

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Article

Structural congruence for bialgebraic semantics Article

Distinguishing two probability ensembles with one sample from each ensemble Article

MonetDB Jun2016-SP2 bugfix release Software

Scientific data and preservation - policy issues for the long-term record Article

Workflow

Workflow

Add Content