Publicaties 2007

Atanassow, F. & Jeuring, J. Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming 65(2), pp. 72-107, 2007.

Backhouse, R., Gibbons, J., Hinze, R. & Jeuring, J. (editors) 'Lecture notes of the Spring School on Datatype-Generic Programming 2006', Lecture Notes in Computer Science 4719, Springer-Verlag, 2007.

Bongers, A.J. & van der Veer, G.C., Towards a multimodal interaction space categorization and applications. Journal of Personal and Ubiquitous Computing. Volume 11 (8). pp. 609-619. Springer-Verlag, December 2007.

van Eekelen, M. (editor). Trends in Functional Programming Volume 6. Selected papers from the Sixth Symposium on Trends in Functional Programming (TFP 2005), Intellect Books, 2007.

van Eekelen, M. & de Mol, M. Proving Lazy Folklore with Mixed Lazy/Strict Semantics. In: (eds) Erik Barendsen, Venanzio Capretta, Herman Geuvers and Milad Niqui. Reflections on Type Theory, l-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 87-101, Radboud University Nijmegen, 2007.

de Groot, A., Kügler, S., Metzlar, D., Stein, J. & van Eekelen, M. Exposing High-School Students to Open Source Development with CodeYard. Working Joint IFIP Conference: WG3.1 Secondary Education, WG3.5 Primary Education. "Informatics, Mathematics, and ICT: a ‘golden triangle'". College of Computer and Information Science Northeastern University Boston, Massachusetts, USA, 27th – 29th June 2007.

Hinze, R., Jeuring, J. & Löh, A. Comparing approaches to generic programming in Haskell. In: Roland Backhouse, Jeremy Gibbons, Ralf Hinze & Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, Lecture Notes in Computer Science 4719, pp. 72-149, Springer-Verlag, 2007.

Hoorn, J.F., Konijn, E.A., van Vliet, H. & van der Veer, G.C. Requirements change: Fears dictate the must haves; desires the won't haves, in: The Journal of Systems and Software 80 (2007), pp. 328-355, 2007.

Jansson, P., Jeuring, J. & students of the Utrecht University Generic Programming class, Testing properties of generic functions. In: Zoltán Horváth, Viktória Zsók & Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Revised Selected Papers, Lecture Notes in Computer Science 4449, pp. 217-234, Springer-Verlag, 2007.

Jeuring J. & Pasman, W. Strategy Feedback in an E-learning Tool for Mathematical Exercises. In: Volker Dötsch, Klaus Hering & Florian Schaar, editors, Proceedings 5th Workshop on e-Learning, HTWK Leipzig, Germany, pp. 7-26, October 2007.

Jeuring, J., Passier, H. & Stuurman, S. A Generic Framework for Developing Exercise Assistants. In: Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training, ITHET 2007, Kumamoto City, Japan, July 2007.

Joosten R. & Joosten, S., Rules for Identity and Access Control (Freeband/PNP2008/D2.18), IFIP/FIDIS Summer School on 'The Future of Identity in the Information Society' Karlstad, August 6-10, 2007, IFIP series, http://www.springer.com/series/6102, Springer-Verlag, ISSN: 1571-5736, 2007.

Joosten, S., Joosten R. & Joosten, B. Ampersand: Foutvrije specificaties voor B&I vraagstukken, Informatie, 49(6), pp. 42-50, July 2007.

van Kesteren, R., Shkaravska, O. & van Eekelen, M. Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Proceedings of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007, pp. 123-139, 2007.

Kok, A.J.F. & van Liere, R. A multimodal virtual reality interface for 3D interaction with VTK. Knowledge and Information Systems, 13(2), pp. 197-219, October 2007.

Lensink, L., Smetsers, S. & van Eekelen, M. Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007). Lecture Notes in Computer Science. Springer-Verlag, Volume 4916., pp. 115-132, 2007.

Kok, A.J.F. en R. van Liere, A multimodal virtual reality interface for 3D interaction with VTK. Knowledge and Information Systems, 13(2), pages 197-219, October 2007.

McNeile, A. en E. Roubtsova, Protocol Modelling Semantics for Embedded Systems, Accepted for the Special Session on Behavioural Models for Embedded Systems at the IEEE Second International Symposium on Industrial Embedded Systems, SIES'2007, Lisbon, Portugal, 4-6 July, 2007.

Roubtsova, E.E. Preface, Proceedings of the Second International Workshop on Aspect-Based and Model-Based Separation of Concerns in Software Systems (ABMB 2006). Bilbao, Spain, ENTCS. Volume 163, Issue 2. pp. 1-79, 2007.

Oord, P. en C.K.M Crutzen, A Story on Story Telling in a virtual learn-Work Environment, in: Managing Worldwide Operations & Communications with Information Technology, 2007. blz. 411-415.

Shkaravska, O., van Kesteren, R. & van Eekelen, M. Polynomial Size Analysis of First-Order Functions. In S. Ronchi Della Rocca (Ed.). Proceedings of the 8th International Conference on Typed Lambda Calculi and Applications (TLCA) 2007. June 26-28. Paris. Lecture Notes in Computer Science 4583, pp. 351-366, Springer-Verlag, 2007.

van der Vet, P.E., van der Veer G.C. e.a., Smart environments for collaborative design, implementation, and interpretation of scientific experiments, in: Proceedings of the International Workshop on AI for Human Computing, Hyderabad, India, in conjunction with Twentieth International Joint Conference on Artificial Intelligence, 2007, pp. 79-86, 2007.