CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Beware the black-box: On the robustness of recent defenses to adversarial examples Article
Entropy, 23(10)K. Mahmood (Kaleel), D. Gurevin (Deniz), M.E. van Dijk (Marten) and P.H. Nguyen (Phuong Ha)
October 2021
-
Causal consistency for reversible multiparty protocols Article
Logical Methods in Computer Science, 17(4), 1:1-1:41.October 2021
-
Corrigendum to “Total value adjustment for a stochastic volatility model. A comparison with the Black–Scholes model” Article
Applied Mathematics and ComputationOctober 2021
-
A semantic model for interacting cyber-physical systems In Proceedings
B. Lion (Benjamin), F. Arbab (Farhad) and C. Talcott (Carolyn)
October 2021
-
Assessing the success and impact of Hoare’s Logic Book Chapter
October 2021 -
October 2021
-
October 2021
-
October 2021