| 2008 |
|---|
| 25 | EE | Pieter W. M. Koopman,
Peter Achten,
Rinus Plasmeijer:
Model-Based Testing of Thin-Client Web Applications and Navigation Input.
PADL 2008: 299-315 |
| 24 | EE | Rinus Plasmeijer,
Jan Martin Jansen,
Pieter W. M. Koopman,
Peter Achten:
Declarative Ajax and client side evaluation of workflows using iTasks.
PPDP 2008: 56-66 |
| 23 | | Pieter W. M. Koopman,
Peter Achten,
Rinus Plasmeijer:
Validating Specifications for Model-Based Testing.
Software Engineering Research and Practice 2008: 225-231 |
| 2007 |
|---|
| 22 | EE | Rinus Plasmeijer,
Peter Achten,
Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web.
CEFP 2007: 1-40 |
| 21 | EE | Rinus Plasmeijer,
Peter Achten,
Pieter W. M. Koopman:
iTasks: executable specifications of interactive work flow systems for the web.
ICFP 2007: 141-152 |
| 2006 |
|---|
| 20 | EE | Pieter W. M. Koopman,
Rinus Plasmeijer,
Peter Achten:
Model-Based Testing of Thin-Client Web Applications.
FATES/RV 2006: 115-132 |
| 19 | EE | Rinus Plasmeijer,
Peter Achten:
iData for the World Wide Web - Programming Interconnected Web Forms.
FLOPS 2006: 242-258 |
| 18 | EE | Rinus Plasmeijer,
Peter Achten:
A Conference Management System Based on the iData Toolkit.
IFL 2006: 108-125 |
| 2005 |
|---|
| 17 | EE | Rinus Plasmeijer,
Peter Achten:
Generic Editors for the World Wide Web.
CEFP 2005: 1-34 |
| 16 | EE | Rinus Plasmeijer,
Peter Achten:
The Implementation of iData.
IFL 2005: 106-123 |
| 2004 |
|---|
| 15 | EE | Peter Achten,
Marko C. J. D. van Eekelen,
Rinus Plasmeijer,
Arjen van Weelden:
Automatic Generation of Editors for Higher-Order Data Structures.
APLAS 2004: 262-279 |
| 14 | EE | Peter Achten,
Marko C. J. D. van Eekelen,
Rinus Plasmeijer,
Arjen van Weelden:
GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications.
Advanced Functional Programming 2004: 210-244 |
| 13 | EE | Peter Achten:
The Feasibility of Interactively Probing Quiescent Properties of GUI Applications.
IFL 2004: 17-34 |
| 12 | EE | Sander Evers,
Peter Achten,
Jan Kuper:
A Functional Programming Technique for Forms in Graphical User Interfaces.
IFL 2004: 35-51 |
| 11 | EE | Peter Achten,
Marko C. J. D. van Eekelen,
Marinus J. Plasmeijer:
Compositional Model-Views with Generic Graphical User Interfaces.
PADL 2004: 39-55 |
| 10 | | Sander Evers,
Peter Achten,
Rinus Plasmeijer:
Disjoint forms in graphical user interfaces.
Trends in Functional Programming 2004: 113-128 |
| 2003 |
|---|
| 9 | EE | Peter Achten,
Marko C. J. D. van Eekelen,
Rinus Plasmeijer:
Generic Graphical User Interfaces.
IFL 2003: 152-167 |
| 2002 |
|---|
| 8 | EE | Peter Achten,
Artem Alimarine,
Marinus J. Plasmeijer:
When Generic Functions Use Dynamic Values.
IFL 2002: 17-33 |
| 2000 |
|---|
| 7 | EE | Peter Achten,
Simon L. Peyton Jones:
Porting the Clean Object I/O Library to Haskell.
IFL 2000: 194-213 |
| 1999 |
|---|
| 6 | | Mike Wiering,
Peter Achten,
Marinus J. Plasmeijer:
Using Clean for Platform Games.
IFL 1999: 1-17 |
| 5 | | Peter Achten,
Marinus J. Plasmeijer:
The Implementation of Interactive Local State Transition Systems in Clean.
IFL 1999: 115-130 |
| 1997 |
|---|
| 4 | EE | Peter Achten,
Marinus J. Plasmeijer:
Interactive Functional Objects in Clean.
Implementation of Functional Languages 1997: 304-321 |
| 1995 |
|---|
| 3 | | Peter Achten:
A Functional Framework for Deterministically Interleaved Interactive Programs
PLILP 1995: 451-452 |
| 2 | | Peter Achten,
Marinus J. Plasmeijer:
The Ins and Outs of Clean I/O.
J. Funct. Program. 5(1): 81-110 (1995) |
| 1992 |
|---|
| 1 | | Peter Achten,
John H. G. van Groningen,
Marinus J. Plasmeijer:
High Level Specification of I/O in Functional Languages.
Functional Programming 1992: 1-17 |
