print · login   

Bibtex actions:
  edit    source    raw source    raw html

2011

  1. A. Hommersom. Toward Probabilistic Analysis of Guidelines. Knowledge Representation for Health-Care, 2011, D. Riano, 6512, 139-152, Berlin, Springer, 10.1007/978-3-642-18050-7_11.
  2. Z. Horváth, V. Zsók, P. Koopman and P. Achten. TFP 2009 : Tenth Symposium on Trends in Functional Programming held in Komárno, Slovakia. TFP 2009. Intellect, 2011, 10, 192-, Bristol, Trends in functional programming.
  3. Bas Lijnse and Rinus Plasmeijer. iTasks 2: iTasks for End-users. Lecture Notes in Computer Science, Springer, 2011, Marco Morazán and Sven-Bodo Scholz, 6041, 36-54, Berlin.
  4. S. J. Overbeek, P. Van Bommel and H. A. Proper. Statics and dynamics of cognitive and qualitative matchmaking in task fulfillment. 2011, 181, 129-149, 1, Information Sciences.

2010

  1. Selected Extended Papers. Hammamet, Tunisia, Lecture Notes in Business Information Processing, P. Soffer Proper and H.A., Springer, Berlin, Germany, 72, 2010.
  2. Fides Aarts, Bengt Jonsson and Johan Uijen. Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction. Lecture Notes in Computer Science, Springer, 2010, Alexandre Petrenko, Adenilso Simão and José Maldonado, 188-204, Berlin.
  3. Fides Aarts, Julien Schmaltz and Frits Vaandrager. Inference and Abstraction of the Biometric Passport. Lecture Notes in Computer Science, Springer, 2010, Tiziana Margaria and Bernhard Steffen, 6415, 673-686, Berlin.
  4. Fides Aarts and Frits Vaandrager. Learning I/O Automata. Lecture Notes in Computer Science, Springer, 2010, Paul Gastin and François Laroussinie, 6269, 71-85, Berlin.
  5. P. Achten. Het SoccerFun project : funtioneel programmeren in het onderwijs met behulp van voetbal. NIOC Proceedings, 2010, F. Vodegel and M. Loots, 128-134.
  6. P. Achten. The Soccer-Fun project. 2010, Online first, 1-19, Journal of Functional Programming.
  7. Twan Basten, Emiel van Benthum, Marc Geilen, Hendriks, Martijn, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou Somers, Egbert Teeselink, Tr�ka, Nikola, Frits Vaandrager, Jacques Verriet, Voorhoeve, Marc and Yang Yang. Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. Lecture Notes in Computer Science, Springer, 2010, Tiziana Margaria and Bernhard Steffen, 6415, 90-105, Berlin.
  8. J. Berendsen. Abstraction, Prices and Probability in Model Checking Timed Automata. Radboud University Nijmegen, 2010, Nijmegen, Institute for Computing and Information Sciences, 178-, PhD.
  9. J. Berendsen, D. N. Jansen, J. Schmaltz and Vaandrager, F.W.. The axiomatization of override and update. 2010, 8, 141-150, 1, Journal of Applied Logic.
  10. J. Berendsen, D. N. Jansen and F. W. Vaandrager. Fortuna: Model Checking Priced Probabilistic Timed Automata. Qest 2010 : Proceedings Seventh International Conference on the Quantitative Evaluation of Systems QEST 2010 15-18 September 2010 Williamsburg, Virginia, USA, 2010, 273-281, Los Alamitos, IEEE Computer Society.
  11. I. Bider, T. Halpin, J. Krogstie, S. Nurcan, Proper, E., R. Schmidt and R. Ukor. Enterprise, Business-Process and Information Systems Modeling : 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Proceedings. Berlin, Lecture Notes in Business Information Processing, Springer, 50, 2010.
  12. M. Blokpoel, J. Kwisthout, T. van der Weide and van Rooij, I.. How Action Understanding can be Rational, Bayesian and Tractable. Cognition in Flux : Proceedings of the 32nd Annual Meeting of the Cognitive Science Society Portland, Oregon, August 11-14, 2010, 2010, Stellan Ohlsson, 1643-1648, Austin, Cognitive Science Society.
  13. H. Daniels and M. Velikova. Monotone and partially monotone neural networks. 2010, 21, 906-917, 6, IEEE Transactions on Neural Networks.
  14. Jos Groenewegen, Stijn Hoppenbrouwers and Erik Proper. Playing ArchiMate Models. Lecture Notes in Business Information Processing, Springer, 2010, Ilia Bider, Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt and Roland Ukor, 50, 182-194, Berlin.
  15. F. Harmsen, E. Proper, F. Schalkwijk, J. Barjis and S. Overbeek. Practice-Driven Research on Enterprise Transformation Second Working Conference, PRET 2010, Delft, The Netherlands, November 11, 2010. Proceedings. Berlin, Lecture notes in business information processing, 217-, Springer, 2010.
  16. M. van der Heijden and P. J. F. Lucas. Extracting qualitative knowledge from medical guidelines for clinical decision-support systems. Knowledge Representation for Health-Care. Data, Processes and Guidelines : Workshop on Knowledge Representation for Health-Care: Data, Processes and Guidelines, KR4HC 2009. Held in Conjunction with the 12th Conference on Artificial Intelligence in Medicine, AIME 2009; Verona; 19 July 2009 through 19 July 2009, 2010, D. Riano, 5943, 100-112, Berlin, Springer, 10.1007/978-3-642-11808-1_9.
  17. J. Henrix, R. Plasmeijer and P. Achten. Gin : Graphical iTask Notation - extended abstract -. Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, 2010, J. Hage, UU-CS-2010-020, 1-5, Utrecht, Department of Information and Computing Sciences.
  18. Hermanns, H., K.G. Larsen J.-F. Raskin J. Tretmans. Quantitative System Validation in Model Driven Design. Embedded Systems Week, 2010, L. Carloni Tripakis and S., 301-302, New York, ACM.
  19. A. Hommersom and P. J. F. Lucas. Using bayesian networks in an industrial setting: Making printing systems adaptive. ECAI 2010 - 19th European Conference on Artificial Intelligence, 2010, H. Coelho and R. Studer, 215, 401-406, Amsterdam, IOS Press, 10.3233/978-1-60750-606-5-401.
  20. J. Hooman and M. Verhoef. Formal semantics of a VDM extension for distributed embedded systems. Lecture notes in computer science, Springer, 2010, D. Dams and U. Hannemann, 5930, 142-161, Berlin.
  21. Li Li Hooman and Jozef. Connecting Technical and Non-Technical Views of System Architectures. 3rd IEEE/ACM International Conference on Cyber, Physical and Social Computing (CPSCom2010), 2010.
  22. S.J.B.A. Hoppenbrouwers, B. Schotten and P. J. F. Lucas. Towards Games for Knowledge Acquisition and Modeling. 2010, 2, 48-66, 4, International Journal of Gaming and Computer-Mediated Simulations (IJGCMS).
  23. Stijn Hoppenbrouwers and Ilona Wilmont. Focused Conceptualisation: Framing Questioning and Answering in Model-Oriented Dialogue Games. Lecture Notes in Business Information Processing, Springer, 2010, Patrick Bommel, Stijn Hoppenbrouwers, Sietse Overbeek, Erik Proper and Joseph Barjis, 68, 190-204, Berlin.
  24. Z. Horváth, R. Plasmeijer and V. Zsók. Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures. Berlin, Lecture notes in computer science, 391-, Springer, 2010.
  25. Z. Horváth, V. Zsók, Peter Achten and Pieter Koopman. Proceedings 10th symposium on Trends in Functional programming, TFP'09, Selye János University, Komárno, Slovakia, June 2-4 2009. Trends in functional programming, Intellect, 10, 2010.
  26. Georgeta Igna and Frits Vaandrager. Verification of Printer Datapaths Using Timed Automata. Lecture Notes in Computer Science, Springer, 2010, Tiziana Margaria and Bernhard Steffen, 6416, 412-423, Berlin.
  27. J.M. Jansen, T. Grant, B. Lijnse and R. Plasmeijer. Web based dynamic workflow systems for C2 of military operations. 15th ICCRTS `The Evolution of C2', 2010, 1-19.
  28. J.M. Jansen, Bas Lijnse and Rinus Plasmeijer. Towards dynamic workflows for crisis management. ISCRAM 2010 : 7th International Conference on Information Systems for Crisis Response and Management Defining Crisis Management 3.0 PROCEEDINGS, Book of Abstracts, 2010, S. French, 23, 1-5, jm.jansen.04@nlda.nl b.lijnse@cs.ru.nl rinus@cs.ru.nl.
  29. Jan Martin Jansen, Rinus Plasmeijer, Pieter Koopman and Peter Achten. Embedding a web-based workflow management system in a functional language. Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010, C. Brabrand, 79-93, S.l, ACM.
  30. Katoen, Joost-Pieter; Zapreev, Ivan S.; Hahn Ernst Moritz; Hermanns Holger; Jansen David N.. The ins and outs of the probabilistic model checker MRMC. 2010, Performance Evaluation.
  31. Dilsun K. Kaynar, Nancy Lynch, Roberto Segala and Vaandrager, Frits. The Theory of Timed I/O Automata, Second Edition. 2010, 1, 1-137, 1, Synthesis Lectures on Distributed Computing Theory.
  32. P. Koopman and R. Plasmeijer. Synthesis of functions using generic programming. Approaches and Applications of Inductive Programming : Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers, 2010, U. Schmid, E. Kitzelmann and R. Plasmeijer, 5812, 25-49, Berlin, Springer.
  33. Pieter Koopman and Peter Achten. An Effective Methodology for Defining Consistent Semantics of Complex Systems. Lecture Notes in Computer Science, Springer, 2010, Zoltán Horváth, Rinus Plasmeijer and Viktória Zsók, 6299, 224-267, Berlin.
  34. Koopman, Pieter, Rinus Plasmeijer. Testing with Functional Reference Implementations. University of Oklahoma, USA, 11th Symposium on Trends In Functional Programming, 2010.
  35. J. Kwisthout. Most Probable Explanations in Bayesian Networks: complexity and tractability. 2010, Nijmegen, Technical Report, 1-20, Radboud University.
  36. J. Kwisthout. Two New Notions of Abduction in Bayesian Networks. BNAIC 2010 : 22nd Benelux Conference on Artificial Intelligence : proceedings, 2010, 1-8.
  37. J. Kwisthout. Two new notions of abduction in Bayesian networks. 2010, Nijmegen, Technical Report, 18-, ICIS, ICIS-R10005.
  38. J. Kwisthout, H. Bodlaender and L. van der Gaag. The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks.. ECAI 2010 - 19th European Conference on Artificial Intelligence : proceedings, 2010, H. Coelho, 215, 237-242, IOS Press.
  39. Kwisthout, Johan, Todd Wareham Iris van Rooij. Letter to the Editor: Bayesian Intractability is not an Ailment that Approximation can Cure. 2010, Cognitive Science.
  40. M. Lankhorst, E. Proper and H. Jonkers. The Anatomy of the ArchiMate Language. 2010, 1, 1-32, 1, International Journal of Information System Modeling and Design.
  41. B. Lijnse. Tussen Types en Tabellen. 2010, 13, 20-20, 4, Optimize.
  42. B. Lijnse, E. Crombag and R. Plasmeijer. The usual tasks : a library for ad-hoc work in iTasks [extended abstract]. Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, 2010, J. Hage, UU-CS-2010-020, Utrecht, Department of Information and Computing Sciences.
  43. P. J. F. Lucas and A. Hommersom. Modelling the interactions between discrete and continuous causal factors in Bayesian networks. PGM 2010 : Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM-2010), 2010, P. Myllymaki, 185-192, HIIT Publications.
  44. S. Evers Lucas and P.J.F.. Variable elimination by factor indexing. PGM 2010, 2010, 129-136, Helsinki, Sweden.
  45. A. Mader, H. Bohnenkamp, Y. S. Usenko, D. N. Jansen, J. Hurink and H. Hermanns. Synthesis and stochastic assessment of cost-optimal schedules. 2010, 12, 305-318, 5, International Journal on Software Tools for Technology Transfer.
  46. Frank Meijer, Egon L. van den Broek, Theo E. Schouten, Roy G. J. Damgrave and Huib de Ridder. Synthetic environments as visualization method for product design. Human Vision and Electronic Imaging XV, 2010, B. Rogowitz, 7527, San Jose, California, USA, SPIE.
  47. S. Michels, R. Plasmeijer and P. Achten. iTask as a new paradigm to building GUI applications - extended abstract -. Preproceedings of the 22nd Symposium on Implementation and Application of Functional Languages, IFL 2010, 2010, J. Hage, UU-CS-2010-020, 1-6, Utrecht, Department of Information and Computing Sciences.
  48. Michels, Steffen, Rinus Plasmeijer Peter Achten.. iTask as a new paradigm to building GUI applications. 22nd Symposium on Implementation and Application of Functional Languages, 2010, urriaan Hage, Alphen aan den Rijn, Utrecht University.
  49. A. Minin, M. Velikova, B. Lang and H. Daniels. Comparison of universal approximators incorporating partial monotonicity by structure. 2010, 23, 471-475, 4, Neural Networks.
  50. A. Nakakawa, P. Van Bommel and H.A Proper. Challenges of involving stakeholders when creating enterprise architecture. EIS-2010 : SIKS/BENAIS Conference on Enterprise Information Systems 2010 : Proceedings of the 5th SIKS/BENAIS Conference on Enterprise Information Systems (EIS-2010), 2010, B. van Dongen, 662, 43-55, CEUR.
  51. Nakakawa, A., Bommel P. van Proper E.. Definition and Validation of Requirements for Collaborative Decision Making in Enterprise Architecture Creation. International Journal of Cooperative Information Systems, 2010.
  52. Nakakawa, A., Bommel P. van Proper E.. On Supporting Collaborative Problem Solving in Enterprise Architecture Creation. LNBIP, 2010, F. Harmsen E. Proper and J.L.G. Dietz, 69, 156-181, Delft, Springer.
  53. Nakakawa, A., Bommel van P. Proper H. A.. Towards a Theory on Collaborative Decision Making in Enterprise Architecture. LNCS, 2010, 6105, 538-541, Springer.
  54. Agnes Nakakawa and Patrick Bommel. On Supporting Collaborative Problem Solving in Enterprise Architecture Creation. Lecture Notes in Business Information Processing, Springer, 2010, F. Harmsen, 156-181, Berlin.
  55. S. Overbeek, M. Janssen and P. Van Bommel. Realizing integrated service delivery through a language for collective understanding of business rules. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 2010, M. Dean, 6403, 289-296, Berlin.
  56. Overbeek, S.J., M.F.W.H.A. Janssen P. van Bommel. Modeling and describing an ontological knowledge framework for integrated public service delivery. Handbook of research on service intelligence and service science, IGI global, 2010.
  57. R. Plasmeijer, P. Achten and P. Koopman. Generic Functions Dynamically Applied - keynote talk. Proceedings Workshop on Generative Technologies, WGT'10, Paphos, Cyprus, March 27, 2010, 2010, Zoltán Porkoláb, 1-2.
  58. E. Proper, M. Lankhorst, M. Schönherr, J. Barjis and S. Overbeek. Trends in Enterprise Architecture Research 5th International Workshop, TEAR 2010, Delft, The Netherlands, November 12, 2010. Proceedings. Berlin, Lecture notes in business information processing, Springer, 2010.
  59. Erik Proper and Danny Greefhorst. The Roles of Principles in Enterprise Architecture. Lecture Notes in Business Information Processing, Springer, 2010, M. Lankhorst, 70, 57-70, Berlin.
  60. H. A. Proper and M. Op ’t Land. Lines in the Water. Lecture Notes in Business Information Processing, Springer, 2010, F. Harmsen, 193-216, Berlin.
  61. Quan W, Lappenschaar M, Lucas PJF Hommersom AJ. Representing Knowledge of Multiple Disorders by Object-Oriented Bayesian Networks. The 2nd International Workshop on Knowledge Representation for Health Care (KR4HC-2010), 2010.
  62. Radstake, Niels, Peter Lucas Marina Velikova and Samulski, M.. Critiquing Knowledge Representation in Medical Image Interpretation using Structure Learning. LNAI, 2010, 6512, 56-70.
  63. Robben, Saskia, Marina Velikova Peter Lucas and Samulski, Maurice. Critiquing Knowledge Representation in Medical Image Interpretation using Structure Learning. LNAI, 2010, 6512, 56-70, Cambridge, UK.
  64. SJ Overbeek, MFWHA Janssen, P v Bommel. Realizing integrated service delivery through a language for collective understanding of business rules. Lecture Notes in Computer Science, 2010, 6403.
  65. J. Schmaltz, F. Verbeek and T. van den Broek. Formal Validation and Verification of Networks-on-Chips: Status and Perspective. Eighth International Workshop on Designing Correct Circuits : Paphos, Cyprus, 20–21 March 2010 : A Satellite Event of the ETAPS 2010 group of conferences Participants’ Proceedings, 2010, J. Stoy, 1-14.
  66. U. Schmid, E. Kitzelmann and R. Plasmeijer. Approaches and Applications of Inductive Programming Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Springer, 2010, 195-, Berlin, Lecture notes in computer science.
  67. T. E. Schouten and E. L. Van Den Broek. Incremental Distance Transforms (IDT). 2010 20th International conference on Pattern recognition (ICPR), 23-26 August, 2010, 2010, 237-240, IEEE.
  68. D. Ssebuggwawo, S. Hoppenbrouwers and E. Proper. Assessing Collaborative Modeling Quality Based on Modeling Artifacts. Lecture Notes in Business Information Processing, Springer, 2010, Patrick Bommel, Stijn Hoppenbrouwers, Sietse Overbeek, Erik Proper and Joseph Barjis, 68, 76-90, Berlin.
  69. D. Ssebuggwawo, S.J.B.A. Hoppenbrouwers and H.A Proper. Collaborative Modeling: Towards a Meta-model for Analysis and Evaluation. EIS-2010 : SIKS/BENAIS Conference on Enterprise Information Systems 2010 : Proceedings of the 5th SIKS/BENAIS Conference on Enterprise Information Systems (EIS-2010), 2010, B. van Dongen, 662, 56-70, CEUR.
  70. Styp, S. von, H.C. Bohnenkamp and Schmaltz, J.. A conformance testing relation for symbolic timed automata. Lecture Notes in Computer Science, 2010, K. Chatterjee Henzinger and T.A., 6246, 243-255, Klosterneuburg, Austria, Springer.
  71. J. Tretmans. A Theory of Model-Based Testing - and How ioco Goes eco. Electronic Notes in Theoretical Computer Science (ENTCS), 2010, B. Finkbeiner, Y. Gurevich, A.K. Petrenko, 264(3), 86-89, Elsevier.
  72. F.W. Vaandrager. Uppaal voor Beginners. 2010, 2010.
  73. P. Van Bommel, S.J.B.A. Hoppenbrouwers, S. J. Overbeek, E. Proper and J. Barjis. The Practice of Enterprise Modeling : Third IFIP WG 8.1 Working Conference, PoEM 2010, Delft, The Netherlands, November 9-10, 2010. Proceedings. Berlin, Lecture notes in business information processing, 247-, Springer, 68, 2010.
  74. M. Velikova. Automatische borstkankerdetectie. Omringd door informatica, NWO/CWI, 2010, B. Mols, 55-58, S.l.
  75. M. Velikova. Software speurt naar borstkanker. Experiment NL, Quest, 2010, 3.
  76. M. Velikova, N. Ferreira, M. Samulski, P. J. F. Lucas and N. Karssemeijer. An advanced probabilistic framework for assisting screening mammogram interpretation. Studies in computational intelligence, Springer, 2010, I. Bichindaritz, 309, 371-395, Berlin.
  77. M. Velikova, P. J. F. Lucas and B. Karssemeijer. Using Local Context Information to Improve Automatic Mammographic Mass Detection. MEDINFO 2010 - Proceedings of the 13th World Congress on Medical Informatics, 2010, C. Safran, 160, 1291-1295, IOS Press.
  78. Velikova, Marina, Peter Lucas and Spaanderman, Marc. e-MomCare: a Personalised Home-Monitoring System for Pregnancy Disorders. 5th International Workshop on Personalisation for e-Health (Pers4eHealth), 2010.
  79. F. Verbeek and J. Schmaltz. Formal specification of networks-on-chips: Deadlock and evacuation. Design, Automation and Test in Europe Conference and Exhibition, DATE 2010, 2010, 1701-1706.
  80. Freek Verbeek and Julien Schmaltz. A Formal Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks. Lecture Notes in Computer Science, Springer, 2010, Matt Kaufmann and Lawrence Paulson, 6172, 67-82, Berlin.
  81. Freek Verbeek and Julien Schmaltz. Proof Pearl: A Formal Proof of Dally and Seitz’ Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks. 2010, Online First, 1-21, Journal of Automated Reasoning.
  82. S. D. Vermolen, J. Hooman and P. G. Larsen. Proving consistency of VDM models using HOL. Symposium on Applied Computing archive : The 25th Annual ACM Symposium on Applied Computing : Proceedings of the 2010 ACM Symposium on Applied Computing, Sierre, Switzerland, March 22 - 26, 2010, 2010, 2503-2510, New York, ACM.
  83. I. Wilmont, S. Brinkkemper, I. Weerd and Hoppenbrouwers, S.J.B.A.. Exploring Intuitive Modelling Behaviour : Proceedings of the 11th International Workshop, BPMDS 2010, and 15th International Conference, EMMSAD 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010. Lecture Notes in Business Information Processing, Springer, 2010, Ilia Bider, 50, 301-313, Berlin.
  84. Xing, J., B.D. Theelen R. Langerak J. van de Pol J. Tretmans J.P.M. Voeten. From POOSL to UPPAAL: Transformation and Quantitative Analysis. 10th Int. Conf. on Application of Concurrency to System Design., 2010, 47-56, IEEE Computer Society Press.
  85. Xing, J., B.D. Theelen R. Langerak J. van de Pol J. Tretmans J.P.M. Voeten. UPPAAL in Practice: Quantitative Verification of a RapidIO Network. Leveraging Applications of Formal Methods, Verification and Validation, ISOLA, 2010, B. Steffen T. Margaria, LNCS 6416,, 160-174, Springer-Verlag.
  86. John van Groningen, Thomas van Noort, Peter Achten, Koopman, Pieter and Rinus Plasmeijer. Exchanging sources between Clean and Haskell: a double-edged front end for the Clean compiler. Haskell'10 : proceedings of the third ACM Haskell symposium on Haskell, 2010, J. Gibbons, 49-60, ACM.
  87. T. van Noort, P. Achten and R. Plasmeijer. Ad-hoc polymorphism and dynamic typing in a statically typed functional language. Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 2010, B. Oliveira, 73-84, Institute for Computing and Information Sciences, Radboud University Nijmegen P.O. Box 9010, 6500 GL, Nijmegen, The Netherlands thomas, p.achten, rinus@cs.ru.nl, ACM.
  88. T. van Noort, A. Rodriguez, J. Jeuring, B. Heeren, J.P. Magalhaes and S. Holdermans. A lightweight approach to datatype-generic rewriting. 2010, Utrecht, Technical Report, 1-40, Department of Information and Computing Sciences.
  89. T. van Noort, A. Rodriguez, J. Jeuring, B. Heeren, J.P. Magalhaes and S. Holdermans. A lightweight approach to datatype-generic rewriting. 2010, 20, 375-413, 3-4, Journal of Functional Programming.
  90. E. van den Broek, F. van der Sluis and T.E. Schouten. User-Centered Digital Preservation of Multimedia. 2010, 80, 45-47, ERCIM News.