Publicaties 2011

1. Academic Publications

A. Reviewed Journal Publications

Tempelaar, D.T., B. Rienties, W. Kaper, B. Giesbers, L. van Gastel, E.M. van de Vrie, H. van der Kooij & H. Cuypers, Effectiviteit van facultatief aansluitonderwijs wiskunde in de transitie van voortgezet naar hoger onderwijs. In: Pedagogische studiën, 88 (2011), pp. 231-248, http://www.open.ou.nl/evv/artikelen/Effectiviteit_aansluitonderwijs.pdf.

Van Eijk, R.M., Ayurveda for agents: an attempt to bring the sciences of natural and artificial intelligence closer together. In: CambridgeJournals: 8038652, The Knowledge Engineering Review number Special Issue 01, pp. 31-33, 2011, http://dx.doi.org/10.1017/S026988891000038X (url), http://journals.cambridge.org/article_S026988891000038X (eprint).

Verbeek, F. & J. Schmaltz, On necessary and sufficient conditions for deadlock-free routing in wormhole networks. IEEE Trans. Parallel Distrib. Syst. 22(12):2022-2032 (2011).

Verbeek, F. & J. Schmaltz, A comment on "A Necessary and Sufficient Condition for Deadlock-Free Adaptive Routing in Wormhole Networks". IEEE Trans. Parallel. Distrib. Syst. 22(10):1775-1776 (2011).

Achten, P., M. van Eekelen, P. Koopman & M.T. Morazán, Trends in Functional Programming. In: Higher Order and Symbolic Computing. Volume 23. Springer Verlag. 23 pages. June 2011.

Van Gastel, B., L. Lensink, S. Smetsers & M. van Eekelen, Deadlock and starvation free reentrant readers-writers: A case study combining model checking with theorem proving. In: Science of Computer Programming Volume 76. Issue 2. pp. 82-99. Selected papers from the workshops on Formal Methods for Industrial Critical Systems - FMICS 2007 + FMICS 2008. Elsevier. February 2011.

B. Reviewed Articles in Proceedings

De Moel, N. & G.C. van der Veer, Design pattern based decision support. In: A. Dittmar & P. Forbrig (Eds.), Designing Collaborative Activities - Proceedings of ECCE 2011. ACM Digital Library, pp. 93-96.

Van der Veer, G.C., O. Kulyk, D. Vyas, O. Kubbe & A. Ebert, Task Modeling for Collaborative Authoring. In: A. Dittmar & P. Forbrig (Eds.), Designing Collaborative Activities - Proceedings of ECCE 2011. ACM Digital Library, pp. 171-178.

Van der Veer, G.C., A. Ebert & I. Scheler, Non-formal modelling for interaction design. In: A. Dittmar & P. Forbrig (Eds.), Designing Collaborative Activities - Proceedings of ECCE 2011. ACM Digital Library, pp. 215-216.

Consiglio, T. & G.C. van der Veer, Designing an interactive learning environment for a worldwide distance adult learning community. In: A. Dittmar & P. Forbrig (Eds.), Designing Collaborative Activities - Proceedings of ECCE 2011. ACM Digital Library, pp. 225-228.

Rogier, E. & G.C. van der Veer, Designing education for people's understanding and experience. In: A. Dittmar & P. Forbrig (Eds.), Designing Collaborative Activities - Proceedings of ECCE 2011. ACM Digital Library, pp. 229-232.

Van der Veer, G.C. & D. Vyas, Non-formal Techniques for Requirements Elicitation, Modeling, and Early Assessment for Services. In: A. Dittmar & P. Forbrig (Eds.), Designing Collaborative Activities - Proceedings of ECCE 2011. ACM Digital Library, pp. 285-286.

Van der Veer, G.C., Culture Centered Design. In: P. Marti, A. Soro, L. Gamberini & S. Bagnara (Eds.), Facing Complexity - Proceedings CHItaly 2011. ACM Digital Library, pp. 7-8.

Van der Veer, G.C., T. Consiglio & L. Benvenuti, Service Design - a structure for learning before teaching. In: P. Marti, A. Soro, L. Gamberini & S. Bagnara (Eds.), Facing Complexity - Adjunct Proceedings CHItaly 2011. ACM Digital Library, pp. 144-147.

Benvenuti, L., P. van der Vet & G.C. van der Veer, Sciences, Computing, Informatics: who is the keeper of the real Faith. In: G.C. van der Veer, P. Sloep & M. van Eekelen (Eds.), Computer science education research conference. Open University Heerlen, ACM Digital Library, pp. 73-78.

Magalhães, J.P. & J. Jeuring, Generic Programming for Indexed Datatypes. In: Proceedings Workshop on Generic Programming, WGP 2011, pp. 37-46, ACM, 2011. Also available as Technical report Utrecht University UU-CS-2011-021, 2011.

Heeren, B. & J. Jeuring, Interleaving strategies. In: J.H. Davenport et al. (Eds.), Proceedings of CICM 2011, Conferences on Intelligent Computer Mathematics, LNAI 6824, pp. 196-211, Springer, 2011. Also available as Technical report Utrecht University UU-CS-2011-016, 2011.

Jeuring, J., J.P. Magalhães & B. Heeren, Generic Programming for Domain Reasoners. In: Zoltán Horváth, Viktória Zsók, P. Achten & P. Koopman, Proceedings of TFP 2009: 10th Symposium on Trends in Functional Programming, pp. 113-128, Intellect, 2011. An earlier version appeared asTechnical report Utrecht University UU-CS-2009-016, 2009.

Koppelman, H., B. van Dijk & G. van der Hoeven, Undergraduate research: a case study. In: Proceedings of the 16th annual joint conference on Innovation and technology in computer science education (ITiCSE '11). ACM, New York, NY, USA, 288-292, http://doi.acm.org/10.1145/1999747.1999828.

Hage, J., P. Rademaker & N. van Vugt, Plagiarism detection for Java: a tool comparison, Proceedings CSERC'11, pp. 33-46, http://bit.ly/ulz2eH.

Bakkes, S., P. Spronck & J. van den Herik, A CBR-Inspired Approach to Rapid and Reliable Adaption of Video Game AI. Proceedings of the 19th International Conference on Case Based Reasoning (ICCBR-2011), Workshop on Case-Based Reasoning for Computer Games (B. Díaz & A. Cordier, Eds.), pp. 17-26. (Presented at the ICCBR-2011 conference)

Stege, L., G. van Lankveld & P. Spronck, Teaching Electrical Engineering with a Serious Game. Serious Games - Theory, Technology & Practice: Proceedings of the GameDays 2011 (J. Wiemeyer & S. Göbel, Eds.), pp. 29-39. TU Darmstadt, Darmstadt, Germany. (Presented at the GameDays 2011 conference).

Van Lankveld, G., P. Spronck, J. van den Herik & A. Arntz, Games as Personality Profiling Tools. 2011 IEEE Conference on Computational Intelligence in Games (CIG'11) (Ed. Mike Preuss), pp. 197-202. (Presented at the CIG'11 conference).

Van Lankveld, G., S. Schreurs, P. Spronck & J. van den Herik, Extraversion in Games. Computers and Games, 7th International Conference, CG2010 (Eds. J. van den Herik, H. Iida & A. Plaat), pp. 263-275. LNCS 6515. Springer-Verlag, Berlin/Heidelberg, Germany. (Presented at the CG2010 conference).

Passier, H. & B. Heeren, Modeling XML content models explained. Presented at the Internet Applications and Research conference, Rome, Italy, 2011. In: proceedings of the MCCSIS 2011, pag. 222-226, http://www.open.ou.nl/hpa/papers_/ModelingXMLContentModels_TR.pdf.

Lodder, J. & B. Heeren, A teaching tool for proving equivalences between logical formulae, Proceedings of the Third international congress conference on Tools for teaching logic, series TICTTL'11, pp. 154—161, isbn 978-3-642-21349-6, Springer-Verlag, Berlin/Heidelberg, http://dl.acm.org/citation.cfm?id=2021573.2021591, http://www.staff.science.uu.nl/~heere112/ProvingEquiv.html.

Michels, G., S. Joosten (Sebastiaan), J. van der Woude & S. Joosten (Stef), Ampersand applying relation algebra in practice. In: H. de Swart (Ed.), Relational and algebraic methods in computerscience 12, LNCS 6663 Springer, 2011.

Van der Woude, J. & S. Joosten, Relational heterogeneity relaxed by subtyping. In: H. de Swart (Ed.), Relational and algebraic methods in computerscience 12, LNCS 6663 Springer, 2011.

Potters, H., A. Berlanga & A. Bijlsma, Peer production and peer support at the Free Technology Academy. In: G.C. van der Veer, P. Sloep & M. van Eekelen (Eds.), Computer Science Research Conference (CSERC'11, Heerlen, April 2011). Open Universiteit, Heerlen, 2011; pp. 49-56.

Mofers, F., W. Tebbens, H. Potters & A. Bijlsma, Shared QA for producing free educational materials at the FTA. In: S. Hellman et al. (Eds.), Proceedings of the 6th Open Knowledge Conference (OKCon 2011, Berlin, June 2011). CEUR Workshop Proceedings vol. 739.

Thiadens, Th., M. van Best, J. van den Broek, R. Ham, F. Haverkort, C. Schellekens & H. Vranken, Cloud computing: differences in approach between large organizations that use cloud computing & providers of cloud services in the Netherlands. In: Proceedings of the 6th Mediterranean Conference on Information Systems (Limassol, Cyprus, September 3 - 5, 2011), 2011.

Kamer, J. & H. Vranken, The impact of server virtualization on ITIL processes. In: Proceedings of the 1st International Conference on Cloud Computing and Services Science (Noordwijkerhout, The Netherlands, May 7 - 9, 2011), SciTePress, pp. 643-649, 2011.

Vranken, H., J. Haag, T. Horsmann & S. Karsch, A distributed virtual computer security lab. In: Proceedings of the 3rd International Conference on Computer Supported Education, Vol. 1 (Noordwijkerhout, The Netherlands, May 6 - 8, 2011), SciTePress, pp. 110-119, 2011.

Haag, J., T. Horsmann, S. Karsch & H. Vranken, A distributed virtual computer security lab with central authority. In: Proceedings Computer Science Education Research Conference (Heerlen, The Netherlands, April 7 - 8, 2011), Open Universiteit, Heerlen, pp. 89-95, 2011.

Benvenuti, L., P.E. van der Vet & G.C. van der Veer, Sciences, Computing, informatics: who is the keeper of the Real Faith? In: G. van der Veer, P. Sloep, M. van Eekelen (Eds.), Proceedings of Computer Science Education Research 2011, April 7-8, Heerlen, the Netherlands.

Rogier, E. & G.C. van der Veer, Designing education for people's understanding and experience. In: Proceedings of the 29th Annual European Conference on Cognitive Ergonomics (ECCE'11). Rostock, Germany, August 2011. ACM, pp. 229-232, http://doi.acm.org/10.1145/2074712.2074759.

Van Loggem, B. E., Placing documentation at the heart of the development cycle, Proceedings of the 29th Annual European Conference on Cognitive Ergonomics, pp. 281-282. Rostock, Germany: ACM, http://dl.acm.org/citation.cfm?id=2074712.2074780&coll=DL&dl=GUIDE&CFID=61332985&CFTOKEN=77120038.

Van Loggem, B. E., SDDPL: a software documentation design pattern language, Proceedings of the 29th Annual European Conference on Cognitive Ergonomics, pp. 237-240. Rostock, Germany: ACM, http://dl.acm.org/citation.cfm?id=2074712.2074761&coll=DL&dl=GUIDE&CFID=61332985&CFTOKEN=77120038.

Alferez, M., N. Amalio, S. Ciraci, F. Fleurey, J. Kienzle, J. Klein, S. Mosser, G. Mussbacher, E. Roubtsova & G. Zhang, Aspect-Oriented Model Development at Different Levels of Abstraction. In: R.B. France et al. (Eds.), ECMFA 2011, LNCS 6698, pp. 361-376.

Roubtsova, E., Aspect-Orientation in Modelling: Lessons Learned. Proceedings of the First International Symposium on Business Modeling and Software Design, BMSD 2011, ISBN: 978-989-8425-68-3, pp. 13-24.

Roubtsova, E., A. McNeile, E. Kindler & M. Aksit, The Third Workshop on Behaviour Modelling - Foundations and Applications. In: R.B. France et al. (Eds.), ECMFA 2011, LNCS 6698, pp. 381-382.

Verheul, J. & E. Roubtsova, An Executable and Changeable Reference Model for the Health Insurance Industry, The 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA 2011, Birmingham, UK. ACM DL, 978-1-4503-0617-1, pp. 33-40.

Michels, G., S. Joosten, J. van der Woude & S. Joosten, Relational and Algebraic Methods in Computer Science, series Lecture Notes in Computer Science, Springer-Verlag, Berlin/Heidelberg, 978-3-642-21069-3, pp. 280-293, http://dx.doi.org/10.1007/978-3-642-21070-9_21, 2011.

Verbeek, F. & J. Schmaltz, Hunting deadlock efficiently in micro-architectural models of communication fabrics. Proceedings 11th International Conference on Formal Methods in Computer-Aided Design, FMCAD 11, pp. 223-232, Austin, TX, USA, October 30-November 2, IEEE Computer Society 2011.

Verbeek, F. & J. Schmaltz, Formal verification of a deadlock detection algorithm. Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, pp. 103-112, EPTCS 70 2011.

Verbeek, F. & J. Schmaltz, Automatic verification for deadlock in networks-on-chips with adaptive routing and wormhole switching. Fifth ACM/IEEE International Symposium on Networks-on-Chip, pp. 25-32, Pittsburgh, Pennsylvania, USA, May 1-4, 2011, IEEE Computer Society 2011.

Rütz, C. & J. Schmaltz, An experience report on an industrial case-study about timed model-based testing with UPPAAL-TRON. IEEE Fourth Internactional Conference on Software Testing, Verification and Validation Workshopds (ICSTW), pp. 39-46, Berlin, Germany, 21-25 March, IEEE Computer Society 2011.

Verbeek, F. & J. Schmaltz, A fast and verified algorithm for proving store-and-forwards networks deadlock-free. 19th International Euromicro Conference on Parallel, Distributed, and Networked-based Processing, PDP 11, pp. 3-10, Ayia Napa, Cyprus, 9-11 February 2011, IEEE Computer Society 2011 ISBN 978-0-7695-4328-4.

Rutledge, L. & R. Oostenrijk, Applying and Extending Semantic Wikis for Semantic Web Courses. In: The 1st International Workshop on eLearning Approaches for the Linked Data Age (Linked Learning 2011), May 2011, http://ceur-ws.org/Vol-717/paper9.pdf.

Thiadens, Th., M. Dorenbos, A. Kasper & A. Counotte-Potman, Greener data centres in the Netherlands. In: Green Finance and Sustainability: Environmentally Aware Business Models and Technologies, Zongwei Luo (Ed.), IGI publications, New York, 2011, pp. 91-109.

Madlener, K., S. Smetsers & M. van Eekelen, Formal Component-Based Semantics. In: M. Reniers & P. Sobocinski (Eds.), Proceedings Eigth Workshop on Structural Operational Semantics (SOS'11). Southampton, UK, 2011. Electronic Proceedings of Theoretical Computer Science (EPTCS) Volume 62, pp. 17-29, 2011.

Shkaravska, O., M. van Eekelen & A. Tamalet, Collected Size Semantics for Functional Programs over Lists. In: S.B. Scholz (Ed.), Selected Papers of the 20th Symposium on Implementation and Application of Functional Programming, IFL 2008, University of Hertfordshire, UK, 2008, Lecture Notes in Computer Science, Volume 5836. Springer Verlag, pp. 118-137, 2011.

C. Reviewed Book (Chapter)s

Benvenuti, L. & G.C. van der Veer, Practice what you preach: experiences with teaching 3D concepts in a virtual world. In: Shalin Hai-Jew (Ed.), Virtual Immersive and 3D Learning Spaces: Emerging Technologies and Trends. IGI-global, pp. 45-53.

Kukyk, O., T. de Kler, W. de Leeuw, G.C. van der Veer & van B. Dijk, Staying Focused: Highlighting-on-demand as situational awareness support for groups in multidisplay environments. In: A. Ebert, N.D. Gershon & M. Pohl (Eds.), Human Aspects of Visualization. LNCS 6431, pp. 108-126.

Van der Veer, G.C. & C. Verbruggen, Teaching visual design as a holistic enterprise. In: A. Ebert, A., N.D. Gershon & M. Pohl (Eds.), Human Aspects of Visualization. LNCS 6431, pp. 163-172.

2. Monographs

Van der Veer, G.C., P. Sloep & M. van Eekelen (Eds.), Computer science education research conference. Open University Heerlen, ACM Digital Library.

Lemmen, K. & E.M. van de Vrie (Eds.), NIOC2011: Proceedings, Heerlen, Open Universiteit Nederland, 2011, 254 pages, http://www.open.ou.nl/evv/artikelen/NIOC2011_Proceedings.pdf.

Hardin, D. & J. Schmaltz (Eds.), Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications. EPTCS 70 2011, 112 pages.

Van Eekelen, M., H. Geuvers, J. Schmaltz & F. Wiedijk (Eds.), Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Lecture Notes in Computer Science 6898, Springer 2011, ISBN 978-3-642-22862-9.

Van der Veer, G.C., P. Sloep & M. van Eekelen (Eds.), Proceedings of the Computer Science Education Research Conference (CSERC'11). April 7-8, 2011. Heerlen. ACM In-cooperation. The Netherlands. ISBN 978 90 358 1987 0, 95 pages, ACM Digital Library, 2011.

3. Professional publications

A. (Contributions to) articles in professional journals/magazines

Van der Veer, G.C., SIGCHI: The State of the Society. In: Interactions, Vol XVIII (3), 83, ACM Digital Library.

Van der Veer, G.C., SIGCHI: The State of Our World. In: Interactions, Vol XVIII (4), 84, ACM Digital Library.

Van de Lagemaat, H. & E.M. van de Vrie, Wereldwiskunde Fonds financiert twee projecten, Ethiopië en Mozambique. In: Euclides, 87/3 (2011), pp. 121-122, http://www.open.ou.nl/evv/artikelen/Artikel_Euclides_dec2012.pdf.

Lemmen, K. & E.M. van de Vrie, NIOC2011: conferentie over 'Grenzeloos ICT-onderwijs'. In: Informatie, 53 (2011), 2, 18.

B. Articles in proceedings of professional meetings

Van der Veer, G.C., Welcome from the President of EACE. In: A. Dittmar & P. Forbrig (Eds.), Designing Collaborative Activities - Proceedings of ECCE 2011, ix. ACM Digital Library.

Van der Veer, G.C. & J.S. Morris, From ACM SIGCHI's President and Vice President for Conferences. In: D. Tan, G. Fitzpatrick, C. Gutwin, B. Begole, W.A. Kellogg (Eds.), CHI '11 Proceedings of the 2011 annual conference on Human factors in computing systems, iv. ACM Digital Library.

Lodder, J. & J. Jeuring, Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten. In: Karel Lemmen & E.M. van de Vrie (Eds.), Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011, pp. 169-174, Open Universiteit The Netherlands, 2011. Also available as Technical report Utrecht University UU-CS-2011-030, 2011.

Koldenhof, E., J. Jeuring & S. Ruth, Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode (in Dutch). In: K. Lemmen & E.M. van de Vrie (Eds.), Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011, pp. 133-147, Open Universiteit The Netherlands, 2011. Also available as Technical report Utrecht University UU-CS-2011-031, 2011.

Stuurman, S. & H. Koppelman, De clientkant van webapplicaties in het universitaire onderwijs. Proceedings NIOC 2011, pp. 228-233, 7 en 8 april 2011, Heerlen, ISBN 978 90 358 2034 0.

Lodder, J. & J. Jeuring, Math-Bridge, bridging the math gap between high school and universities. In: Proceedings EADTU annual conference, November 2011, Eşkisehir, Turkey. pp. 163-172. ISBN 978-90-79730-09-4, 2011, http://www.eadtu.eu/images/stories/Docs/Conference_2011/proceedings.pdf.

Bijlsma, A. & W. Tebbens, Free Technology Academy: Europees onderwijs over Vrije Software en Open Standaarden. In: K. Lemmen & E.M. van de Vrie (Eds.), Proceedings 10e Nationale Informatica Onderwijs Congres (NIOC 2011, Heerlen, April 2011). Open Universiteit, Heerlen, 2011, pp. 30-33.

Rutledge, L. & H. Pootjes, Semantic wiki's voor Semantic web onderwijs. In: The 10th Nationale Informatica Onderwijs Congres (NIOC 2011). pp. 209-211, Stichting NIOC, April 7 2011.

Counotte, A., Th. Thiadens & M. van Eekelen, Mogelijke opzet voor een cursus Duurzaamheid van ict, Nioc Proceedings 2011, pp. 52-55.

Van Eekelen, M., Modularisering van sterk afhankelijke cursussusen. In: NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 92-98.

Van Eekelen, M. & M. Sint, Ontwerp van een 1-jarige Master Software Engineering aan de Open Universiteit. In: NIOC 2011 - Grenzeloos ICT onderwijs. Proceedings van het 10e Nederlands Informatica Onderwijs Congres (2011). Stichting NIOC. ISBN 978-90-358-20340. Open Universiteit Heerlen, 2011, pp. 82-91.

C. (Contributions to) professional book publications

Kenniskring Virtualisatie en cloud computing (Th. Thiadens, M. van Best, R. Ham, H. Vranken, J. van den Broek, F. Haverkort & C. Schellekens), Cloud computing: ontzorging van de klant?, Fontys Hogeschool, lectoraat ICT governance, 2011.

D. Technical reports

Passier, H. & B. Heeren, Modeling XML Content Explained, Technical Report UU-CS-2011-019, Department of Information and Computing Sciences, Utrecht University, http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-019.pdf.

Heeren, B. & J. Jeuring, Interleaving strategies, http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-016.pdf.

Rodriguez Yakushev, A., J. Jeuring, P. Jansson, A. Gerdes, O. Kiselyov & B.C.D.S. Oliveira, Comparing Datatype Generic Libraries in Haskell, http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-020.pdf.

Magalhães, José Pedro & J. Jeuring, Generic Programming for Indexed Datatypes, http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-021.pdf.

Koldenhof, E., J. Jeuring & S. Ruth, Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode, http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-031.pdf.

Schmaltz, J., Formal verification of a time-triggered hardware interface, CoRR abs/1103.2246: (2011).

Peña, R. & M. van Eekelen (Eds.), Proceedings of the 12th International Symposium on Trends in Functional Programming (TFP2011). Madrid, Spain. Tech. Rep. SIC-07/11. Dept. Computer Systems and Computing Universidad Complutense de Madrid, 355 pages, May 2011.

Gobi, A., O. Shkaravska & M. Van Eekelen, Size Analysis of Higher-Order Functions. In: Proceedings of Trends in Functional Programming, Madrid, Spain. R. Peña & M. van Eekelen (Eds.), Tech. Rep. SIC-07/11, Dept. Computer Systems and Computing, Universidad Complutense de Madrid, pp. 77-91, May 16th-18th, 2011.

Kersten, R. & M. van Eekelen, Ranking Functions for Loops with Disjunctive Exit-Conditions. In: Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, Madrid, Spain. R. Peña (Ed.), Tech. Rep. SIC-08/11, Dept. Computer Systems and Computing Universidad Complutense de Madrid. pp. 111- 126. May 19th, 2011.

Montenegro, M., O. Shkaravska, M. van Eekelen & R. Peña, Interpolation-based height analysis for improving a recurrence solver. In: Proceedings of the 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis, Madrid, Spain. R. Peña (Ed.), Tech. Rep. SIC-08/11, Dept. Computer Systems and Computing, Universidad Complutense de Madrid. pp. 95-110, May 19th, 2011.

4. (Contributions to) popular publications

5. Ph.D. Theses

6. Master Theses

Kiewiet, G., Technische impact van hybride cloud computing op IAM, Open Universiteit, masterprogramme BPM&IT, 2011.

Hoeve, J., Parallellisatie in regelgrafen - Een onderzoek naar de mogelijkheden tot parallellisatie van betekenisvolle gerichte grafen, Open Universiteit, 13 december 2011. Afstudeercommissie: M. van Eekelen & L. Rutledge.

Montes Portela, C., De ontwerpruimte van de ICT-architectuur van het Smart Grid - Een onderzoek naar de interactie rond het elektriciteitsnet, Open Universiteit, 21 juni 2011. Afstudeercommissie: M. van Eekelen, A. Counotte & L. Rutledge.