Gast: Generic automated software testing P Koopman, A Alimarine, J Tretmans, R Plasmeijer Symposium on Implementation and Application of Functional Languages, 84-100, 2002 | 136 | 2002 |
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 | 86 | 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 | 58 | 2012 |
Efficient Interpretation by Transforming Data Types and Patterns to Functions JM Jansen, P Koopman, R Plasmeijer Trends in Functional Programming Volume 7, 73, 2005 | 45 | 2005 |
A mutation update for the FLNC gene in myopathies and cardiomyopathies JAJ Verdonschot, EK Vanhoutte, GRF Claes, ... Human mutation 41 (6), 1091-1111, 2020 | 41 | 2020 |
Efficient combinator parsers P Koopman, R Plasmeijer Symposium on Implementation and Application of Functional Languages, 120-136, 1998 | 35 | 1998 |
Testing reactive systems with GAST PWM Koopman, MJ Plasmeijer Bristol: Intellect, 2004 | 25 | 2004 |
An executable and testable semantics for iTasks P Koopman, R Plasmeijer, P Achten Symposium on Implementation and Application of Functional Languages, 212-232, 2008 | 22 | 2008 |
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 |
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 | 20 | 2011 |
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 |
On-the-fly formal testing of a smart card applet A Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans IFIP International Information Security Conference, 565-576, 2005 | 19 | 2005 |
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 | 17 | 2006 |
Systematic synthesis of functions. PWM Koopman, R Plasmeijer Trends in Functional Programming, 35-54, 2006 | 17 | 2006 |
Generic generation of elements of types PWM Koopman, MJ Plasmeijer Tallin, Estonia: Intellect, 2005 | 16 | 2005 |
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 | 14 | 2010 |
Embedding a web-based workflow management system in a functional language JM Jansen, R Plasmeijer, P Koopman, P Achten Proceedings of the Tenth Workshop on Language Descriptions, Tools and …, 2010 | 14 | 2010 |
Model-based testing of thin-client web applications P Koopman, R Plasmeijer, P Achten Formal Approaches to Software Testing and Runtime Verification, 115-132, 2006 | 14 | 2006 |
Functional programming in Clean P Koopman, R Plasmeijer, M van Eekelen, S Smetsers Setem, 2001 | 14* | 2001 |