Publicaties 2009

Bakkes, S., Spronck, P. and van den Herik, J. Rapid and Reliable Adaptation of Video Game AI. IEEE Transactions on Computational Intelligence and AI in Games, Vol. 1, Nr. 2, pp. 93-104, 2009.

Benvenuti, L., Hennipman, E.P.J., Oppelaar, E.J.R.G., van der Veer, G.C., Cruijsbreg, B. & Bakker, G. Experiencing education with 3D virtual worlds. In: J. Michael Spector, Dirk Ifenthaler, Pedro Isaias, Kinshuk & Demetrios G. Sampson (Eds.) Learning and instruction in the digital age, Springer-Verlag, Science+Business Media, inc., New York, NY. CH. 12 , 2009.

Benvenuti, L. & van der Veer, G.C. Culture, Notation and Formalism. In: Leena Norros, Hanna Koskinen, Leena Salo & Paula Savioja (eds) Designing beyond the product - understanding activity and user experience in ubiquitous environments. Proceedings of European Conference on Cognitive Ergonomics 2009, 28 Sept - 2 Oct 2009, Helsinki, Finland. ACM International Conference Proceeding Series. ACM, 427-429, 2009.

Benvenuti, L. & van der Veer, G.C. MultiMedia design kun je leren - kunnen we het ook doceren? In: F.J. Verbeek, D. Lenior & M. Steen (Eds.) Change! - Proceedings CHI-NL 2009. CHI-NL, Leiden, Netherlands, 39-41, ACM SIG on Human Computer Interaction. 2009.

Bijlsma, L. Professional distance education. Keynote address, IFIP WG 3.2 working conference ICT Professionalism: a global challenge (IPROF-09), Arnhem, February 2009.

van den Broek, T. & Schmaltz, J. Towards A Formally Verified Network-on-Chip. 9th International Conference on Formal Methods in Computer-Aided Design (FMCAD'09), pp. 184-187, Austin, TX, USA, November 15-18, IEEE Society, 2009.

van Eekelen, M. Foundational Aspects of Size Analysis. Invited lecture and tutorial/laboratory at the Scottish Informatics and Computer Science Alliance (SICSA) Summer School on Advances in Programming Languages, august 26, 2009, Edinburgh (UK), 2009.

van Gastel, B., Lensink, L., Smetsers, S. & van Eekelen, M. Reentrant readers-writers: A case study combining model checking and theorem proving. In Revised selected papers of the 13th Int'l Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008) (edited by D. Cofer & P. Merino), volume 5596 of Lect. Notes Comp. Sci., pp. 83-103. Springer-Verlag, 2009. This paper received from the EASST, the European Association of Software Science and Technology, the FMICS2008 Best Paper Award recognizing it as the Best Software Science Paper.

Gerdes, A., Heeren, B. & Jeuring, J. Constructing strategies for programming. In José Cordeiro, Boris Shishkov, Alexander Verbraeck & Markus Helfert, editors, Proceedings CSEDU'09: 1st International Conference on Computer Supported Education, pp. 65-72, 2009.

Hage, J. & Heeren, B., Strategies for solving constraints in type and effect systems, Views On Designing Complex Architectures 2008. Electronic Notes in Theoretical Computer Science (ENTCS). Volume 236, (April 2009), pp. 163-183. Elsevier Science Publishers, 2009.

Heeren, B. & Jeuring, J. Canonical forms in interactive exercise assistants. In L. Dixon et al., editor, MKM 2009: Mathematical Knowledge Management, 8th International Conference, volume 5625 of LNAI, pp. 325-340. Springer-Verlag, 2009.

Heidarian, F., Schmaltz, J. & Vaandrager, F. Analysis of a clock synchronization protocol for wireless sensor networks. Second World Congress on Formal Methods (FM'09), pp. 516-531, Lecture Notes in Computer Science 5850, Eindhoven, The Netherlands, November 2-6, Springer-Verlag, 2009.

Jeuring J. & Heeren, B. An interactive exercise player for MathBridge. In Natasa Brouwer, Bas Giebers, Bart Rienties & Leendert van Gastel, editors, Proceedings of Student Mobility and ICT: Dimensions of Transition, pp. 213-217, 2009.

Jeuring, J., Leather, S., Magalhães, J.P. & Rodriguez Yakushev, A. Libraries for generic programming in Haskell. In Proceedings of the Sixth Advanced Functional Programming School, AFP'08, volume 5832 of Lecture Notes in Computer Science, pp. 165-229. Springer-Verlag, 2009.

Jeuring J. & Meertens, L. Geniaal programmeren - generic programming at Utrecht. In Hans Bodlaender et al., editor, Fascination for computation, 25 jaar opleiding informatica, pp. 75-88, 2009.

Jeuring J. & Rodriguez Yakushev, A. Enumerating well-typed terms generically. In Proceedings of the 3rd workshop on Approaches and Applications of Inductive Programming, Edinburg, Springer-Verlag, Lecture Notes in Computer Science 5812, 2009.

Koppelman, H. Active Learning in Asynchronous Distance Education. In Proceedings of CELDA 2009 (Roma, Italy, November 20-22, 2009), ISBN: 978-972-8924-95-9, IADIS Press, Roma, Italy, 392-395.

Koppelman, H. & Vranken, H. Comparing Synchronous and Asynchronous Interaction in CS Distance Education. In Proceedings of Informatics Education Europe IV (Freiburg, Germany, November 5 - 6, 2009). pp. 103-108, 2009.

Kulyk, O., van Dijk, E.M.A.G., van der Vet, P., Nijholt, A. & van der Veer, G.C. Situational Awareness in Collaborative Work Environment. In: Whitworth, B. & de Moor, A. (Eds.) Handbook of Research on Socio-Technical Design and Social Networking Systems. Information science reference. Hershey, New York, pp. 636-650, 2009.

van Lankveld, G., Schreurs, S. and Spronck, P. Psychologically Verified Player Modelling 10th International Conference on Intelligent Games and Simulation GAME-ON 2009 (ed. Linda Breitlauch), pp. 12-19. EUROSIS, 2009.

Marcellis, M., Roubtsova E.E. & Hoogveld B. Instructional design for Java enterprise component technology. The International Conference on Enterprise Information Systems, ICEIS 2009, Milan. Italy, pp. 420-422, 2009.

McNeile, A. & Roubtsova, E.E. Composition Semantics for Executable and Evolvable Behavioral Modeling in MDA. Proceedings of the 1st International Workshop on Behaviour Modelling in Model Driven Architecture (BM-MDA). Enschede, The Netherlands, 23 June, ACM DL, 2009.

Megías, D., Tebbens, T., Bijlsma, L. & Santanach, F. Free Technology Academy: a European initiative for distance education about Free Software and Open Standards. In Proceedings of the 14th Annual ACM SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE'09), Paris, July 2009. ACM, New York, 2009; pp. 70-74, 2009.

Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J. & Wichers Schreur, R. Model-based testing of electronic passports. 14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'09), pp. 207-209, Lecture Notes in Computer Science 5825, Eindhoven, The Netherlands, November 2-3, Springer-Verlag, 2009.

Rodriguez Yakushev, A., Holdermans, S., Löh, A. & Jeuring, J. Generic programming with fixed points for mutually recursive datatypes. In Graham Hutton & Andrew P. Tolmach, editors, Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming, ICFP'09, pp. 233-244. ACM, 2009.

Roubtsova, E.E. & McNeile, A.T. Abstractions, Composition and Reasoning. Proceedings of the 13th Intl Workshop on Aspect-Oriented Modeling, Charlottesville. Virginia, USA, ACM DL. pp. 19-24, 2009.

Roubtsova, E.E. Wedemeijer, L. Lemmen, K. & McNeile, A.T. Modular Behaviour Modelling of Service Providing Business Processes. Proceedings of the International Conference on Enterprise Information Systems, ICEIS 2009, Milan. Italy, pp.338-341, 2009.

Thiadens, Th.J.G. en Counotte-Potman, A.D., Duurzaamheid van rekencentra In: Checklists voor Informatiemanagement (editor: prof. J. Roos), Kluwer, Deventer, 2009.

Schierboom, E. Tamalet, A., Tews, H., van Eekelen, M. & Sjaak Smetsers. Preemption abstraction: A lightweight approach to modelling concurrency. In Formal Methods for Industrial Critical Systems (FMICS 2009), volume 5825 of Lect. Notes Comp. Sci., pp. 149-164. Springer-Verlag, 2009.

Serebrenik, A., Roubtsov, S., Roubtsova E.E. & van den Brand, M. Reverse Engineering Sequence Diagrams for Enterprise JavaBeans with Business Method Interceptors. Proceedings of the 16th Working Conference on Reverse Engineering, WCRE 2009. Lille, France, IEEE digital library, Digital Object Identifier 10.1109/WCRE.2009.27 Volume, Issue, 13-16, pp. 269-273, 2009.

Shkaravska, O., van Eekelen, M. & van Kesteren, R. Polynomial size analysis of first-order shapely functions. Logical Methods in Computer Science, 5(2), 2009.

Spronck, P. and Berendsen, B. Evolutionary Ethics in Agent Societies. International Journal of Social Robotics, Vol. 1, Nr. 3, pp. 223-232, 2009.

Szita, I., Ponsen, M. and Spronck, P. Effective and Diverse Adaptive Game AI. IEEE Transactions on Computational Intelligence and AI in Games, Vol. 1, Nr. 1, pp. 16-27, 2009

Tamalet, A., Shkaravska, O. & van Eekelen, M. Size analysis of algebraic data types. In Trends in Functional Programming (edited by Peter Achten, Pieter Koopman & Marco T. Morazán), volume 9 of Trends in Functional Programming, pp. 33-48. Intellect, 2009.

van der Veer, G.C. Between the Ivory Tower and Babylon - Teaching Interaction Design in the 21st Century. In: Kotzé, P., Wong, W. Jorge,J. Dix, A. & Silva Alexandra, P. (Eds.) Creativity and HCI: From Experience to Design in Education. IFIP International Federation for Information Processing Series, vol. 289, pp. 143-158, Springer Boston, 2009.

van der Veer, G.C. Ontwerpen van user interfaces. In: Voskamo P, van Scheijndel, P.A.M. & Peereboom, K.J. (Eds.) Handboek Ergonomie 2009, pp. 707-730, Kluwer, 2009.

van der Veer, G.C. & Bongers, B. HCI and Design Research Education. In: Kotzé, P., Wong, W. Jorge,J. Dix, A. & Silva Alexandra, P. (Eds.) Creativity and HCI: From Experience to Design in Education. IFIP International Federation for Information Processing Series, vol. 289, pp. 90-105, Springer Boston, 2009.

Vranken, H. & Koppelman, H,. A virtual computer security lab for distance education. In Proceedings of the 5th IASTED European Conference on Internet and Multimedia Systems and Applications (Cambridge, UK, July 13 - 15, 2009). EuroIMSA '09. Acta Press, Calgary, Canada, pp. 21-27, 2009.

Vranken, H. Improving wiki quality by applying web of trust. In Proceedings of the 5th IASTED European Conference on Internet and Multimedia Systems and Applications (Cambridge, UK, July 13 - 15, 2009). EuroIMSA '09. Acta Press, Calgary, Canada, pp. 121-127, 2009.

van der Veer, G.C., Kulyk, O. & Vyas, D. Mirrors of the World - Supporting Situational Awareness with Computer Screens. In D. Gorgan & A. M. Guran (Eds.) Interactiune On-Calculator 2009. Matrix Rom, Bucuresti, Romania, 1-7, 2009.

Vyas, D.M., Heylen, D.K.J., Nijholt, A. & van der Veer, G.C. Collaborative Practices that Support Creativity in Design. In: Proceedings of the Eleventh European Conference on Computer-Supported Cooperative Work. ECSCW, pp. 151-170, Springer-Verlag, 2009.

Vyas, D., Heylen, D., Nijholt, A. & van der Veer, G.C. Experiential role of artefacts in cooperative design. In: John M. Carroll (Ed.) Proceedings of the fourth international conference on Communities and technologies. ACM, New York, NY. pp. 105-114, 2009.

Vyas, D.M., van der Veer, G.C., Heylen, D.K.J. & Nijholt, A. Show me, how does it look now: Remote Help-giving in Collaborative Design. In: Leena Norros, Hanna Koskinen, Leena Salo & Paula Savioja (eds) Designing beyond the product - understanding activity and user experience in ubiquitous environments. Proceedings of European Conference on Cognitive Ergonomics 2009, 28 Sept - 2 Oct 2009, Helsinki, Finland. ACM International Conference Proceeding Series. ACM, pp. 131-135, 2009.

Vyas, D., van der Veer, G.C., Heylen, D. & Nijholt, A. Space as a Resource in Creative Design Practices. In: T. Gross et al. (Eds.): INTERACT 2009, Part II, Lecture Notes in Computer Science 5727, pp. 169-172, Springer-Verlag, 2009.

Wahdan, M.A., Spronck, P., Ali, H.F., Vaassen, E., van den Herik, J. Computer Producing a "Fair" Auditor's Report. in Management Challenges in an Environment of Increasing Regional and Global Concerns (eds. Erdener Kaynak and Talha D. Harcar), pp. 296-303, 2009.

Wassink, I., van der Vet, P.E., van der Veer, G.C., Roos, M. & van Dijk, B. New Interactions with Workflow Systems. In: Leena Norros, Hanna Koskinen, Leena Salo & Paula Savioja (eds) Designing beyond the product - understanding activity and user experience in ubiquitous environments. Proceedings of European Conference on Cognitive Ergonomics 2009, 28 Sept - 2 Oct 2009, Helsinki, Finland. ACM International Conference Proceeding Series. ACM, pp. 349-352, 2009.