Centrum Wiskunde & Informatica

Why is programming so hard? Lecture

S. Pemberton (Steven)

October 2016
Towards "Wow!" Multimedia quality of experience: if you can measure it, you can achieve it Lecture

J.A. Redi (Judith)

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
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
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
Structural congruence for bialgebraic semantics Article

Journal of Logical and Algebraic Methods in Programming

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

October 2016
MP3DG-PCC, open source software framework for implementation and evaluation of point cloud compression In Proceedings

R.N. Mekuria (Rufael) and P.S. César Garcia (Pablo Santiago)

October 2016
Information theoretical approach to discovering solar wind drivers of the outer radiation belt Article

Journal of Geophysical Research: Space Physics, 121(10), 9378-9399.

S.P. Wing (Simon), J.R. Johnson (Jay), E. Camporeale (Enrico) and G.D. Reeves (Geoffrey)

October 2016

Publication

Why is programming so hard? Lecture

Towards "Wow!" Multimedia quality of experience: if you can measure it, you can achieve it Lecture

Unsupervised annotated city traffic map generation In Proceedings

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

MonetDB Jun2016-SP2 bugfix release Software

Structural congruence for bialgebraic semantics Article

MP3DG-PCC, open source software framework for implementation and evaluation of point cloud compression In Proceedings

Information theoretical approach to discovering solar wind drivers of the outer radiation belt Article

Address

CWI researchers

Questions or comments?

Publication

Why is programming so hard? Lecture

Towards "Wow!" Multimedia quality of experience: if you can measure it, you can achieve it Lecture

Unsupervised annotated city traffic map generation In Proceedings

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

MonetDB Jun2016-SP2 bugfix release Software

Structural congruence for bialgebraic semantics Article

MP3DG-PCC, open source software framework for implementation and evaluation of point cloud compression In Proceedings

Information theoretical approach to discovering solar wind drivers of the outer radiation belt Article

Workflow

Workflow

Add Content