Bas Kolen, P. H.A.J.M. van Gelder (2018), Risk-based decision-making for evacuation in case of imminent threat of flooding, In Water (Switzerland) Volume 10.

Samaneh Tajalizadehkhoob, Rainer Böhme, Carlos Gañán, Maciej Korczyński, Michel Van Eeten (2018), Rotten apples or bad harvest? What we are measuring when we are measuring abuse, In ACM Transactions on Internet Technology Volume 18.

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer (2018), RustBelt: securing the foundations of the rust programming language, In Proceedings of the ACM on Programming Languages Volume 2 p.66:1-66:34.

Laura Ferranti, Ye Pu, Colin N. Jones, Tamas Keviczky (2018), SVR-AMA: An asynchronous alternating minimization algorithm with Variance Reduction for Model Predictive Control applications, In IEEE Transactions on Automatic Control Volume 64 (2019) p.1800-1815.

Gabriël Konat, Sebastian Erdweg, Eelco Visser (2018), Scalable Incremental Building with Dynamic Task Dependencies, In ASE 2018 p.76-86, ACM.

Hendrik van Antwerpen, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser (2018), Scopes as Types, In Proceedings of the ACM on Programming Languages Volume 2 p.1-30.

Jeroen Castelein, Maurício Aniche, Mozhan Soltani, Annibale Panichella, Arie van Deursen (2018), Search-Based Test Data Generation for SQL Queries, In Proceedings of the 40th International Conference on Software Engineering p.1220-1230.

Majid Nateghizad, Thijs Veugen, Zekeriya Erkin, Inald Lagendijk (2018), Secure Equality Testing Protocols in the Two-Party Setting, In ARES 2018 p.1-10, ACM.

Chibuike Ugwuoke, Zekeriya Erkin, Inald Lagendijk (2018), Secure Fixed-point Division for Homomorphically Encrypted Operands, In ARES 2018 p.1-10, Association for Computer Machinery.

Eric Molin, Kirsten Meeuwisse, Wolter Pieters, Caspar Chorus (2018), Secure or usable computers? Revealing employees’ perceptions and trade-offs by means of a discrete choice experiment, In Computers and Security Volume 77 p.65-78.