| Gast: Generic Automated Software Testing P Koopman, A Alimarine, J Tretmans, R Plasmeijer Implementation of Functional Languages: 14th International Workshop, IFL …, 2003 | 139 | 2003 |
| iTasks: executable specifications of interactive work flow systems for the web R Plasmeijer, P Achten, P Koopman ACM SIGPLAN Notices 42 (9), 141-152, 2007 | 93 | 2007 |
| Task-oriented programming in a pure functional language R Plasmeijer, B Lijnse, S Michels, P Achten, P Koopman Proceedings of the 14th symposium on Principles and Practice of Declarative …, 2012 | 71 | 2012 |
| Efficient interpretation by transforming data types and patterns to functions JM Jansen, P Koopman, R Plasmeijer Nottingham, UK, The University of Nottingham: The University of Nottingham, 2006 | 44 | 2006 |
| Efficient combinator parsers P Koopman, R Plasmeijer Symposium on Implementation and Application of Functional Languages, 120-136, 1998 | 34 | 1998 |
| An executable and testable semantics for iTasks P Koopman, R Plasmeijer, P Achten Symposium on Implementation and Application of Functional Languages, 212-232, 2008 | 25 | 2008 |
| Testing reactive systems with GAST PWM Koopman, MJ Plasmeijer Bristol: Intellect, 2004 | 25 | 2004 |
| iTasks for a change: Type-safe run-time change in dynamically evolving workflows R Plasmeijer, P Achten, P Koopman, B Lijnse, T van Noort, ... Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and …, 2011 | 21 | 2011 |
| Declarative Ajax and client side evaluation of workflows using iTasks R Plasmeijer, JM Jansen, P Koopman, P Achten Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 21 | 2008 |
| On-the-fly formal testing of a smart card applet A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20 th …, 2005 | 21 | 2005 |
| A task-based DSL for microcomputers P Koopman, M Lubbers, R Plasmeijer Proceedings of the Real World Domain Specific Languages Workshop 2018, 1-11, 2018 | 20 | 2018 |
| Systematic synthesis of functions P Koopman, R Plasmeijer Nottingham, UK, The University of Nottingham: Intellect Books, 2006 | 20 | 2006 |
| An introduction to iTasks: defining interactive work flows for the web R Plasmeijer, P Achten, P Koopman Central European Functional Programming School, 1-40, 2007 | 19 | 2007 |
| Functional programs as executable specifications PWM Koopman [Sl: sn], 1990 | 19 | 1990 |
| Automatic testing of higher order functions P Koopman, R Plasmeijer Asian Symposium on Programming Languages and Systems, 148-164, 2006 | 18 | 2006 |
| An introduction to task oriented programming P Achten, P Koopman, R Plasmeijer Central European Functional Programming School: 5th Summer School, CEFP 2013 …, 2015 | 16 | 2015 |
| Exchanging sources between Clean and Haskell: A double-edged front end for the Clean compiler J Groningen, T Noort, P Achten, P Koopman, R Plasmeijer ACM Sigplan Notices 45 (11), 49-60, 2010 | 15 | 2010 |
| Generic generation of elements of types PWM Koopman, MJ Plasmeijer Tallin, Estonia: Intellect, 2005 | 15 | 2005 |
| The ABC-machine: A sequential stack-based abstract machine for graph rewriting PWM Koopman Technical Report, 90-22, University of Nijmegen, 1990 | 15 | 1990 |
| Church encoding of data types considered harmful for implementations: functional pearl P Koopman, R Plasmeijer, JM Jansen Proceedings of the 26nd 2014 International Symposium on Implementation and …, 2014 | 14 | 2014 |
rinus plasmeijerprofessor of computer science, radboud university nijmegenEmail verificata su cs.ru.nl