Publicaties 2008

Baas, K., Vranken, H. & Rusman, E: Experiences with Virtual Classes in Distance Education, September 2008, IASTED CATE international conference, Kreta, Griekenland, 2008.

Benvenuti, L., Hennipman, E.P.J., Oppelaar, E.J.R.G., Van der Veer, G.C., Cruijsberg, B. & Bakker, G. Experiencing education with 3D virtual environments. In: Kinshuk, Sampson D.G., Spector J.M., Isaias P., Ifenthaler D. (eds.) Cognition and Exploratory Learning in Digital Age (Proceedings of CELDA 2008), IADIS Press, Freiburg, Germany, pp. 295-300, 2008.

Dolstra, E., Hage, J., Heeren, B., Holdermans, S., Jeuring, J., Löh, A., Middelkoop, A., Rodriguez, A., van Schie & J., Löh, C. Report on the Tenth ICFP Programming Contest. In Peter Thiemann, editor, Proceedings International Conference on Functional Programming, ICFP'08, pp. 397-408, ACM, 2008.

van Eekelen, M., ten Hoedt, S., Schreurs, R. & Usenko, Y.S. Analysis of a Session-Layer Protocol in mCRL2. Verification of a Real-Life Industrial Implementation. In P. Merino and S. Leue (eds). Proceedings 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007), pp. 182-199. Lecture Notes in Computer Science, Springer-Verlag, Volume 4916, 2008.

van Eekelen, M., Shkaravska, O., van Kesteren, R., Jacobs, B., Poll, E. & Smetsers, S. AHA: Amortized Heap Space Usage Analysis. Project Paper. In Marco Morazán and Henrik Nillsson (eds). Trends in Functional Programming volume 8, Selected Papers of the Eighth Symposium on Trends in Functional Programming, TFP 2007, New York City, USA, 2-4 April 2007, pp. 36-53, Intellect Publishers, 2008.

Geldof, F., van Haarlem, B.C., Lock, W. & Roubtsova, E.E. Modelling and Simulation of High Capacity Waterside Container Handling Systems at Deep-Sea Terminals. Proceedings of the Business and Industry Symposium (BIS) . ACM Spring Simulation Multiconference (SpringSim'08), 2008, Ottawa, Canada, pp. 198-205, 2008.

Gerdes, A. Heeren, B., Jeuring, J. & Stuurman S. Feedback services for exercise assistants. In D. Remenyi, editor, The Proceedings of the 7th European Conference on e-Learning, pp. 402-410. Academic Publishing Limited, 2008.

Gulliksen, J., Harning, M.B., Palanque, P., van der Veer, G.C. & Wesson, J. (Eds.). Engineering Interactive Systems. EIS 2007 Joint Working Conferences EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 2007, Selected Papers. Lecture Notes in Computer Science 4940, 640 pp, 2008.

Hage, J., Heeren, B., Strategies for solving constraints in type and effect systems in Proceedings of 3rd Views On Designing Complex Architectures, 2008

Heeren, B. & Jeuring, J. Recognizing strategies. In Aart Middeldorp, editor, Proceedings WRS 2008, Reduction Strategies in Rewriting and Programming, 8th International Workshop, pp. 31-46, 2008.

Heeren, B., Jeuring, J., van Leeuwen, A. & Gerdes, A. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, AISC/Calculemus/MKM 2008, LNAI 5144, pp. 430-445, 2007, Springer-Verlag. 2008.

Hennipman, E.P.J., Oppelaar, E.J.R.G. & van der Veer, G.C. Pattern Languages as Tool for Discount Usability Engineering. In: T.C. Nicholas Graham Philippe Palanque (Eds.)

Interactive Systems - Design, Specification, and Verification. Lecture Notes in Computer Science 5136, Springer-Verlag, pp. 108-120, 2008.

Hennipman, E.P.J., Oppelaar, E.J.R.G., van der Veer, G.C. & Bongers, A.J. Rapid and rich prototyping: proof of concepts for experience. In Abascal, J., Fajardo, I, Oakley, I. (eds.) proceedings of the 2008 European Conference on Cognitive Ergonomics: cool interaction, Madeira, Portugal, pp. 126-131, 2008.

van Kesteren, R., Shkaravska, O. & van Eekelen, M. Inferring static non-monotonically sized types through testing. In Rachid Echahed (ed.) Revised Selected Papers of the 16th international Workshop on Functional and (Constraint) Logic Programming (WFLP) 2007, Electronic Notes in Theoretical Computer Science (ENTCS), Volume 216, pp. 45-63, Elsevier, 2008.

Koppelman, H. & Vranken, H. 2008. Experiences with a synchronous virtual classroom in distance education. In Proceedings of the 13th Annual Conference on innovation and Technology in Computer Science Education (Madrid, Spain, June 30 - July 02, 2008), ITiCSE '08, ACM, New York, NY, pp. 194-198.

Kulyk, O., van der Veer, G.C. & van Dijk, E.M.A.G. Situational Awareness Support to Enhance Teamwork in Collaborative Environments. In Abascal, J., Fajardo, I, Oakley, I. (eds.) proceedings of the 2008 European Conference on Cognitive Ergonomics: cool interaction, Madeira, Portugal. pp. 18-22, 2008.

Lodder, J., Passier, H. & Stuurman, S. Using IDEAS in Teaching Logic, Lessons Learned, in: Proceedings of the 2008 International Conference on Computer Science and Software Engineering, Volume: 5, IEEE Computer Society, pp. 553-556, 2008.

McNeile, A.T. & Roubtsova, E.E., van der Veer, G. Protocol Models of Human-Computer Interaction. Proceedings of the 10th International Conference on Enterprise Information Systems, ICEIS 2008, Barcelona, Spain, Volume HCI, pp. 367-370, 2008.

McNeile, A.T. & Roubtsova, E.E. CSP Parallel Composition of Aspect Models. Proceedings of the 12th Intl Workshop on Aspect-Oriented Modeling, Brussels, Belgium. ACM DL, 2008.

McNeile, A.T. & Roubtsova, E.E. Executable Protocol Models as a Requirements Engineering Tool. Proceedings of the 41th Annual Simulation Symposium, 2008, Ottawa, Canada, (anss-41 2008), pp. 95-102 IEEE, 2008.

McNeile, A.T. & Roubtsova E.E. Programming in Protocols: A Paradigm of Behavioral Programming. Proceedings of the 3d International conference Evaluation of Novel Approaches to Software Engineering (ENASE ), 2008, Funchal, Madeira - Portugal. INSTICC, pp. 23-30, 2008.

de Mol, M., van Eekelen, M. & Plasmeijer R. A Single-Step Term-Graph Reduction System for Proof Assistants. Andy Schürr, Manfred Nagl, Albert Zündorf (eds). Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007. Proceedings of Revised Selected and Invited Papers. Kassel, Germany, 2007, Lecture Notes in Computer Science, Volume 5088, pp. 184-200, Springer-Verlag, 2008.

de Mol, M., van Eekelen, M. & Plasmeijer, R. Proving Properties of Lazy Functional Programs with SPARKLE. In Zoltan Horvath ed: 2nd Central-European Functional Programming School. CEFP 2007. Cluj-Napoca, June 23-30, 2007, Lecture Notes in Computer Science, Springer-Verlag, Volume 5161. pp. 41-86. 2008.

van Noort, T., Rodriguez, A., Holdermans, S., Jeuring, J. & Heeren, B. A Lightweight Approach to Datatype- Generic Rewriting. In Ralf Hinze, editor, Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP'08.

Oord, P. & Crutzen, C. Storytelling as a Link between Formal Knowledge and Actual Performance in a Critical Transformative Design Environment, Proceedings of the 5th International Conference on Narrative and Interactive Learning Environments, Edinburgh, Scotland, 6th 8th August 2008.

Oppelaar, E.J.R.G., Hennipman, E.P.J. & van der Veer, G.C. Experience Design for Dummies. In Abascal, J., Fajardo, I, Oakley, I. (eds.) proceedings of the 2008 European Conference on Cognitive Ergonomics: cool interaction, Madeira, Portugal. 118-125, 2008.

Passier. H., Specifying strategies using Petri nets In D. Remenyi, editor, The Proceedings of the 7th European Conference on e-Learning, pages 305-315. Academic Publishing Limited, 2008.

Rodriguez, A. Jeuring, J., Jansson, P., Gerdes, A., Kiselyov, O. & Oliviera, B. C. d. S. Comparing Libraries for Generic Programming in Haskell. In Andy Gill, editor, Proceedings of the ACM SIGPLAN Haskell Symposium, 2008.

Trezentos, P., Megías, D. & Bijlsma, L. Free knowledge in higher education. Free Knowledge, Free Technology Conference (FKFT'08), Barcelona, July 2008.

van der Veer, G.C.,. Cognitive Ergonomics in Interface Design Discussion of a Moving Science. Journal of Universal Computer Science, vol. 14, no. 16, pp. 2614-2629, 2008.

van der Veer, G.C. Ontwerpen van user interfaces. In: P. Voskamp, P.A.M. van Scheijndel & K.J. Peereboom (Eds.) handboek Ergonomie. Kluwer, Alphen aan den Rijn, pp. 673-696, 2008.

Vyas, D., Heylen, D., Nijholt, A. & van der Veer, G.C., Designing Awareness Support for Distributed Cooperative Design Teams. In Abascal, J., Fajardo, I, Oakley, I. (Eds.) proceedings of the 2008 European Conference on Cognitive Ergonomics: cool interaction, Madeira, Portugal, pp. 23-26, 2008.

Vyas, D., Kulyk, O., van der Vet, P., Nijholt, A. & van der Veer, G.C. Structures of Life: The Role of Molecular Structures in Scientists' Work. In Abascal, J., Fajardo, I, Oakley, I. (Eds.) proceedings of the 2008 European Conference on Cognitive Ergonomics: cool interaction, Madeira, Portugal. pp. 58-61, 2008.

Wassink, I., Kulyk, O., van Dijk, E.M.A.G., van der Veer, G.C., van der Vet, P.E. Applying a User-Centered Approach to Interactive Visualisation Design, In: E.V. Zudilova-Seinstra, T. Adriaansen & R. van Liere, (Eds.) Interactive Visualisation. State-of-the-Art Survey. Advanced Information and Knowledge Processing series, Springer-Verlag, UK, pp. 175-200, 2008.