Meer, V. van der; Jonker, H.; Dols, G.; Beek, H. ter; Bos, J.; Eekelen, M. van
2020, Article in monograph or in proceedings (WIFS'19: IEEE Workshop on Information Forensics and Security, Delft, The Netherlands, 9-12- December, pp. 1-6)
Hiep, H.-D.; Maathuis, O.; Bian, J.; Boer, F. de; Eekelen, M. van; Gouw, S de
2020, Article in monograph or in proceedings (Biere, A. (ed.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II, pp. 217-234)
2020, Article in monograph or in proceedings (Beek, M.H. ter (ed.), Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings, pp. 93-112)
2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 50-57)
2019, Article in monograph or in proceedings (Rahimi, E. (ed.), CSERC '19: Proceedings of the 8th Computer Science Education Research Conference Larnaca Cyprus November, 2019, pp. 79-88)
2019, Article in monograph or in proceedings (Johannesson, P. (ed.), Proceedings of the 27th European Conference on Information Systems (ECIS), Stockholm & Uppsala, Sweden, June 8-14, 2019, pp. 1-15)
2019, Article in monograph or in proceedings (Beek, M.H. ter (ed.), Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019. Proceedings, pp. 689-706)
2018, Article in monograph or in proceedings (Haddad, H.H. (ed.), SAC18: The 17th edition of the Computer Security track at the 33rd ACM Symposium on Applied Computing, 9-13 April 2018, Pau, France, pp. 1629-1637)
2018, Article in monograph or in proceedings (Liu, X. (ed.), Service-Oriented Computing – ICSOC 2018 Workshops: ADMS, ASOCA, ISYyCC, CloTS, DDBS, and NLS4IoT, Hangzhou, China, November 12–15, 2018, pp. 419-424)
2018, Article in monograph or in proceedings (Marr, S. (ed.), Programming'18: Companion Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France — April 09 - 12, 2018, pp. 93-98)
2018, Article in monograph or in proceedings (Millham, R. (ed.), ICTAS: 2018 Conference on Information Communications Technology and Society, 8-9 March 2018 Durban, South Africa. Proceedings, pp. 1-6)
2018, Article in monograph or in proceedings (Ciucci, D. (ed.), Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018. Proceedings, pp. 50-63)
2018, Article in monograph or in proceedings (Kabanda, S. (ed.), SACLA 2018: 47th Annual Conference of the Southern African Computing Lecturers' Association Krystal Beach Hotel, Gordon's Bay Western Cape, South Africa, June 18-20, 2018, pp. 120-134)
2016, Article in monograph or in proceedings (Cavoukian, A. (ed.), SAI Computing Conference 2016 : proceedings of the 2016 SAI Computing Conference 2016, 13-15 July, 2016, London, United Kingdom, pp. 1068-1075)
2016, Article in monograph or in proceedings (Celesti, A.; Leitner, P. (ed.), Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2015, Taormina, Italy, September 15-17, 2015, Revised Selected Papers, pp. 93-110)
2016, Article in monograph or in proceedings (CSERC '16 : Proceedings CSERC 2016 July 5 and 6, 2016 Computer Science Education Research Conference Pretoria, South Africa, pp. 1-52)
2016, Article in monograph or in proceedings (Foundational and Practical Aspects of Resource Analysis : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers)
2016, Article in monograph or in proceedings (Callegari, C. (ed.), SECRYPT 2016 : Proceedings of the International Conference on Security and Cryptography, 26-28 July, Lisbon, Portugal 2016, pp. 259-270)
2016, Article in monograph or in proceedings (Gruner, S. (ed.), ICT Education: 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers, pp. 160-167)
2016, Article in monograph or in proceedings (Eekelen, M. van; Lago, U. Dal (ed.), Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers, pp. 20-39)
2015, Part of book or chapter of book (Zvacek, S.; Restivo, M.; Uhomoibhi, J. (ed.), Computer Supported Education : 6th International Conference, CSEDU 2014 Barcelona, Spain, April 1–3, 2014, Revised Selected Papers, pp. 84-98)
2015, Part of book or chapter of book (Geuvers, H.; Messink, N.; Wiedijk, F. (ed.), Liber Amicorum : in honor of Henk Barendregt on the occasion of his valedictory lecture October 1, 2015, pp. 26-27)
2015, Article in monograph or in proceedings (Kellenberger, P. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 16-24 May, 2015, Firenze, Italy. Proceedings, pp. 303-306)
2015, Part of book or chapter of book (Chiba, Y. (ed.), WPTE 2015 : Proceedings of the Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation, affiliated with RDP 2015. Warsaw, Poland, 2015, pp. 47-61)
2015, Article in monograph or in proceedings (Bertolino, A. (ed.), ICSE 2015 : 2015 IEEE/ACM 37th International Conference on Software Engineering, 16-24 May 2015, Florence, Italy. Proceedings, pp. 109-118)