W. Visser, K. Hindriks, and C. Jonker. ICAART (Revised Selected Papers), volume 271 of Communications in Computer and Information Science, page 115-130. Springer, (2011)
S. Edelkamp, S. Leue, and W. Visser. Directed Model Checking, volume 06172 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
A. Eliëns, Z. Huang, J. Hoorn, and C. Visser. Evaluating Embodied Conversational Agents, volume 04121 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2004)
P. Godefroid, L. Mariani, A. Polini, N. Tillmann, W. Visser, and M. Whalen. Practical Software Testing: Tool Automation and Human Factors, volume 10111 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)
S. Edelkamp, S. Leue, and W. Visser. Directed Model Checking, volume 06172 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
C. Poulsen, P. Néron, A. Tolmach, and E. Visser. ECOOP, volume 56 of LIPIcs, page 20:1-20:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)