CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
The Seattle report on database research Review
D. Abadi, A. Ailamaki (Anastasia), D.G. Andersen (David), P. Bailis (Peter), M. Balazinska (Magdalena), P. Bernstein, P.A. Boncz (Peter), S. Chaudhuri (Surajit), A. Cheung (Alvin), A. Doan (Anhai), et al. L. Dong (Luna), M. Franklin, J. Freire, A. Halevy (Alon), J. Hellerstein, S. Idreos (Stratos), D. Kossmann (Donald), T. Kraska, S. Krishnamurthy (Sailesh), V. Markl, S. Melnik (Sergey), T. Milo (Tova), C. Mohan, T. Neumann (Thomas), B.C. Ooi (Beng Chin), F. Ozcan (Fatma), J. Patel (Jignesh), A. Pavlo (Andrew), R. Popa (Raluca), R. Ramakrishnan (Raghu), C. Re, M. Stonebraker and D. Suciu (Dan)
August 2022 -
From symbolic constraint automata to Promela Article
Journal of Logical and Algebraic Methods in Programming, 100794:1-100794:19.H. Feng (Hui), M.M. Bonsangue (Marcello) and B. Lion (Benjamin)
August 2022
-
Probabilistic prediction of Dst storms one-day-ahead using full-disk SoHO images Article
Space Weather, 20(8), e2022SW003064:1-e2022SW003064:17.A. Hu (Andong), C. Shneider (Carl), A.J. Tiwari (Ajay) and E. Camporeale (Enrico)
August 2022
-
Representing cloud mesoscale variability in superparameterized climate models Article
Journal of Advances in Modeling Earth Systems, 14(8), e2021MS002892:1-e2021MS002892:16.F.R. Jansson (Fredrik), G. van den Oord (Gijs), F.I. Pelupessy (Inti), M. Chertova (Maria), J.H. Grönqvist (Johanna), A.P. Siebesma (Pier) and D.T. Crommelin (Daan)
August 2022
-
Budget-feasible mechanism design for non-monotone submodular objectives: Offline and online Article
Mathematics of Operations Research, 47(3), 2286-2309.G. Amanatidis (Georgios), P.S. Kleer (Pieter) and G. Schäfer (Guido)
August 2022
-
Invisible XML coming into focus In Proceedings
T. Hillman (Tomos), J. Lumley (John), S. Pemberton (Steven), C. M. Sperberg-McQueen, B. Tovey-Walsh (Bethan) and N. Tovey-Walsh (Norm)
August 2022 -
Blockchain technologies empowering peer-to-peer trading in multi-energy systems: From advanced technologies towards applications Editorial
W. Hua (Weiqi), F. Luo (Fengji), L. Du (Liang), S. Chen (Sijie), T. Kim (Taesic), T. Morstyn (Thomas), V. Robu (Valentin) and Y. Zhou (Yue)
August 2022
-
A formal framework for distributed cyber-physical systems Article
Journal of Logical and Algebraic Methods in Programming, 100795:1-100795:14.B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)
August 2022