CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Efficient Cost-Sharing Mechanisms for Price-Collecting Problems Article
Mathematical ProgrammingA. Gupta (Anupam), J. Könemann (Jochen), S. Leonardi (Stefano), R. Ravi and G. Schäfer (Guido)
January 2014
-
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using real-time ABS Article
Service Oriented Computing and Applications, 8(4), 323-339.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
January 2014 -
Proof Pearl: the KeY to correct and stable sorting Article
Journal of Automated Reasoning, 53(2), 129-139.C.P.T. de Gouw (Stijn), F.S. de Boer (Frank) and J.C. Rot (Jurriaan)
January 2014 -
3D imaging of semiconductor components by discrete laminography In Proceedings
K.J. Batenburg (Joost), W.J. Palenstijn (Willem Jan) and J. Sijbers (Jan)
January 2014
-
Adaptive Grid Refinement for Discrete Tomography In Proceedings
January 2014
-
Discrete representation of local orientation in grains using diffraction contrast tomography In Proceedings
N.R. Viganò (Nicola), W. Ludwig (Wolfgang) and K.J. Batenburg (Joost)
January 2014
-
Advanced 3-D Reconstruction Algorithms for Electron Tomography In Proceedings
T. Sanders, J.D. Roehling, K.J. Batenburg (Joost), B.C. Gates, A. Katz, P. Binev and I. Arslan
January 2014 -
eXamine: Exploring annotated modules in networks In Proceedings
K. Dinkla, M. El-Kebir (Mohammed), C.I. Bucur (Cristina-Iulia), M. Siderius, M.J. Smit, M.A. Westenberg and G.W. Klau (Gunnar)
January 2014