Haye Hazenberg, Jeroen van den Hoven, Scott Cunningham, Mark Alfano, Hadi Asghari, Emily Sullivan-Mumm, Amir Ebrahimi Fard, Elsa Turcios Rodriguez (2018), Micro-Targeting and ICT media in the Dutch Parliamentary system: Technological changes in Dutch Democracy.
Daco C. Harkes, Elmer van Chastelet, Eelco Visser (2018), Migrating Business Logic to an Incremental Computing DSL: A Case Study, D. Pearce , S. Friedrich , T. Mayerhofer (Eds.), In SLE 2018 - Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.83-96, ACM.
Jasper Denkers, Louis van Gool, Eelco Visser (2018), Migrating Custom DSL Implementations To a Language Workbench (Tool Demo), In Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering p.205-209, ACM.
Gamze Tillem, Zekeriya Erkin, Reginald L. Lagendijk (2018), Mining Sequential Patterns from Outsourced Data via Encryption Switching, In 16th Annual Conference on Privacy, Security and Trust, PST 2018 p.1-10, IEEE.
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, Derek Dreyer (2018), MoSeL: A general, extensible modal framework for interactive proofs in separation logic, In Proceedings of the ACM on Programming Languages Volume 2 p.77:1-77:30.
Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers, Yann Régis-Gianas, Derek Dreyer (2018), Mtac2: Typed tactics for backward reasoning in Coq, In Proceedings of the ACM on Programming Languages Volume 2 p.78:1-78:31.
Yi Yin, Anneke Zuiderwijk-van Eijk, Marijn Janssen, Xander de Ronde, Keith Jeffery (2018), Multidisciplinary Collaboration Through Online Virtual Research Environments (VREs): What do VRE users need?, In 10th International Workshop on Science Gateways, IWSG 2018) p.1-6.
Kate Labunets (2018), No Search Allowed: What Risk Modeling Notation to Choose?, In International Symposium on Empirical Software Engineering and Measurement, IEEE / ACM.
Zakaria Najm, Dirmanto Jap, Bernhard Jungk, Stjepan Picek, Shivam Bhasin (2018), On Comparing Side-channel Properties of AES and ChaCha20 on Microcontrollers, In 2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS) p.552-555, IEEE.
Wolter Pieters (2018), On security singularities, In New Security Paradigms Workshop, NSPW 2018 Proceedings, ACM.