university website Publications by Year
  • sign in
  • Publications By Year

Publications from 2020

  • thumb

    Protocols for creating and distilling multipartite GHZ states with Bell pairs Article

    IEEE Transactions on Quantum Engineering

    S.W. de Bone (Sébastian), R. Ouyang (Runsheng), K. Goodenough (Kenneth) and D. Elkouss (David)

    December 2020
    open access
  • RV-GOMEA Software|Data

    C. Olieman (Chantal)

    January 2020
  • tdULL Software

    M.J. de Vries (Mees), K.R. Brokkelkamp (Ruben), van Venetië (Raymond) and J. Westerdiep (Jan)

    June 2020
  • Temporal hybridization number Software

    S.J. Borst (Sander)

    January 2020
  • Completeness and complexity of reasoning about call-by-value in Hoare logic (Proof Files) Software

    H.A. Hiep (Hans-Dieter)

    August 2020
  • History-based Specification and Verification of Java Collections in KeY: Video Material Software

    J. Bian (Jinting) and H.A. Hiep (Hans-Dieter)

    July 2020
  • History-based Specification and Verification of Java Collections in KeY: Proof Files Software

    H.A. Hiep (Hans-Dieter), J. Bian (Jinting), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

    June 2020
  • Constreofy tool Software|Data

    B. Changizi (Behnaz), N. Kokash (Natallia), F. Arbab (Farhad) and L. Makhnist

    January 2020
  • Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages Software|Data

    F.S. de Boer (Frank), E.B. Johnsen (Einar Broch), R. Schlatte (Rudolf), S.L. Tapia Tarifa (Lizeth) and L. Tveito (Lars)

    January 2020
  • 2 layers QG model with stochastic forcing Software|Data

    F. Gugole (Federica)

    March 2020
  • ElsevierSoftwareX /SOFTX_2019_279 Software|Data

    F.I. Pelupessy (Inti)

    January 2020
  • FabSim3 Software|Data

    D. Groen (Derek)

    January 2020
  • EasyVVUQ analysis scripts for the DALES model Software|Data

    F.R. Jansson (Fredrik)

    January 2020
  • EasySurrogate - phys_D branch Software|Data

    W.N. Edeling (Wouter) and D.T. Crommelin (Daan)

    January 2020
  • FabCovidsim Software|Data

    W.N. Edeling (Wouter), H. Arabnejad (Hamid), R. Sinclair (Robert), D. Suleimenova (Diana), K. Gopalakrishnan (Krishnakumar), B. Bosak (Bartosz), D. Groen (Derek) and I. Imran (Mahmood)

    January 2020
  • Optimally weighted loss functions for solving PDEs with Neural Networks Software|Data

    R. van der Meer (Remco)

    January 2020
  • UQ_covid19 Software|Data

    F. Gugole (Federica), L.E. Coffeng (Luc), W.N. Edeling (Wouter), B. Sanderse (Benjamin), S.J. de Vlas (Sake) and D.T. Crommelin (Daan)

    January 2020
  • Regret games paper Software|Data

    R.R.B.P. Degenne (Rémy), H. Shao (Han) and W.M. Koolen-Wijkstra (Wouter)

    January 2020
  • BrainProp Software|Data

    I. Pozzi (Isabella)

    January 2020
  • psynlp --- fork of original package adapted for detecting transdiagnostic outcome measures in clinical psychiatry notes Software|Data

    R.J. Turner (Rosanne)

    January 2020
  • SRNN-ICONs2020 Software|Data

    B. Yin (Bojian)

    January 2020
  • Code for detecting magnetic reconnection with machine learning methods Software

    A. Hu (Andong), M. Sisti, F. Finelli, F. Califano, J. Dargent, M. Faganello, E. Camporeale (Enrico) and H.J. Teunissen (Jannis)

    July 2020
  • Labelled magnetic reconnection simulation data set Dataset

    A. Hu (Andong), M. Sisti, F. Finelli, F. Califano, J. Dargent, M. Faganello, E. Camporeale (Enrico) and H.J. Teunissen (Jannis)

    June 2020
  • Data and code for paper "A gray-box model for a probabilistic estimate of regional ground magnetic perturbations: Enhancing the NOAA operational Geospace model with machine learning" Software|Data

    E. Camporeale (Enrico), M.D. Cash, H.J. Singer, C.C. Balch, Z. Huang and G. Toth

    March 2020
  • Materials for the MTSR'20 paper Predicting the Basic Level in a Hierarchy of Concepts Software|Data

    L. Hollink (Laura), A. Bilgin (Aysenur) and J.R. van Ossenbruggen (Jacco)

    January 2020
  • minimal WAPE Software

    S. Ding (Sihan) and G.M. Koole (Ger)

    January 2020
  • MAGUS Software|Data

    T. Bogaard (Tessel), J. Wielemaker (Jan), L. Hollink (Laura), L. Hardman (Lynda) and J.R. van Ossenbruggen (Jacco)

    January 2020
  • Tab2Know evaluation data Dataset

    B.B. Kruit (Benno), H. He, H. (Hongyu) and J. Urbani (Jacopo)

    August 2020
  • Tab2Know Software

    B.B. Kruit (Benno), H. He, H. (Hongyu) and J. Urbani (Jacopo)

    January 2020
  • takco Software

    B.B. Kruit (Benno), P.A. Boncz (Peter) and J. Urbani (Jacopo)

    January 2020
  • Multidimensional Datasets Software|Data

    P.T. Holanda (Pedro)

    May 2020
  • RSDS: Reverse-Safe-data-structure Software|Data

    G. Loukides (Grigorios), S. Pissis (Solon) and H. Chen (Huiping)

    January 2020
  • StringSanitizationTKDD Software

    G. Bernardini (Giulia), H. Chen (Huiping), A. Conte (Alessio), R. Grossi (Roberto), G. Loukides (Grigorios), N. Pisanti (Nadia), S. Pissis (Solon), G. Rosone (Giovanna) and M.J.M. Sweering (Michelle)

    January 2020
  • Learning a Formula of Interpretability to Learn Interpretable Formulas Other

    M. Virgolin (Marco), A. De Lorenzo (Andrea), E. Medvet (Eric) and F. Randone (Francesca)

    January 2020
  • Uncrowded-hypervolume based multi-objective optimization Software|Data

    S.C. Maree (Stef), T. Alderliesten (Tanja) and P.A.N. Bosman (Peter)

    January 2020
  • OGRE Software|Data

    M. Balvert (Marleen), X. Luo (Vincent), T. Hauptfeld (Ernestina), A. Schönhuth (Alexander) and B.E. Dutilh (Bas)

    January 2020
  • G6K-GPU-Tensor Software

    L. Ducas (Léo), M.M.J. Stevens (Marc) and W.P.J. van Woerden (Wessel)

    January 2020
  • EasySurrogate Software

    W.N. Edeling (Wouter)

    September 2020
  • thumb

    The LDBC Social Network Benchmark Article

    Computing Research Repository

    R. Angles Rojas (Renzo), J.B. Antal (János Benjamin), A. Averbuch, P.A. Boncz (Peter), O. Erling (Orri), A. Gubichev (Andrey), V. Haprian (Vlad), M. Kaufmann (Moritz), J. Larriba-Pey (Josep), N. Martinez Bazan, et al. J. Marton (József), M. Paradies (Marcus), M.-D. Pham (Minh-Duc), A.P. Pérez (Arnau Prat), M. Spasić (Mirko), B.A. Steer (Benjamin), D. Szakállas (David), G. Szárnyas (Gábor), J. Waudby (Jack), M. Wu (Mingxi) and Y. Zhang (Yuchen)

    January 2020
    open access
  • thumb

    Cuckoo index: a lightweight secondary index structure Article

    A. Kipf (Andreas), D. Chromejko (Damian), A. Hall (Alexander), P.A. Boncz (Peter) and D.G. Andersen (David)

    October 2020
    open access
  • thumb

    Delta lake: high-performance ACID table storage over cloud object stores In Proceedings

    M. Armbrust (Michael), T. Das (Tathagata), L. Sun (Liwen), B. Yavuz (Burak), S. Zhu (Shixiong), M. Murthy (Mukul), J. Torres (Joseph), H. van Hovell (Herman), A. Ionescu (Adrian), A. Łuszczak, et al. M. Switakowski, M. Szafranski (Michal), X. Li (Xiao), T. Ueshin (Takuya), M. Mokthar (Mostafa), P.A. Boncz (Peter), A. Ghodsi (Ali), S. Paranjpye (Sameer), P. Senster (Pieter), R. Xin (Reynold) and M. Zaharia (Matei)

    September 2020
    open access
  • Role of the TPC in the cloud age Conference Paper

    A. Crolotte (Alain), L. Fei-Fei (Li), M. Poess, P.A. Boncz (Peter) and R. Nambiar (Raghunath)

    July 2020
  • thumb

    FSST: Fast random access string compression In Proceedings

    P.A. Boncz (Peter), T. Neumann (Thomas) and V. Leis (Viktor)

    September 2020
    open access
  • Dynamic distribution network expansion planning with demand side management Book Chapter

    N.H. Luong (Hoang), P.A.N. Bosman (Peter), M.O.W. Grond and J.A. La Poutré (Han)

    April 2020
  • thumb

    In welke stapjes kan Nederland weer van het slot af? - NPO radio 1, Dit is de dag - 06-04-2020 Online Audio

    April 2020
  • SearchSECO: A worldwide index of the open source software ecosystem In Proceedings

    R.L. Jansen (Slinger), S. Farshidi (Siamak), G. Gousios (Georgios), T. van der Storm (Tijs), J.M.W. Visser (Joost) and M. Bruntink (Magiel)

    December 2020
    open access
  • thumb

    Supporting Relation-Finding in Neuroscientific Text Collections using Augmented Reality: A Design Exploration Master Thesis

    I.O. Troost (Ivar)

    June 2020
    open access
  • thumb

    Inference - The man who carried computer science on his shoulders - 01-09-2020 Magazine Article

    September 2020
  • thumb

    Low-code, no-code, where’s my code!? Presentation

    T. van der Storm (Tijs)

    October 2020
    open access
  • thumb

    Python bedenker Guido van Rossum is Nederlandse ICT-held - PCM web 20-02-2020 Magazine Article

    February 2020
  • thumb

    ProRail maakt nieuwe planningssoftware voor dienstregeling - ICTMagazine - 20-02-2020 Magazine Article

    February 2020
  • thumb

    Software engineering maakt games spannender - Emerce - 28-02-2020 Magazine Article

    February 2020
  • thumb

    Nederlanders kraken per ongeluk Chinese puzzelbal - de Volkskrant - 18-02-2020 Magazine Article

    February 2020
  • thumb

    Doctors embrace AI, Peter-Bosman - Bits and Chips - 01-02-2020 Magazine Article

    February 2020
  • thumb

    Grondlegger-van-de-blockchain, David-Chaum - AG Connect - 29-02-2020 Magazine Article

    February 2020
  • thumb

    Kwantumcomputing heeft juridisch kader nodig - AG Connect - 29-02-2020 Magazine Article

    February 2020
  • thumb

    Vrouwen in kwantum komen samen tijdens eerste symposium WIQD - AG Connect - 21-02-2020 Magazine Article

    February 2020
  • thumb

    Quantumcomputer zoekt apps - Volkskrant - 14-03-2020 Magazine Article

    March 2020
  • thumb

    Eerste patient behandeld met bestralingsplan AI - Technisch Weekblad - 23-03-2020 Magazine Article

    March 2020
  • thumb

    Patient behandeld met bestralingsplan van AI - Techniek Wetenschap - 27-03-2020 Magazine Article

    March 2020
  • thumb

    The Knapsack Problem in Computer Science Explained: Science with Leo Ducas - Smithsonian Magazine - 10-03-2020 Magazine Article

    March 2020
  • thumb

    Kunstmatige intelligentie helpt bij vaststellen beste bestralingsplan - Reuma Arnhem - 20-03-2020 Magazine Article

    March 2020
  • thumb

    Software engineering maakt games spannender - Release - 09-03-2020 Magazine Article

    March 2020
  • thumb

    Kunstmatige Intelligentie: CWI en Amsterdam UMC berekent beste methode bestraling - ICT Magazine - 18-03-2020 Magazine Article

    March 2020
  • thumb

    Prostaatkanker behandelen met AI bestralingsplan - ICT en Health - 18-03-2020 Magazine Article

    March 2020
  • thumb

    Kunstmatige Intelligentie van CWI en Amsterdam UMC stelt voor het eerst de beste bestralingsplannen voor - FMT Gezondheidszorg - 24-03-2020 Magazine Article

    March 2020
  • thumb

    CWI en Amsterdam UMC ontwikkelen software tegen prostaatkanker - Executive people - 20-03-2020 Magazine Article

    March 2020
  • thumb

    Beter bestralen dankzij kunstmatige intelligentie - De Ingenieur - 19-03-2020 Magazine Article

    March 2020
  • thumb

    Computable-18maart2020-Ai-helpt-radiotherapeuten-bij-bestralingsplan.pdf Magazine Article

    March 2020
  • thumb

    HISTORISCH BEWIJS: IN WELKE KIST VLUCHTTE HUGO DE GROOT UIT SLOT LOEVESTEIN - Avrotros - 04-03-2020 Magazine Article

    March 2020
  • thumb

    Zeven corona apps in de race privacy wordt een janboel - Twentsche Courant 18-04-2020 Magazine Article

    April 2020
  • thumb

    Europese subsidie van 1.5 miljoen voor wiskunde consortium NETWORKS - TUE.nl - 21-04-2020 Magazine Article

    April 2020
  • thumb

    Ik zag de eerste resultaten en ik dacht holy fuck die tijdlijn - NRC Handelsblad- 06-04-2020 Magazine Article

    April 2020
  • thumb

    Gebruik corona app zit vol onzekerheden maar nog te vroeg voor conclusies - NOS - 21-04-2020 Magazine Article

    April 2020
  • thumb

    Op weg naar toekomstbestendige scheepsbouw - Maritiem Nederland - 30-04-2020 Magazine Article

    April 2020
  • thumb

    Europese subsidie van 1.5 miljoen voor wiskunde consortium NETWORKS voor energie en communicatienetwerken - Link magazine - 04-04-2020 Magazine Article

    April 2020
  • thumb

    Artificial intelligence in de zorg succescases en blik op de toekomst - Kpn.com - 01-04-2020 Magazine Article

    April 2020
  • thumb

    Wees niet bang om AI te gebruiken - IP vakblad voor informatie professionals - 30-04-2020 Magazine Article

    April 2020
  • thumb

    Werelwijd worstelen landen met coronatracing-apps - Financieel Dagblad - 30-04-2020 Magazine Article

    May 2020
  • thumb

    Corona app dreigt te mislukken - Financieel Dagblad - 14-04-2020 Magazine Article

    April 2020
  • thumb

    Beter bestralen dankzij AI - De Ingenieur - 30-04-2020 Magazine Article

    May 2020
  • thumb

    Zeven corona apps in de race privacy wordt een janboel - Amerfoortse Courant - 18-04-2020 Magazine Article

    April 2020
  • thumb

    Betere games met live programmeren - AG Connect - 30-04-2020 Magazine Article

    April 2020
  • thumb

    Zo zet de overheid verantwoord een corona app op - AG Connect - 22-04-2020 Magazine Article

    April 2020
  • thumb

    Zeven corona apps in de race privacy wordt een janboel - AD Dordtenaar - 18-04-2020 Magazine Article

    April 2020
  • thumb

    Zeven corona apps in de race privacy wordt een janboel - AD - 18-05-2020 Magazine Article

    May 2020
  • thumb

    Wiskundeconsortium TU/e krijgt 1.5 miljoen subsidie - Studio040 - 21-04-2020 Magazine Article

    May 2020
  • thumb

    25e CWI spin-off Swat.engineering maakt software van de toekomst - Release - 22-05-2020 Magazine Article

    May 2020
  • thumb

    Quantumonderzoeker Harry Buhrman treedt toe tot KNAW - Release - 08-05-2020 Magazine Article

    May 2020
  • thumb

    Ze hield zielsveel van zuivere wiskunde - NRC handelsblad - 01-05-2020 Magazine Article

    May 2020
  • thumb

    HvA en CWI richten nieuw lectoraat op: Applied Quantum Computing - ICT magazine - 25-05-2020 Magazine Article

    May 2020
  • thumb

    25e CWI spin-off Swat.engineering maakt software van de toekomst - ICTmagazine - 18-05-2020 Magazine Article

    May 2020
  • thumb

    Richtlijnen voor toegankelijke websites en online info is beschikbaar in Nederlands - Executive people - 28-05-2020 Magazine Article

    May 2020
  • thumb

    HvA en CWI richten nieuw lectoraat op: Applied Quantum Computing - Executive people - 19-05-2020 Magazine Article

    May 2020
  • thumb

    CWI spin-off Swat.engineering maakt software van de toekomst - Executive people - 18-05-2020 Magazine Article

    May 2020
  • thumb

    Harry Buhrman treedt toe tot KNAW - Executive people - 03-05-2020 Magazine Article

    May 2020
  • KNAW kiest achttien nieuwe leden - Engineersonline - 01-05-2020 Magazine Article

    May 2020
  • thumb

    HvA en CWI starten lectoraat Applied Quantum Computing - Engineersonline - 28-05-2020 Magazine Article

    May 2020
  • thumb

    Nieuw lectoraat Applied Quantum Computing - Emerce - 27-05-2020 Magazine Article

    May 2020
Next
Available Years
  • Publications from 2024
  • Publications from 2023
  • Publications from 2022
  • Publications from 2021
  • Publications from 2020
  • Publications from 2019
  • Publications from 2018
  • Publications from 2017
  • Publications from 2016
  • Publications from 2015
  • Publications from 2014
  • Publications from 2013
  • Publications from before 2013
university website
  • Address

    • Centrum Wiskunde & Informatica
    • Science Park 123 | 1098 XG Amsterdam | the Netherlands
  • Publishing at CWI

    • Open Science Portal
    • Submit Your CWI Work
  • Questions or comments?

    • repository@cwi.nl
artudis website

Workflow

Workflow

Add Content


User Publication Person Organisation Collection
Close